きくらげ観察日記

好きなことを、適当に。

2016-01-01から1年間の記事一覧

さよならインクルードガード

C

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

JavaでMapの初期化を行う方法いろいろ

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

プログラミング初心者が最初に選ぶべき言語73選

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

アドホックな多相性の実現方法いろいろ

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

OCamlのFunctorという概念を知らずに自分で再発明していた話

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

機械学習でAV女優かどうかを判定するプログラムを作った

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

SWI-Prologを始めてみる

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

OCaml初心者が戸惑いそうな謎記号一覧

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

Gaucheのwriteのバグ(?)を発見した

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

nginxで特定のパスを別なポートにリダイレクトする

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

apacheのポート番号を変更する

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

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