この広告は、90日以上更新していないブログに表示しています。
2026-04-28
Propositions-as-Types が説明困難な事情： n回目の整理
雑記／備忘
Propositions-as-Types は、幾度となく話題にしています。ブログ記事だけでなく、口頭での説明もけっこうな回数おこなっています。これがうまく説明できないのですわ。説明が困難な主たる原因は、用語の対応があまりにもグジャグジャで混乱必至なことです。…
Propositions
ジオン驚異のメカニズム
t sed: s///g now works for input lines longer than 2GB - sed.git - GNU stream editor + printf (" regex[%d] = %td-%td '", i, + (ptrdiff_t)regs.start[i], (ptrdiff_t)regs.end[i]); %tdのtってなんじゃ
2026-04-24 Compression Dictionary Transport 用の Toolkit を公開した
4月20日_
量子計算機
自分の資料を元につっこまれながら細部を復習.
4月19日_
裏砂漠もう一度
朝5時に霧の中を行ってみる. 一本道なので安心して進める. 周囲2kmに誰もいないのだなあ.
ホテルに戻って朝食後, 船までまだ時間があったので母を連れて途中までもう一度.
4月18日_
伊豆大島
母を連れて行く. 高速ジェット船は初めてかな. シートベルトするとは思わなかった.
グローバルネイチ
2026-04-21
_ coding agentを使う
LLM使いこなし、普通に使ってるだけでもえらいこっちゃだけど、真にヤバい加速は並列性かなぁ、と感じるようになってきた
SWEたるもの並列性とのつきあいは得意で、一番有用なのはバカパラであることを、よく知っている。このパターンが有効なのは、成功や効果が明確なパターン。ちょっと難しい最適化とか、ちょっと難しいテスト壊れてるの直しておいて、とかで
2026-03-31 (Tue)
#1 カンマ区切りの BNF
カンマ区切りの構文は BNF では書きにくいよなぁ、と思う
2026: 01, 02, 03
AIに関する重要人物が多数出演したドキュメンタリー映画『The AI Doc』を日本でも観たいぞ
クリエイティブ・コモンズ・ライセンスについての分かりやすい解説（2026年版）
ウィキペディアの知られざる記事を取り上げるLonelyWiki
ウッドロウ・ハーツォグ『プライバシーの設計図: 法はいかにテクノロジーのデザインにかかわるべきか』が今月出ていた
マリアナ・マッツカートがコンサルタント業界を
Last Modified: Thu Mar 19 14:29:36 UTC 2026
よ 2026-03-19 [Thu] 23:25
最近開いている20個ぐらいのタブのほとんどが AI関連の解説・解析・体験・グチばっかりだ。
オレは一体こんなもんばっか読んでて人生楽しいんだろうか。
この広告は、90日以上更新していないブログに表示しています。
はてなブックマーク見るのやめることにした に ると より
はてなブックマーク見るのやめることにした に Hiroshi Kurokawa より
はてなブックマーク見るのやめることにした に karino2 より
スマートウォッチを紛失した に Hajime Morrita より
はてなブックマーク見るのやめることにした に ると より
はてなブックマーク見るのやめることにした に Hiroshi
「型システムのしくみ」発売のお知らせ
▼ ▶
2025
2025 / 4
あと、僕は馬鹿なことをするのは嫌いですよ (わざとやるとき以外は)。-- Larry Wall
ネット小説を書き始めて三年以上経って気づいたこと：鯛粗は重要
この広告は、90日以上更新していないブログに表示しています。
Plan9日記
読者になる
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_usi
Smalltalk-72で遊ぶOOPの原点：組み込みコレクションにeach変数が使える「do」を新たに追加する
2023年01月07日(土) [n年日記]
この方法は完全に統計的に動いており, 内部的には1000次元のニューラル文書ベクトルをSVDで効率的に計算し, 基本的な線形代数を用いて最適解を返すものになっています。
この方法を拡張して, Researcher2Vecにもあるように, 各研究者の「研究者ベクトル」を計算することで, キーワードから研究者を検索できる"ACL2Vec-authors"をさ
TAO/ELISをつくろう (6): 番地型計算
Posted 2022-11-03 20:36:51 GMT
TAO/ELISをCommon Lispで真似てみる試みの続きですが、今回は、番地型計算を再現してみたいと思います。
マルチパラダイム言語 TAO: 第12回 完 Common Lisp と番地型計算; 8. 番地型計算
Lispマシンにはlocativeという参照を抽象化したような仕組
その後, 国立天文台暦計算室のページを見付けた.
back to the top
ssig33.com - texts
TravisCI で粗雑にテストを分割実行する (2018-09-18 02:46:10 UTC)
Scrapbox Drinkup #4 にいってきた (2018-05-24 06:17:38 UTC)
谷甲州『工作艦間宮の戦争』 (2018-05-21 15:18:10 UTC)
new_article (2018-03-1
The Sunny Cityという仕掛け付きジグソーパズルをプレイした
2022-02-07
Game
『The Sunny City』というジグソーパズルをプレイした。Twitterで、何やら秘密の仕掛けがあって面白いと聞いて気になっていたやつ。
購入
日本のAmazonだと8970円とけっこうなお値段なのだが(プレミア価格？)、米Amazonだと$19.99で「まじかよ…」という気分になる。米
6 hours ago
2 days ago
10月上旬
2019年10月2日(水)
■ 正当なメールアドレスが使えないのは不当か
_ Jリーグチケットは正当なメールアドレスを受け付けないという話。
_ 自分も y@ という1文字ローカルパートなメールアドレスを使ってるのでときどき同じ罠にひっかかるけど、まあそういうもんだと思うけどね。イラッとすることは否定しないけど。RFC で制限されてないからといって、アプリケーションが独自に制限
14年4月 diary
最新の日記 前の月 次の月 日記INDEX はじめての方へ HOME
4月1日（火）
▼「ヒッグス粒子を追え」フランク・クローズ
この辺りの理論は知っていたが、発見のドラマの方について読んだのは初めてだったので面白かった。朝永らのくり込みの時代から始まって、標準モデルが確立するまでの過程を「無限大の問題」を軸にしてまとめたもの。原題は”the Infinity Puzzle