▽檜山正幸のｷﾏｲﾗ飼育記
●05/14 08:06
2025-05-12型を命題にｸﾗｯｼｭさせる： ﾀﾞｲｱﾓﾝﾄﾞ･ｵﾍﾟﾚｰﾀｰの由来雑記／備忘｢おｰ､$`\Delta`$ と $`\nabla`$ を組み合わせたら $`\diamondsuit`$ になるな､むふふふふ｣と､ﾀﾞｼﾞｬﾚな記法を思いついて悦にいっている今日このごろ｡何の話かというと； ｶﾘｰ／ﾊﾜｰﾄﾞ／ﾗﾝﾍﾞｯｸ対応によれば､型と命題は事実上同じものなので…型を命題にｸﾗｯｼｭさせる： ﾀﾞｲｱﾓﾝﾄﾞ･ｵﾍﾟﾚｰﾀｰの由来

▽きしだのはてな
●05/13 19:55
2025-05-12古いｺｰﾄﾞを捨てて1から書き直したからこそ続いているｿﾌﾄｳｪｱJoel on SoftwareにNetScapeを例に､古いﾌﾟﾛｸﾞﾗﾑを捨てて1から書き直したくなるのは戦略ﾐｽだって書いてあるけど､あのとき書き直してなかったら続いてないんではって思ったので､1から書き直して続いてるｿﾌﾄｳｪｱを挙げてみる｡FirefoxNetScapeからMozillaに移行するときに､新ﾊﾞｰｼﾞｮﾝのﾘﾘｰｽがなくなって､そこで致命的にｼｪｱを落としたというのは確かにそうだと思う｡けど､そこで書き換えていなかったら､2005年のAJAXから始まるWebｱﾌﾟﾘの高度化についていけなかったと思う｡あそこで書き換えたからこそ､いまこの記事をFirefox上で書けてるんじゃなかろうか｡WindowsWindowsは､MS DOS上で動いていた3.1に継ぎ足すような形で32bi

▽裏･たけぞう瀕死の日記
●05/12 06:47
2025-05-10ﾊﾞﾛﾝﾁｪｱのｱｰﾑﾚｽﾄを交換してみた若かりし頃（20年以上前？）奮発して購入したﾊﾞﾛﾝﾁｪｱのｱｰﾑﾚｽﾄが少し前からﾋﾋﾞ割れてついに最近崩壊してきてしまったのですが､ちょっと本体は値上りもしていて高すぎて買い替えられないのでﾈｯﾄ上の情報を参考にｱｰﾑﾚｽﾄだけ交換してみました｡imamura-net.comlibertyfor.netまず既存のﾊﾟｯﾄﾞをちゃんと取り外せることを確認してから以下の交換用ﾊﾟｰﾂを注文｡大きめのﾏｲﾅｽﾄﾞﾗｲﾊﾞｰを使って取り外したのですが､既存のﾊﾟｯﾄﾞが加水分解していてﾎﾞﾛﾎﾞﾛ崩壊してしまうし､ﾂﾒでがっちりﾊﾏっているので結構大変でした｡交換用ﾊﾟｰﾂもちょっと値上がりしているみたいです｡www.osas-shop.com数日で交換用ﾊﾟｰﾂが届いたのであとは取り付けるだけなのですが､これまた結構大変でした｡ﾂﾒの位置にあわ

▽高木浩光＠自宅の日記
●04/05 20:10
■ 追記：一部訂正（4月5日）｢連載論文(6)〜(9)の4本｣を読み込ませていたつもりだったが､よく見たら､誤って(7)は違うﾌｧｲﾙ（校正時に作成した追記分の短いﾌｧｲﾙ）を入れていたことが判明｡Claudeのﾌﾟﾛｼﾞｪｸﾄﾅﾚｯｼﾞの設定結果として1970年代前後の米国発の話などが含まれていなかった｡｢data subject｣の誤訳の話だけ持ち出してくるのは変だなとは思った｡というわけで､Claudeのｺﾝﾃｷｽﾄ容量の都合から､必要な範囲が収まらない｡いずれClaudeが進歩してこの制限は解消されるであろうが､現在のところ､論文の圧縮版を作るしかなさそうだ｡

▽どっとねっとふぁんBlog
●12/03 04:13
Click here to enter