論理型プログラミング amb で一方向性計算(明確に定義した入力と出力を持つ計算)以外のプログラミング言語の存在を知りました。 個人的には結構な衝撃を受けたのですが、amb 以外のパターンを学べるようです。 計算の方向と順序が規定されていないってのが、…

しばらくIRCクライアントの設定に手間取って join 出来てなかった #scheme-jpへ突入。 あれ。wide系で良いんだっけ。