Rule 3: don't eat up asynchronous exceptions of others
Exceptions of others have their own semantics. If you eat up them, your code does not work well.
V林田『麻雀漫画50年史』 に Hiroshi Kurokawa より
2024-12-25
新刊近刊 awk FORTRAN Compiler on IBM 704 Hugo メモ
ヒットをねらえ
アニメ化 TVアニメ「宇宙人ムームー」 へー advent calendar 技術系アドベントカレンダーの歴史に思うこと | おそらくはそれさえも平凡な日々 ただ、アドベント期間を
一つのことを行い、またそれをうまくやるプログラムを書け -- Malcolm Douglas McIlroy
2024-12-13
連立方程式系と余連立余方程式系
雑記／備忘
「圏論のエンドとコエンドは双対なんだよ」で述べたように、エンドとコエンドは完全に双対なのですが、この双対性、なかなかに分かりにくいようです。エンドの作り方は「連立方程式系の解空間を求める」行為になっています。コエンドを作ることはその行為の…
連立方程式系と余連立余方程式系
2024-12-12 3PCA 30 日目: 2024 年の 3rd Party Cookie まとめ
2024-12-11
_ 親バカ日記
36,37ヶ月
753 の 3 があり、写真館的なところで写真を撮り、かわいすぎ、悶絶したりした。子、別に性別割とどうでも良いと思ってたし、まぁ実際女の子だけど車遊びとかよくやってるしなぁ、くらいに思っていたのだけど、 753 の 3 のこれは、おお、女の子で良かったのかも、と思うレベルだった
例えばいつも通ってる保育園や、児童館に行ったりすると、似たような月
2024-12-03 (Tue)
#1 Coq-Equations の depelim tactic
Coq-Equations にインデックス付き帰納型の場合分けを行う depelim tactic があるという話を見かけたので、
eq_irrelevance とかを証明してみた。
なお、Equations は Agda みたいなパターンマッチで関数を定義できるようにするというのが主目的のパッケ
この広告は、90日以上更新していないブログに表示しています。
11月23日_
京都
息抜きのために一人でベタな観光してみる.
新幹線30分遅延で京都駅すさまじく混んでた. 嵐山まで行って銭湯を改築したお店で昼御飯. スパゲティはおいしかったけど結構待った.
そこから仁和寺, 龍安寺, 鹿苑寺, 北野天満宮と定番のお寺を歩いてめぐる. 外国人多し. 大学生の時はお寺の前までで戻ってたから, もしかして鹿苑寺中に入るの初めてかも. ええ加減現金onlyは止めてほ
Nov. 2024
Last Modified: Thu Nov 21 21:39:07 UTC 2024
さむっこ 2024-11-22 [Fri] 06:35
ゲームジャムにはどうにか参加できたが、
それ以外のことをする時間はまったくない
(趣味という意味で)。
これは他の親の方々も同じようである。
ちなみに職場には同じぐらいの子供をもつ親が沢山いるので、
そういう意味では話題にこと欠かない
週末のお出かけの記録（BOOK MEETS FUKUOKA、手塚治虫 ブラック・ジャック展）
『AIの倫理学』と対になるマーク・クーケルバーク『ロボット倫理学』邦訳が出ていた
『ザ・ブラックオニキス』の作者にして、テトリスを世界的ビジネスにしたヘンク・ロジャースの回顧録が来年出る
オアシス：ライヴ・アット・ネブワース 1996.8.10
２度目のはなればなれ
TypeScriptは型安全じゃないからすばらしい
2024 / 10
この広告は、90日以上更新していないブログに表示しています。
それでも10進小数をデフォルトにすることは意味がある
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