きくらげ観察日記

好きなことを、適当に。

2016-10-01から1ヶ月間の記事一覧

Schemeと各括弧

Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Gaucheでソースコードのあるパスを取得

Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Gaucheで#<eof>を返す

Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Schemeにおける「多値」という概念について

Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Gaucheで値の比較

Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Gaucheでデバッグ

Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

Gaucheでreturn文

Gauche

ブログ移転しました。新しいサイトはこちら: genkami.github.io

coq-modeとproofgeneralでcoq環境を作る

Coq

ブログ移転しました。新しいサイトはこちら: genkami.github.io