とあるラムダの超理論（メタセオリー）

作成日 2012/05/29 / 得票はありません → 投票する

新しい画像を作成する場合はここをクリック

とあるラムダの超理論（メタセオリー）
画像URL:

とあるラムダの超理論（メタセオリー）
画像URL:

削除依頼

同一作者による画像

とある開発の形式手法（フォーマルメソッド） とある型の依存性（インデックス） とある定理の対話証明（Ｉｎｔｅｒａｃｔｉｖｅ Ｐｒｏｏｆ） とある型の依存性（デペンデンシィ）
とある型の依存性（ｄｅｐｅｎｄｅｎｃｙ） とあるタイプの超理論（メタセオリー） とある定理の対話証明（ＩｎｔｅｒａｃｔｉｖｅＰｒｏｏｆ） とある開発ｄｅの形式手法（フォーマルメソッド）

とある櫻花の画像生成