Concurrent Clean : Haskell : Re: なぜ GHC のビルドは遅いのか？ - lethevert is a programmer
http://page.freett.com/shelarcy/log/2007/diary_08.html#why_we_spend_many_time_to_build_ghc 逆に言えば、既に（最適化された）GHC をインストール済みの環境で、最適化オプションを外してビルドする場合には、かなり高速にビルドを終えることができます。……といっても、それなりの時間はかかりますが。手元の環境では、extra libraries やドキュメントの生成も含め、20分ぐらいの時間でビルドを終了させることができたと思います。……まあ、連載見てもらえれば分かる通り、かなりハイスペックにしてしまったので参考にならないかもしれませんが。 Cleanのコンパイル時間を計ってみました。 Windows版のバイナリをインストールした直後の状態で、例の６年前のノートPCでコンパイラをコンパイルしてみました。 。。
YouTube - Broadcast Yourself
SMELLMANのMouth drummer、ハヤシの口ドラム＋ベースの同時演奏 at the TILT HOUSE STUDIO SMELLMAN：アカペラグループ「チン SMELLMANのMouth drummer、ハヤシの口ドラム＋ベースの同時演奏 at the TILT HOUSE STUDIO SMELLMAN：アカペラグループ「チン☆パラ」解散後、元メンバーが中心となり結 成 オリジナルなサウンド追求のため、数回のメンバーチェンジを経て現在に至る 類を見ないオリジナルなアカペラサウンドは定評 都内ライブハウスを中心に活動中 ワンマンライブ「ロスタルジア」決定！ 2008.12.26 at SHIBUYA O-WEST http://www.smellman.com (続き) (一部表示)
はてなブログ | 無料ブログを作成しよう
顔に見える？最近「送水口」が気になるという話 「送水口」が気になる今日この頃 最近街中で気になる存在、それがこの「送水口」です。地上のフロアが7階以上あるビルなど、一定の条件を満たした建築物には設置が義務付けられているもので、火事が発生したフロアにただちに水を送るために使われるものです。ポンプ車…
対戦ブロックス
ネット対戦：Blokus Blokus Ver0.4.2 起動リンク Blokus起動 Blokus Server起動 ローカルモードでBlokus起動 現在、ブロックス 4人対戦モードと、ブロックス・デュオ 2人対戦モードの２つのモードで遊べます。 もし、ゲーム中にエラーが発生した場合には一旦「退出」→「終了」してから、同じ名前でログインし直してみてください。同じ名前でログインすれば、ゲームに参加し直すことが可能です。 ゲーム中の操作方法 ブロックの移動 画面右にある残りブロックを起きたい場所までドラックします。 ブロックの回転 マウスのスクロールを回す。もしくは、画面左下にある「回転」ボタンを押す。この時 Shiftキーを押しながらボタンをクリックすると逆回転します。 ブロックの反転 マウスでダブルクリックする。もしくは、画面左下にある「反転」ボタンを押す。
【重要】ニコニコ動画のログイン方法が変わります。 - ニコニコ動画 開発者ブログ（新着情報）
◇お知らせ 8月22日(水)より ニコニコ動画のログイン方法が変わります。 正確にはパスワードが変わります。 8月22日(水)より従来のパスワードは廃止されて、これまで有料登録時に利用していたプレミアムパスと呼ばれていたものが今後ニコニコ動画や関連サービス(ニコニコブックマークなど)で利用するパスワードになります。 なお今回のパスワード変更に関しては、現在お使いのニコニコ動画アカウントに送受信が可能なメールアドレスが設定されていれば特別な事前準備を行う必要はありません。 8月22日(水)のメンテナンス後に「パスワードを忘れた人はコチラ」リンクからパスワードの再設定を行ってください(※リンクの名称等は変更される場合があります)。 現在設定されているメールアドレスがメールを受け取れない場合(ニコニコ動画登録後にプロバイダ変更などで無効になっている等)は8月22日(水)以降にアカウントの利用がで
GPCC
GPCC (Games and Puzzles Competitions on Computers) Since 1972 GPCCは、情報処理学会プログラミング・シンポジウムの分科会です。毎年課題を決めて、ゲームやパズルを計算機で解く競争を行っています。問題が解けました方は、chairの藤波順久(メールアドレスはユーザ名Nobuhisa.Fujinami、ドメイン名jp.sony.com)までご連絡ください。解答ページにお名前と解答内容を登録いたします。 GPCCとは何か、歴史などについて詳しくは、歴代chairによる「プログラミングシンポジウムGPCCのゲームとパズル」を参照してください。 更新箇所の詳細は、更新情報にまとめてあります。 2023年の問題 (5年目)BRIDGET 2022年の問題 GESCHENKT(ゲシェンク) (再々継続)BRIDGET 2021年の問題 ハゲタカ
アップル、Core 2 Duo搭載のMac mini
8月8日 受注開始 Apple Store価格:79,800円～ アップルは、小型のMacintosh「Mac mini」をモデルチェンジし、受注を開始した。 新型Mac miniは2モデルで、いずれもIntel Core 2 Duoを搭載する。Apple Storeでの直販価格は79,800円から。 外観は従来通りで、メモリ最大2GB、HDD最大160GBなどの仕様も同一。GPUがチップセット内蔵のIntel GMA950であることから、チップセットもIntel 945G系を継承していると推定される。 ●1.83GHzモデル Apple Store価格:79,800円 CPU:Intel Core 2 Duo 1.83GHz メモリ:1GB HDD:80GB 光学ドライブ:DVD-ROM/CD-RWコンボドライブ GPU:Intel GMA 950(64MBをメインメモリと共有) ●2.
d.y.d.
23:11 07/08/29 アスカ見参 定期的に俺内アスカブームがやって来ます。さっきやっと一致団結クリアー！あと残るは万歩だけ。 いわゆる"もっと不思議"を仲間４人引き連れて降りるダンジョンで、ただし１人でもやられるとゲームオーバー。 ５人で戦力５倍！とはならずに、むしろ５人な分危険が５倍という全然一致団結してないっぷりが 素晴らしい感じです。攻略サイトであまり強調されていない気がするのですけど、[不]印 が便利すぎた。 バネと虎と龍を完封できるのは強い。便利度は 水がめ ＞ [識] ＞ [不] ＞＞＞＞＞越えられない壁＞＞＞＞＞ [仏] ＞ [祭] ＞ 遠投、くらいじゃなかろうか。 23:48 07/08/23 ラーミア "Decisions Volta Masters Remix" って曲を教えてもらって聴きまくっている今日この頃です。 Twin Primes Twin Prime
非正格なスタック言語 - 言語ゲーム
スタック言語の上に最もプリミティブな Arrow が作れないだろうかと考えていて非正格なスタック言語が良いのではと思いついた。たとえば Haskell なんかだと、引数は必要になるまで実行されないので遅延評価を表現する為の特別な記法が無い。例えば Joy だと遅延評価はカギカッコ [] が要るんだけど、遅延評価がデフォルト(非正格)だったらカギカッコの要らない Joy が出来るんじゃないだろうか？ true 2 3 * 5 10 + ? . 例えばこんなの ? の意味をこんなだとする。 - true x y ? -- x - false x y ? -- y 普通の Joy (正格)なら true 2 3 * 5 10 + ? true 6 5 10 + ? true 6 15 ? 6 非正格に実行すると。5 10 + を実行する必要が無い。* や + のアリティは 2 -- 1 と決まっ
データフロー式 etoys 言語の作成計画 - 言語ゲーム
アイデアというのは構想の段階で何か言っても、普通返って来るのは否定的な意見ばかりで、ある程度形が見えるまで分かってくれる人はいない。特に私のような小心者はそれでやる気を失う事が多いので本当の事は黙ってる事が多いのだが諸般の事情で形を変えて相談する事にした。 考えのコアになるのは Arrow と同じ意味論のデータフロー言語をスタック言語で記述すると言う物だ(Arrow とスタック言語の関係は単に私の妄想レベルの話だ)。思うに、Excel 以外のデータフローが何故流行らないのかと言うと出来る事が限られてるからだろう。それは、わざわざ依存パターンで記述する事による能率の悪さと、上手くデータフローにしっくり来ない(ように見える) 物が多い記述力の悪さがある。そこは Arrow を使う事によって理論的支柱をバッチリ押さえる。データフローはそもそも手続き型の記述より遥かに読みやすい物である。そしてスタ
プログラミング - sumiiのブログ
今までの数々の失敗に懲りず、また危険な話題に手を出します。 「プログラミング」といったときに、バリバリの「企業エンジニア」と、バリバリの「個人ハッカー」では、指すものが全く違うような気がします（このエントリでいう「企業エンジニア」「個人ハッカー」という言葉は比喩で、厳密な分類ではありません*1）。「企業エンジニア」のいう「プログラミング」（＝コーディング）は、「下流工程」の最たるもので、極言すれば「日本語の仕様書をプログラミング言語に翻訳するだけの作業」と思っているのではないでしょうか。それに対して、「個人ハッカー」（研究者等も含む）のいう「プログラミング」は、基礎理論からアルゴリズム、問題の分析や要件の定義、システム全体の設計、果てはドキュメントやサポートに至るまで、とにかくソフトウェア開発のすべての要素を含んでいるのではないかと… ちなみに自分のITpro連載は、上でいう「個人ハッカー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CodePress.org - contact with domain owner | Epik.com
初心者にやさしい言語 - lethevert is a programmer