makotanのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽はてなﾀﾞｲｱﾘｰ - 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時まで眠れない｡色々と､仕方がないのかもしれない｡元気がないわけではないから､いいやと思っている｡今日もいろんなものを捨て､必要なものを買い足した｡部屋が自分の好みになるにつれ､自分のなかの何かが満たされる…まだねむれないあらゆるできごとが脳内で勝手に短歌のﾘｽﾞﾑに変換される夏は本屋になりた

▽裏･たけぞう瀕死の日記
●11/04 00:20
2024-11-02Trino 464ﾘﾘｰｽﾉｰﾄ日本語訳TrinoAccumuloｺﾈｸﾀが削除される一方でFaker connectorとVertica connectorが追加されました｡Datafakerを使ってﾃﾞｰﾀを自動生成できるFaker connectorはﾃｽﾄなどに便利そうです｡原文はこちら: https://trino.io/docs/current/release/release-464.htmlGeneral破壊的変更: Trinoの実行にJDK 23が必要に (#21316)ﾃﾞｰﾀを簡単に生成するためのFaker connectorを追加 (#23691)Vertica connectorを追加 (#23691)fault-tolerant-execution-eager-speculative-tasks-node_memory-overc

▽尾島さん
●11/02 19:19
没有找到站点〓的请求在Web服务器中没有找到对应的站点！可能原因：〓没有将此域名或IP绑定到对应站点!配置文件未生效!如何解决：检查是否已经绑定到对应站点，若〓认已绑定，请尝试重载Web服务；检查端口是否正〓；若〓使用了CDN产品，请尝试清除CDN缓存；普通网站访客，请联系网站管理员；