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

DVD　第８巻 DVDの第８巻を購入した。 第７巻の感想でも触れたけど、てるてるは、どうしてこんなに邪悪な顔しているんだろう？ オリジナルドラマ第３局によると、『咲 -Saki-』世界には、人に取り憑く悪霊がいるみたいだけど、てるてるも何者かに取り憑かれてしまったんだろうか？ 第８巻は、第20局から第22局までを収録。 映像特典は、ピクチャードラマ６と、ノンテロップのシリアスエンディング風越Ver. 第20局『姉妹』 水着＆ハミレス回。 改めて観ると、この時着ている水着って、ED時と同じデザインなんだな。 のどっちのエトペンビーチボールが欲しい。 ぬいぐるみみたいに、発売してくれないだろうか？ TV放映時は気付かなかったけど、鎖子って、水着の時まで、手を鎖で縛っていたのか。 どれだけ透華が好きなんだよ、この娘は。 物語終盤の『熱烈歓迎わんだーらんど』をBGMにした演出が良い。 第19局もそ

suicaのサーバーはみんなの知らないところで、実はたまに落ちているそうだ。 だがシステムが止まることはない、計算上センターは3日ぐらいは止まっていても大丈夫だそうだ。 だからサーバーが落ちたなどとニュース沙汰になることは殆ど無い。 suica開発陣頭指揮をされていたかたが、その実績をまとめてと頼まれ、博士論文にしたそうだ。 suicaの実例を述べるだけだと技術論文になってしまうので、一般化して論文を書きあげたそうなのだが、審査に携わった専門家の人達はそんなものが動くわけないだろうといったらしい。しかし現実問題としてsuicaは動いてしまっている。 本人いわく、だってそれで動いちゃってるんだもん。だそうだ。 実装は時として奇妙に見えるかもしれない。 フィールドには神がいる。 …その意や、なんで落ちても大丈夫かなどはまた後ほど。 スイカのセミナー 昨日はスイカのセミナーだった。 JR東でスイ

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

■ Perl基礎文法最速マスターをだいたいそのまま、Rubyに置き換えてみました。 他の言語をある程度知っている人はこれを読めばRubyの基礎をマスターしてRubyを書くことができるようになる…かも知れません。無保証です。 参考： オブジェクト指向スクリプト言語 Ruby リファレンスマニュアル (1.9.2) オブジェクト指向スクリプト言語 Ruby リファレンスマニュアル (1.8.7) ■ 1. 基礎 インタラクティブRuby (irb) irbを使うと、Rubyのプログラムを簡単に練習することができます。 /Users/yhara $ irb irb(main):001:0> puts "hello" hello => nil irb(main):002:0> 1 + 1 => 2 以下の説明は、irbを起動して、自分で試しながら読むと習得が早いと思います。 表示 (print,

↓に便乗してPython版も書いてみました。 Perl基礎文法最速マスター - Perl入門〜サンプルコードによるPerl入門〜 Ruby基礎文法最速マスター - Route 477 PHP基礎文法最速マスター - Shin x blog ほとんど上記の記事と同じような内容で書いたのでPython入門記事としては色々抜けていたりしますがご了承ください。 Pythonは現在3.x系がリリースされていますが本記事では基本的にPython2.6について書きます。 参考文献： 初めてのPython (asin:4873113938) Python Documentation Index http://www.python.org/doc/ Python 和訳Document http://docs.python.jp/2/ 0. 対話環境として使う 対話環境 pythonはそのまま実行すると対話環

近オリがどうせ再録中心になるなら、過去の名作麻雀漫画を再録・復刻してほしいと思いませんか*1。 単行本がすでに絶版だったり、そもそも単行本化されていなかったり、出ても途中で断絶したりで手軽に読めない80〜90年代の竹書房麻雀漫画を、ぜひ近オリの誌面を使って復刻してほしいです。 以前、近代麻雀30周年記念企画の一環で過去作品を復刻する「近代麻雀プレミアム」が出ましたが、あのとき復刻希望が多く寄せられた（多分）にも関わらず掲載されなかった作品があります。 それは坂本タクマ「ぶんぶんレジデンス」です。 坂本タクマ「ぶんぶんレジデンス」は、「近代麻雀オリジナル」に1993年5月号から1998年1月号にかけて、全57話が掲載された麻雀漫画です。東北地方の国立大学の学生寮を舞台に、新入生の矢鴨くんが一汁四太先輩からかっぱがれまくるという内容の1話6〜8ページのギャグ漫画。 この作品最大の売りは、作中で

正論を言いますと、これはもう、日ごろから「他人と自分を比べないようにする癖」をつけるしかありません。仕事であれプライベートであれ、いつも「ほかの人に勝ったか負けたか」ばかり意識していると楽しくないですし、上を見ても下を見てもキリはありません。自分は自分、他人は他人です。 ジャパネットたかたもみなさんに名前を知っていただけるようになってからは、ほかの通販会社や家電量販店などと比較されることが増えました。経営するうえで、経済状況や周囲の情報を勉強しておくことは必要です。でも、私も社員も、ほかの会社におかしな競争心を燃やしたり、他社との比較で会社の戦略を考えたりすることはほとんどありません。 「他社がこうしているから、うちはこうしよう、ああしよう」ではなく、「お客様に満足いただくために、こんなことをしよう、あんなことをしよう」と考えます。それに勝ち負けばかりでは仕事が面白くありませんし、息も詰ま

This domain may be for sale!

2010年の年明けに百人一首マンガ「ちはやふる」全巻一気読みをして興奮しているオタクFPの山崎です。「ちはやふる」かなり良いです！　おすすめします。漫画で、百人一首で、しかも「友情・努力・勝利」ですよ！　興味がある方はぜひ（よりマニアックな好みとしては古代ローマと現代日本をつなぐ前代未聞の風呂ギャグ漫画「テルマエ・ロマエ」もおすすめします）。 さて、今回は新年にやっておきたいマネーの手続きをご紹介します。 資産運用やライフプランの最大の敵はなんだと思いますか？　情報格差？　知識不足？　自信過剰？　いえいえ、最大の敵は「面倒」です。 たいていの手続きは面倒です。面倒なだけに放置してしまい、今年もまた資産形成が滞るのはいかにももったいない話ですが、誰にでもよくあることです（私もある口座開設に「面倒」という理由だけで2年かかった経験があります）。 そこで、1月のうちにいくつかの手続きをまとめてや