きくらげ観察日記

好きなことを、適当に。

Coqで既存の定理、定義に従って計算する。

Coq

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

Coqで前提の矛盾から定理を証明する

Coq

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

Gaucheで文字列のシーケンシャルアクセス

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

Gaucheでロード時定数を作る

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

Basic認証の方法を理解する

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

Gaucheでクラスのフィールド名を変数に束縛する。

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

Schemeと各括弧

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

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

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

Gaucheで#<eof>を返す

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

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

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

Gaucheで値の比較

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

Gaucheでデバッグ

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

Gaucheでreturn文

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

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

Coq

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

Gaucheに継続を「実装」する

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

Gaucheでモナド その3

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

libraryとexecutable両方を含むcabalパッケージを作る

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

Pythonにおける弱参照

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

stackでプロファイリングを有効にしてビルドする

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

ようやくstackを使い始めた話

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

Gaucheでモナド その2

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

Emacs Lispにおける関数の扱い

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

CPSとSSA

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

CPS変換についての覚え書き

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

Ook!はSchemeである

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

Gaucheのコメントいろいろ

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

multi-termで快適なキー操作

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

dynamic-wind

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

Gaucheの複素数

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

Gaucheで手続き以外のオブジェクトも呼び出し可能にする

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