2024-07-26
曖昧さを減少させるために、式にフォーマット指定
雑記／備忘
ひとつ前の記事「Propositions-As-Typesを曲解しないで理解するために」の最初の節や最後の節で、同義語・曖昧多義語を話題にしました。曖昧さは色々な形で現れます。なにごとかを正確に理解するには、曖昧さを処理していくことが必要です。まー、曖昧に書く…
2024-07-25
Propositions-As-
2024-07-23 (Tue)
#1 select の errorfds (exceptfds) の利用例
select システムコールには fd の待ち方として3種類のあって、どの fd でどの待ち方にするか指定するのに引数が3つ (readfds, writefds, errorfds) ある。
errorfds は exceptfds と呼ばれることもある。
readfds は読み込み可能
私は悩みをリストアップし始めたが、そのあまりの長さにいやけがさし、何も考えないことにした。-- Robert C. Pike
星空のディスタンス
3199 観てきた。 前振りが長い ついつい「暗黒星団帝国」と言ってしまいたくなる IIIのエピソードをどう絡めていくのか(今回もボラー連邦の登場あり) 「
訳される地名
この記事読みました。面白かった。
https://dailyportalz.jp/kiji/chugokugo-hyouki-kakkoii-ekimei
それで思い出したけど、私の今住んでいるカリフォルニア州マウンテンビュー市というのも、中国語では山景城という、という話があってなんかかっこいいなと思っていたのだ。
アメリカの地名は中国語ではたいてい音訳だが（例えばアメリカが美利堅だ
2024-07-14
山口でのエギング振り返り
今週末、春のアオリイカの3杯目を釣ったら、なぜ釣れるようになったか、振り返りをやります。
— 山本和彦 (@kazu_yamamoto) 2024年7月4日
「分かってしまうと、なぜ分からなかったのか分からなくなる」
と言うわけで、いつもは技術的なことしか書かないけれど、今回は「なぜ以前はアオリイカが釣れなかったのか」を忘れない内に書き留めておく。
2024-07-05 なぜブラウザエンジンは 1 つではダメなのか? または Ladybird への期待
2024-07-03
icfpc 2024 、というか 3d 言語良かったという話
もともと雑だった記憶がより粗雑になり、最後に icfpc にマジメに参加したのっていつだったっけ、車焼いたやつ？くらいの感じです。最近の icfpc は昔の言葉で言うとマラソンマッチ的、現代語で言うと AHC 的な印象を持っています。これらは今でも嫌いではないのですが、フツーに仕事でマラソンタスクがあって、時間がな
6月28日_
Google Open Source Peer Bonus program recognizes first group of 2024 recipients
Xbyakで受賞した. ありがたい.
メール自体は1カ月ぐらい前にあったけど最初は本物か詐欺メールか悩んだ.
6月26日_
mcl/blsをmips向けにbuildする
いろいろ試してクロスコンパイル環境としてはclangの-
RubyでSlackのボットを書く方法（なるべく自力で）
2024 / 6
2024-06-24
_ polytopia
https://share.polytopia.io/g/fd9d85b9-e6f2-4916-426b-08dc80ca1ea3
かなり久々に負けたー。最近ペース落としてて、たいした回数やってないとはいえ、3ヶ月ぶりだ
負けた相手は elo が 1900 越えてて、こんな相手始めてだし、がんばろう！とがんばっていた。どうすれば良かったんだろうなぁ、こ
この広告は、90日以上更新していないブログに表示しています。
それでも10進小数をデフォルトにすることは意味がある
May. 2024
Last Modified: Sun May 19 19:09:54 UTC 2024
title 2024-05-20 [Mon] 04:09
油断していたらまたいつの間にかもう5月も下旬という時期。
むんすか。
だいたいやねー… (略)
Document ID: 6113a7f217f4db39cd0039b1f7fd849c92dab96d
WirelessWire News連載更新（BlueskyやThreadsに受け継がれたネット原住民の叡智）
AI栄えてQAエンジニアが儲かる？ 話はそんな単純ではない
SFが未来を方向づけるのか？ 当代の人気SF作家が答える
アーヴィンド・ナラヤナンらの「インチキAI」本が遂に出る
伝説のロック評論家レスター・バングスの伝記本が出るのに驚いた
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