Information date version note 2012/07/27 1.0 first 公理 0.集合の存在 1.外延性 2.基礎 3.内包性図式 任意の式について、その自由変数を(あるいはその一部）とするとき 4.対 5.和集合 6.置換図式 任意の式について、その自由変数を(あるいはその一部）と…

Information date version note 2012/07/24 0.1 first 2012/07/29 1.0 サンプル実行まで version Xtend : Eclipse : 4.2 Juno (Eclipse Marcketを使用するので) 概要 JVM上で動く言語 Javaとの連携がシームレス →〜.xtendのソースを作成すると、対応する〜.j…

Information date version note 2012/07/14 0.1 first 概要 FreeMindを立ち上げると日本語の部分が文字化けを起こしている。 対策方法を以下に記述する。 環境 Lxubuntu foresight 11.04 Open JDK 1.6 解決方法 ここに記載されている http://ssmk.blogspot.j…

Information date version note 2012/07/08 0.1 初回作成 概要 Eclipseのメニューとかにコマンド(ボタン等)を登録する。 はじめに 詳しくは、ここの記事を参照。以下は補足的内容のみ。 http://www.vogella.com/articles/EclipseCommands/article.html#stand…