CPU実験が始まりました。先学期のハードウェア実験が終わった後にラップトップのOSをWin8にしてHyer-VでUbuntuを動かすように変更したためISEをWin8にインストール。Hyper-VではUSBポートを転送することができないらしい。フベンだ。インストールの際にいく…

裏サン面白いよね特に寿司とか N-nanaki 裏サンデーでHelckを連載してる人。剣と魔法モノ TIADIUM とりあえずこれ読もう ACARIA Helckの連載が始まって更新が滞っていて悲しい mr.yoda ミステリー中心の短編集 読切集 幻視が特に好き 理屈屋の難問 たいやき…

単一化しようぜ ==の動作を見てみよう。 (define (== u v) (lambda (s/c) (let ((s (unify u v (car s/c)))) (if s (unit `(,s . ,(cdr s/c))) mzero)))) 前にも説明したように(== u v)はuとvが同一であることを宣言している。この時==は引数のstateであるs/…

microKanrenとは microKanrenの話の前にまずminiKanrenの紹介を。 miniKanrenは埋め込み言語としての利用を想定した論理プログラミング言語で、実際に各種言語上での実装が存在する。The Reasoned SchemerはminiKanrenをscheme上での実例を示しながら紹介す…

山に登り始めて早6年目になる。そこそこ多くの山に登ってきたと自分では思ってるが、その経験によると山で良い景色に出会えるのは二三回に一度らしい。景色の良さなんてお天道様の気分次第で脆くも崩れ去ってしまうし、そうなったら山行の楽しみは下山後の温…

諸事情からPowerMac G5を入手してDebianをぶちこんでMinecraft鯖として運用している。多人数でも問題なく遊べるようになるまで割と苦労したのでメモやるべきことは二つ。 vanillaじゃなくてSpigotを使え jreはibm謹製のやつを使え 以上だ。

桜がそろそろ散り始めてる。桜が散った後で猛烈に後悔するというサイクルをここ数年繰り返している気がする。今年は後悔したくないので週末にどこかへふらっと桜を見に行こうと思う。 さて、しばらく前からsyntax-rulesをexplicit-renamingに変換するマクロ…

しばらく前にドブロブニクとイスタンブルに旅行に行ってきた。イスタンブルにいたのが丁度twitterが遮断されていた時期で、はーこんなこともあるもんだなと珍しがったりしていた。土産はクロアチアビールと干しイチジクだが最近人と会わないので減る気配がな…

最近Kindleを買ったのでいろいろなものを突っ込んでみているのですが、R7RSのpdfはフォントが小さすぎてとても読めたものではないですね。さてどうしたものかなどと思っていたらR7RSのMakefileにebook用のオプションがあるのを発見。こっちからソースをDLし…

といってもコンパイルして動かしただけ。コードの移植性が高いのですね〜 $ make tak [ 96%] Built target picrin [100%] Built target repl Scanning dependencies of target tak 21.620000 [100%] Built target tak検証機は大学から拾ってきたG4 mac mini…

活動の中心となるキャンパスが変わるのに合わせて引越しをしたのでその時の諸々についてメモ 部屋探し 別に知り合いに不動産屋がいるわけでもなく、部屋探しの際には大学の生協と連携している不動産屋を使った。きっとある程度は信頼できる所なのだろう。 先…