▽hiroyukikojimaの日記
●11/04 14:48
｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数か

▽Active Galactic : 11次元と自然科学と拷問的日常
●03/28 13:04
Active Galactic : 11次元と自然科学と拷問的日常読者になる

▽a day in the life of mercy snow
●01/28 19:47
このﾍﾟｰｼﾞはJavaScriptを使用しています｡JavaScriptを有効にしてご覧ください｡
設定方法は｢JavaScriptを有効にする方法を知りたい｣でご案内しております｡
ｲﾝﾀｰﾈｯﾄ接続
SIM･ｽﾏﾎ
会員特典･ﾎﾟｲﾝﾄ
ｵﾌﾟｼｮﾝｻｰﾋﾞｽ
ｻﾎﾟｰﾄ
ﾛｸﾞｲﾝ
さん
ﾒﾝﾊﾞｰｽﾃｰﾀｽ
ﾒｰﾙ通
ﾎﾟｲﾝﾄpt
ﾛｸﾞｱｳﾄ
閉じる
ﾏｲﾍﾟｰｼﾞ
お知らせ
So-netﾄｯﾌﾟ
お知らせ

▽youderng のﾌﾞﾛｸﾞ -DTIﾌﾞﾛｸﾞ
●06/13 12:10
〓
Copyright © 2005-

▽hard で loxse な 日々
●12/17 18:48
2011/12/17 Sat
白髪も増えて老けこみましたが､なんとか生きてます｡
ｺｺでは NexusOne の Wifi 運用から 3G ﾃﾞﾋﾞｭｰしたあたりで最後の記事だったわけですが｡
その後､ﾘｰｸの Froyo を経て､cyanogenmod6､7 と移行｡
b-mobile U300 も､今では 1G定額で運用｡
ﾖﾒはん用に NexusS(CM7)も買い足しましたし､xoom も発売さ