▽dara日記
●11/10 19:51
米粉麺は麺もｽｰﾌﾟも透明できれいだった｡なんか光ってる2024/11/04午前中から出かけるので目覚ましをｾｯﾄしたが､それ以前に犬に起こされる｡犬が朝は激怒すれば私が起きるということを覚えてしまっている気がする｡たまには激怒を無視する日を作るべきかもしれない｡ 起床後いつも通り身支度をして洗濯機を回し､朝ご飯の準備をする…楽園日記日記｢10代からの文章ﾚｯｽﾝ｣､国崎和也さんの文章が傑作本の記録（夏､秋）最近読んだ本について｡最近といっても夏休みに読んだ本が多く､内容をあまり思い出せなくなってしまった｡読んだ直後に書いておけばよかったのにね｡ 小川洋子･河合隼雄『生きるとは､自分の物語をつくること』 生きるとは､自分の物語をつくること（新潮文庫） 作者…思い出の向こう側本気になる表示を発見｡”夜間の200円は､気分的には最高”『24時間最高』朝7時半起床｡朝食を食

▽はてなﾀﾞｲｱﾘｰ - daffy log
●11/08 02:46
行動すれば夢は実現可能だし､やめなかったことが力になる夢だった焼き菓子屋さんをｵｰﾌﾟﾝしたよ※ｵｰﾌﾟﾝしたのはﾎﾟｯﾌﾟｱｯﾌﾟｼｮｯﾌﾟであり常設店舗ではありませんが次回もやる予定です！ 以前にも書いたが､ｺﾛﾅ禍のﾎｰﾑﾍﾞｲｷﾝｸﾞﾌﾞｰﾑが終わるころにｵｰﾌﾞﾝﾚﾝｼﾞを購入したのがきっかけでﾊﾟﾝや焼き菓子をせっせと作っていた｡夫（当時は恋人だったが…A Song for you“この先食べるほっけは絶対に絶対に全部これが良い”おいしいもの忘備録(室蘭･函館編)9月下旬｡3泊4日で室蘭→函館を訪れていた｡かれこれ5回目の北海道だったわけだが､今回もおいしいものと巡り会う機会に恵まれたので､記憶に残っているおいしいものたちを選出してみたくなった｡未だに北海道のごはんたちが恋しくて仕方がないので､切なそうにしている…鯨を飲む姪は2本の脚で歩く､俺は2本のﾀｲﾔを転がす免許を取る｡止まる

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

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

▽早く人間に成りたｰい｡
●11/04 08:59
韓国の国立中央博物館へ｡大充実の陶磁器をじっくり見る2回目の韓国旅行（後半から突然陶磁の話になる）ﾔﾎｰ！ 2月ぶりに韓国に行った ※今回も長くて自由すぎるため､明日のｺﾞﾐ出しの準備など全てのﾀｽｸが済んだ者もしくは何のﾀｽｸも完了してなさすぎて逆に暇を迎えた者だけに読んでほしい ◯1日目 心配性すぎて､手続き開始の2時間前に空港に着く もちろん搭乗口の…ﾔｽﾀﾞ彩即席の｢まだねむれないｽｰﾌﾟ｣｡ﾌﾞﾗｯｸﾍﾟｯﾊﾟｰが肝心2024.10.30（水）眠るばかりの毎日｡早起きができない｡夜は3時まで眠れない｡色々と､仕方がないのかもしれない｡元気がないわけではないから､いいやと思っている｡ 今日もいろんなものを捨て､必要なものを買い足した｡部屋が自分の好みになるにつれ､自分のなかの何かが満たされる…まだねむれないあらゆるできごとが脳内で勝手に短歌のﾘｽﾞﾑに変換される夏は本屋になりた