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…

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

タイトルの通り。letを定義しているくらいだからquasiquoteなんてサポートしてないよねという前提explicit renamingの方が筋がいいと感じた

先日の駒場祭で理論科学グループ、通称TSGの展示をやってきました。 展示したもの BayesianFighter まずはBayesianFighter。ベイゴマどうしを戦わせます。コントーローラーとしてスマートホンを使うのが面白いところ。 pic.twitter.com/yUjckxNX2D— TSG(151…

大分前の話ですが、Windows8.1なるもののプレビュー版が公開されていたのでインストールしました。 その後にvirtualboxをインストールしようとすると「パス名が間違っています」といった感じのエラーメッセージでインストーラがそもそも起動しない。同じよう…

CL-USER> (asdf:system-source-file :cl-fad) #P"e:/Documents/Programs/lisp/quicklisp/dists/quicklisp/software/cl-fad-0.6.4/cl-fad.asd"みたいに使える。ソースの位置を確認するのに便利(要asdf)

rubyを学び始めて、練習用にaojをやってみました。 こっちの実行環境を1.9.2にしていたところAOJの方の環境が1.8.7で文字列関連の仕様が変わってたらしくてこずったりしてました。なぜ最新版にしないのか不可解

久々にSRMに参加しました。 easy: 139.49最初greedyで解こうとしてたがまずい気がしたので全探索に変更(DPじゃなくてもなんとかなった) greedyだとアウトらしかったので危なかった。(・ワ・) medium: Open方針は立ったもののnCkをDPで出す方法を忘れていて時…

eclというのはCommon Lisp処理系のうちの一つで、小さなスタンドアロンバイナリを作ることに向いているとかなんとか。こいつをwindowsでまともに動くようにするまでに丸一日以上かかった。 まずは処理系のインストール。自分はvc++でソースからコンパイルし…

teamname: dimsum team member: wasabiz Φ zeptometer ICPCの国内予選に参加してきました。今年が初参加です。 ・開始前 会場には自分が最初に到着。wasabizもしばらくして到着。 …そしてΦが来ない。 メールしても返信ない上に携帯の電池が死んだので一時は…