▽nanotechweb.org
●11/22 16:00
Education and outreachPodcastsTop tips for physics outreach from a prize winner, making graphene more sustainableEnergy storage expert Venkat Srinivasan discusses the pros and cons of different battery technologies and the motivations people have for adopting themResearch headlinesRead article: Nanocrystal shape affects molecular bindingRead article: Aluminium oxide reveals its surface secre

▽5号館のつぶやき
●11/21 20:38
今回の斎藤元知事の｢復権..by STOCHINAI at 19:24

▽ScienceBlogs
●11/15 23:03
Another Week of Anthropocene Antics - November 10, 2013This weekly posting is brought to you courtesy of H. E. Taylor. Happy reading, I hope you enjoy this week's Global Warming news roundupskip to bottom Logging the Onset of The Bottleneck YearsNovember 10, 2013 Chuckles, COP19+, WG2 Leak, Haiyan, Fukushima, Maldives, Energiewende Bottom Line, Subsidies, GFIs, Cook, ShrinkologyFukushi

▽hilihiliのhilihili
●11/12 07:38
2024年11月11日月曜日金魚人間　人が魚になる未来＝＞金魚人間　人が魚になる未来（‥　）人間が滅亡しない経路を＼-　　　発見してしまったのね（‥　）前回の動画を作っている時に気づいてしまってな海の哺乳類が金魚ｻｲｽﾞでないのは水温が低いからでは？　それなら未来の高温化した海なら人間は海で小さくなれるし､それなら絶滅しないし､さらには鰓呼吸生物へと進化できるのでは？　という話投稿者 北村雄一（北村＠） 時刻: 22:42▼ 2024 (33)▼ 11月 (2)金魚人間　人が魚になる未来

▽hiroyukikojimaの日記
●11/04 14:48
｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数から生成される命題を考えてみる｡にどんな真偽の組み合わせ(4通り)を当てはめても､この命題は必ず真であるからﾄｰﾄﾛｼﾞｰである｡このとき､この論理式は推論規則で導出することができる｡(どのように導出されるかは､拙著『証明と論理に強くなる』で読んでくださいな)｡｢命題論理の完全性定理｣は､このようなことが一般的に成り立つことを主張している｡すなわち､｢形式的に証明できる命題は常に正しい｣だけではなく､