むしろ　ﾏｲﾎﾟｰﾀﾙ - はてなｱﾝﾃﾅ

▽はてなﾀﾞｲｱﾘｰ - ﾗｳﾞﾌｰﾙ (www.lovefool.jp)
●11/10 12:04
2024-11-15『F-ZERO』2作のSwitch復刻とともに振り返る､開発会社｢朱雀｣が残した作品たちとその軌跡gamerealsound.jptakanabe 2024-11-15 00:00 読者になるShare on Tumblrgame (17600)

▽TechCrunch Japanese
●11/09 03:20
HardwareApple Mac Mini (M4) review: More power in a tiny packageBrian Heater1 day agoGadgetsApple 16-inch MacBook Pro (M4 Pro) review: A powerful desktop replacementBrian Heater1 day agoClimateUlysses is using robots to restore seagrass populationsRebecca Szkutak1 day agoStartup Battlefi

▽Arisanのﾉｰﾄ
●11/07 09:41
2024-11-04『ｼﾞｪｲﾑｽﾞ･ﾎﾞｰﾙﾄﾞｳｨﾝのｱﾒﾘｶ』ｼﾞｪｲﾑｽﾞ･ﾎﾞｰﾙﾄﾞｳｨﾝのｱﾒﾘｶ：｢もう一度始める｣ための手引き作者:ｴﾃﾞｨ･S･ｸﾞﾛｰﾄﾞ･ｼﾞｭﾆｱ白水社ｼﾞｪｲﾑｽﾞ･ﾎﾞｰﾙﾄﾞｳｨﾝについては､元々作家としての存在は知っており､映画『私はあなたの二ｸﾞﾛではない』によって､米国の黒人解放運動の中での位置についてもある程度は知っていた｡ただ､作品を含めてﾎﾞｰﾙﾄﾞｳｨﾝの文章を読んだことはなかった｡本書は､近年米国で再び関心を集めているﾎﾞｰﾙﾄﾞｳｨﾝの生涯と思想について､著者のｴﾃﾞｨ･S･ｸﾞﾛｰﾄﾞ･ｼﾞｭﾆｱが自身の内省と苦悩を重ねながら探究したものである｡以下､特に印象に

▽ABAの日誌
●11/07 03:42
2024-11-05私の心を揺さぶったﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語'Programming Languages That Blew My Mind'というﾌﾞﾛｸﾞ記事で､8歳からﾌﾟﾛｸﾞﾗﾏｰとして活動しているDavid Tellerさんが､人生で出会った革新的なﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語について紹介している｡BASICA language designed to make programming simple.Mind blown: Programming my own games!Mind blown: Arrays (or DIM, as they were called)!Mind blown

▽YAMDAS現更新履歴
●11/06 10:51
週末のお出かけの記録（BOOK MEETS FUKUOKA､手塚治虫ﾌﾞﾗｯｸ･ｼﾞｬｯｸ展）『AIの倫理学』と対になるﾏｰｸ･ｸｰｹﾙﾊﾞｰｸ『ﾛﾎﾞｯﾄ倫理学』邦訳が出ていた『ｻﾞ･ﾌﾞﾗｯｸｵﾆｷｽ』の作者にして､ﾃﾄﾘｽを世界的ﾋﾞｼﾞﾈｽにしたﾍﾝｸ･ﾛｼﾞｬｰｽの回顧録が来年出るｵｱｼｽ：ﾗｲｳﾞ･ｱｯﾄ･ﾈﾌﾞﾜｰｽ 1996.8.102度目のはなればなれ

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