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

▽はじめてのにき
●11/09 21:40
2024-11-09_ 自動詞の compileあれ不思議な存在だったなあ､とふと｡もっとも典型的な "it sells well" を学校で習った記憶がないから､なんかたぶん当時は教えてなかったんじゃないかって気がするんだけど､今ぐぐると高校英語みたいなｻｲﾄが出てきた思い出した理由はhttps://golfscript.com/iogii/index.htmlの "All operations vectorize" で､なるほど vectorize もこれも自動詞化するんだなあ……と(17:00)[ﾂｯｺﾐを入れる]本日のﾂｯｺﾐ(全1件) [ﾂｯｺﾐを入れる]_ にわさき [私立云々といえば､新卒だった頃に僕が公立の共学出身だと言ったら｢ぇｰｰ　共学なんか通ってたら恋愛ばっかりしちゃっ..]1.にわさき(2024-11-08 23:44)

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

▽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: GOTO!Mind blown: GOSUB!Original, line-based, Basic is dead, but its legacy lives on in VB.Net, V

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