明日提出の文系科目のが二つ。 下のラムダ式をガリガリと解くレポートは六題中二題解いた。更に一つ解いているのだが、その中の小問が一つ解けなくて困っている。どうすれば上手くいくのやら。二つ出せばいいから、二完一半ということにして出そうかと、悩ん…

恐がり - 模倣犯@?D 2004/01/29 はてなの記事単位のリンク 小見出し部分に時刻を表示せずに固定リンクを実現する方法として、渋谷系@2003/12/26 コメント欄で通りすがりさんと俺が書いた方法がある。 小見出しを作る際に*では無く*t*を使う。 h3 span.timest…

λ式をガリガリと解いている。 論理学の教科書だと束縛変数と自由変数の定義が日本語で書かれていて付帯条件が満足かどうか判断するのが微妙に手間だったりするのだが、今回の授業の資料では関数・集合論的に書かれていて、あぁこういうアルゴリズム的に判断…