きくらげ観察日記

好きなことを、適当に。

CGIの仕様

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

ApacheでCGIを動かす

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

Coqのsplit, left, rightについてもう少し詳しく

Coq

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

Coqで「任意のxについて…」「あるxが存在して…」を扱う

Coq

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

Coqで「…かつ…」、「…または…」を扱う

Coq

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

Coqで定理の証明中に補題を示す

Coq

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

Coqで前提や定理を適用して証明する

Coq

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

Coqで数学的帰納法を行う

Coq

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

Coqでデータ型に対して条件分岐を行う

Coq

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

Coqで定理の特定の項だけを書き換える

Coq

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

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

Gaucheでパラメータを定義する

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

Gaucheで優先度付きキュー

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

Gaucheでリスト内包表記

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

パターンマッチでTextを1文字ずつ処理する

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

Gaucheで構造体を定義する

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

Gaucheで関数の実行時間を測定する

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

Pythonで代数的データ型とパターンマッチ

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

Pythonでsealedクラス

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

Gaucheで多値を受け取る

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

ImplicitParamをConstraintとして扱う

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