ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり

寒くなって朝なかなか起きられない季節になってきました。 本を参考にしつつ、朝すっきり目を覚ますためのアイデアをちょっと考えてみました。 １．朝お風呂に入る（もしくはシャワー） ２．好きな音楽を目覚ましにする。 ３．光が入るようにカーテンを開けておく。 ４．布団の中で寝たままストレッチ。 ５．両手、両足をぐー、ぱー、ぐー、ぱーする。 ６．のびをする。 ７．朝の「お楽しみ（朝食）」を用意しておく。 ８．晩ご飯を軽めにして、朝空腹で目が覚めるようにする。 ９．その日やりたいこと楽しいことを思い浮かべる。 １０．布団から出る頃部屋がちょうどいい温度になるようにする。 １１．すぐにアラーム音を止めるようわざと嫌いな音の目覚まし時計を使うよう にする。 １２．起きてすぐ水を飲む。（あたたかいお茶を飲む） １３．歯磨きをする。 １４．ラジオ体操をする。 １５．散歩にいく。（ジョギングにいく） １６．早起

AppStore経由でリリースされているアプリは、Appleによって定められたガイドラインを守ることが義務付けられていることは、みなさん周知の事実です。マルチタスキング環境となったといっても、「バックグラウンドに常駐させて好きなように振舞う」ということは許されていません。開発者の方であれば、知っていることですが、バックグラウンド処理は、以下のような目的に限定して許可されています。 オーディオコンテンツの再生 位置情報のトラッキング VoIPアプリケーション(電話等)のインターネット接続維持 例えば、SysStats Monitorのようなアプリが、常駐プロセスとして動作し、メモリ使用状況を定期的に記録するなんてことはできません。 また、そもそも通信機能が制限されているので、アプリ間で通信してリアルタイムに連携することもできません。 以上、「できないこと」ばかりを挙げて、ネガティブな感じにな

最近はアーキテクトという役割で客先に常駐し、フレームワークの選定をしたり、事前に共通部品を設計したりする役割を担う仕事を引き受けることが結構あります。そこで運よくお客様のマネージャーがオブジェクト指向開発の経験が十分にある方だと、IDEなどの開発環境やインターネット接続環境を当然のように用意してくれるので最初から仕事がスムーズにできるのですが、そうでないとMS Officeしか入っていないロースペックのノートPCを渡されて、要件定義フェーズの期間中、フレームワークの設計をお願いしますとか、私としてはちょっと首をかしげてしまうような困ったことを言われてしまう場合があります。開発フェーズが始まる半年後まではコーディングは基本的に不要という考え方です。アプリケーションのアーキテクトという役割では少なくともコーディング規約を考えたり、ツールやフレームワークの選定をしたりする必要がありますし、プロジ

新米と秋刀魚のわた焼き お刺身用の秋刀魚を買いました。1尾250円です 3枚におろして、秋刀魚のわたに酒、味醂、醤油で調味して1時間ほど漬け込み、グリルで焼きました 秋刀魚のわた焼き わたの、苦味が程よくマイルドに調味され、クセになる味わいです 艶やかな新米と一緒に 自家製お漬物 土…

苦Ｃの内容の転載などは自由ですが、苦Ｃからの引用であることを明記してください。 (どこかに「苦Ｃより」と書かれていればＯＫです。) 学校や会社などで生徒(新入社員)へのテキストとして使用することも自由です。 その際、内容を修正したり、印刷して配布するのも自由です。

初出2010年6月ごろ。 カール・シュミット「パルチザンの理論」で、現代ファンタジーのうち、特に絆と世界内戦的状況に重点をおいたものを語ってみるためのメモ。われながらこじつけが過ぎると思うが、誰かの思考の肥やしにでもなれば幸いです。 本文 現代ファンタジーあるいは現代伝奇などと云われる想像力というのは、まずその核心に「中心対周縁」の対立構造をもって現れた。それは大きな物語とそれに包摂されないものという対立関係であり、周縁から中心へと、日常を異化する「不気味なもの」の侵攻という構図をとった。だが、後期近代における社会の脱呪術化がもたらした「平坦な日常」――すなわち極限まで周縁的なるものが排除された世界観は、その「中心対周縁」という構図を無効化した。 しかしながら「平坦な日常」は、その必然として「中心」が存在したがゆえの求心力を失い、分断され、衰退しつつある。そこにおいて世界の連続性は失われ、