2024-04-27
tokyo operator, please 健康診断 レントゲン 「賛否」 さんまバス(東部地区地域交通バス) | 目黒区 (注記)東急バスと東急トランセとの会社合併や令和6年4月からバス運
しわよせのかたち
Gate keeper エレベーターでやる奴に初めて遭遇した。 某社の社員はいったいどうなってるのか以下略 自分は降りる階ではなかったのだけど、降りる人はみんな(そ
構文付き変換手インスティチューション 2/n 実例:モノイド
構文付き変換手インスティチューション 2/n 実例:モノイド
ぼくらの七日間戦争
宗田理氏が亡くなったという報道をみた。ご冥福をお祈りする。
宗田理といえばもちろん『ぼくらの七日間戦争』だろう。自分はまさにその世代(よりはちょっと若い?)。とりわけ熱心なファンというわけでもない自分でも映画は見ているし(せいぜいテレビで放映された時に見ただけだが)、その後に原作も読んだ。その後「ぼくら」シリーズの続編小説も何冊か読んだと記憶している。改めて刊行履歴を見ていると
にわかな奴ほど語りたがる -- あるハッカー
WirelessWire News連載更新(BlueskyやThreadsに受け継がれたネット原住民の叡智)
AI栄えてQAエンジニアが儲かる? 話はそんな単純ではない
SFが未来を方向づけるのか? 当代の人気SF作家が答える
アーヴィンド・ナラヤナンらの「インチキAI」本が遂に出る
伝説のロック評論家レスター・バングスの伝記本が出るのに驚いた
2024-04-09 (Tue)
#1 Coq の P -> False を ~P に変える
先に結論を書いておく: change (~ P) もしくは change (?p -> False) with (~ p) を使えばよい
Coq で、~P というのは、not P の notation である。
not は以下のように定義される。
Definition not := fun A : Pro
技術イベント「Nextbeat Tech Bar:第一回ライブラリ開発について考える会」を5月24日(金)に開催します!
2024-04-09
_ a-cho
https://www.buzzfeed.com/jp/yukichiba/ontr-dodonpachi-inbachiac0408
まず a-cho がまだあるということに感動してしまった
(08:38)
[ツッコミを入れる]
Last Modified: Sun Apr 7 17:44:29 UTC 2024
某駅におけるベルヌーイの定理の体感 2024-04-08 [Mon] 02:22
人間というものは、たとえ個々人が自由意志をもって動いていたとしても、
集団になると全体で流体のような動きを示す、ということをどこかで読んだ。
実際、それを体現するような現象は東京都内の各所でみられる。
とくに、新山がよく通る某駅な
3月27日_
『オービタル・クラウド』(藤井大洋)
近未来(作中では2020年なので既に過去 - 刊行は2014年)の宇宙ゴミによるテロの話.
エンジニアの話がリアルに感じた. ガジェットの扱いがかっこいい. 主人公の軌道演算能力やヒロインのプログラミング能力の高さはすごすぎるけど, それもいい. 面白かった.
3月26日_
ego-go続き
自分の環境ではシミュレーションモードで動くようになった
2024-03-27 RFC の URL はどのドメインで貼るのが良いか
2024-03-26 Chromium にコントリビュートするための周辺知識
兼雑記
読者になる
Plan9日記
読者になる
あどけない話
読者になる
主題のない日記
読者になる
2024-03-24
shinydir
ウェブブラウザを使ってダウンロードしたファイルはダウンロード用のディレクトリに溜め込まれてく。 それらを一定の規則に従って適切なディレクトリに移動したいというのはよくあることだろう。
その目的で私は FileArrangement というソフトウェアを使っていたのだが、不満に思うことがあった。 規則の記述が煩雑なのだ。 設定する規
継承はなんでダメ?
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