プログラミング

無事採録

この前出していた論文が採録された.これで卒論が浮かばれる.改善のための付帯意見も穏やかな感じだ. だがしかし.高階の系ってなんのことだろう.話に聞いていた n 重再帰によって定義される関数の話のことだろうか.ちょっと文献を探さないといけないか…

Prolog 書きにくい問題

やることがないわけじゃないんだけど,昨日までのあれとの落差でなんか暇な感じ. 閑話休題.Prolog 久しぶりに書いたがパッとはかけないもんすな. 閑話休題.「if 文をたくさん使うのが嫌だから Prolog を使っている」と某先生が言ってたという話を聞いて…

forall a, a の締め切り間近 -> (forall b, (b ≠ a) -> b が捗る)

夕方起床(!?).昨日届いていた Classical Recursion Theory がいちいち面白そうなのだが,まあこちらは本業とは直接関係ない,今の所趣味の分野なので,じっくり読むのは論文書くまで我慢.そういや Model Cheking の話も積んでいるな. んで,論文を書こう…

map (f . g) = (map f) . (map g)

ゼミ中にちょっと話題になったのだが,Haskell の map は,任意の関数 f, g に対して, map (f . g) = (map f) . (map g) が成り立つ.んで,Bird 曰く,右辺よりも左辺の方が若干早いでしょ,と.たしかに eagar evaluation だったら,そうかもねという気が…

某Coder に初めて参加して見る

昼まで寝てて,そのあとぼちぼち起きて研究室の机の片付けなどをする.家の冷蔵庫を引き取ってもらうのに,リサイクル業者に電話するも「今日は休みなので明日にしてくれ」と言われるので明日掛け直す. んで,夜は某Coder のコンテストに初めて参加してみた…

かっこの対応チェッカーの検証

うちの研究室の,新 B4 向けの春休みの宿題?で,「かっこの対応をチェックするプログラムを作成せよ」というのがある.もとは隣の研究室のネタだったらしいが,引き続き使わせていただいているらしい. ちなみに去年は私も提出する側で,Haskell の練習がて…

電車プログラミング

色々とあった 1 日だった.午前中は "某所" で焼肉.外で BBQ 的なことをするという話もあったが,ちょっとめんどいとかなんとかいう理由で流れて,結局室内で肉を焼くに止まった. ところで,BBQ と焼肉の違いをいまだに理解していない.陽キャがやれば BBQ…