かつて小説書きをやっていたプログラマ。リコーダーという名前で東方のみすちーを書いていました。原神、プリコネ、ブルアカ、ヘブバン辺りをプレイ中。グラブル、シャニマス、バトガは以下略。業務はWin向けパッケージ開発、好きな言語はHaskell, C++。アイコンはWaifuDiffusion。

町田
Joined January 2010
やっぱ現代物理学において、ネーター(女性物理学者)の定理が一番上なんだよな
1
15
使い捨てファンネルからビーム撃って熱ごと捨てちまえばいいのでは
良く考えたらさ 宇宙での戦闘って普通みんなビーム撃ち合いになるとか思うじゃん?? ところがどっこいマッコイ 宇宙は真空なので放熱できません。 対艦の高出力ビームなんか撃ってたら本人が放熱出来なくて死ぬ 放熱機能(真空で放熱するには赤外線として発散)を付けた宇宙戦艦なんて カサゴみたいな見た目になるし 放熱=熱源ばら撒き なので熱探知で遠くからも丸見え つまり 宇宙戦闘は 実弾による有視界 極近接戦闘になります ロケットやミサイルは射出後に筒が熱を持つので長距離は不可能 機銃も空冷出来ませんので 連射不可です。 単発射撃勝負。 有視界でのスナイプです。 なにこれ激アツじゃない?? 地上よりも制限キツくて近距離戦闘になりますねぇ…… 熱を持たないアナログな兵器なら連射出来ますので 装填式の大型クロスボウとか強いかも知れません アツくね??
301
これを核励起レーザーでやるのが宙間戦闘において最強じゃないかと一時期考えてた
16
メモ:カロンジ、ウラドダール、ヒング、カルダモン、クローブをテンパリングすると、カレーの材料何も入れてないのにカレーの香りがする
84
はい30連目
22
10連でヒフミは引けなかったけど神引きはした
38
アズなんとかさん retweeted
少なくともペロロ様をバカにしたやつを半殺しにするのはお前の頭の中のエアプヒフミであってヒフミではない。
阿慈谷ヒフミの罪状 ・闇市を常習的利用 ・闇市の闇銀行で銀行強盗 ・モモフレンズのイベントに行く為に学校のテストをサボる ・学校の戦車を強奪(借りたつもり)して海に行こうとしたのを止められた為アズサと共に武力行使で抵抗(窃盗、公務執行妨害) あとなんかあったっけ
3
30
2
253
34,543
むしろノーレッジとロックト、ナレッジとラクトの組み合わせの方が据わりが良い気がする
今日の今日まで知らなかった事実
3
377
それを言い出すと、be動詞+補語を『ある』という一般動詞で訳していいのか、という話にすらなりそう
同じ理由で、I study English.を「私は英語の勉強をします。」と訳したり、There are three apples.を「リンゴが3つあります。」と訳したりするのも、初学者・苦手な人ほど危ないと思っている。
3
12
7,032
日本人的にも「アヒージョは家でも簡単に作れるのに、カチカチのバゲットが入手できない」というお困りは発生している模様
これは本当で、日本には様々なパンがあるんだけど、硬いパンだけは手に入らないって海外の人が嘆いているのを見たことある 日本人、なんでもモチモチかサクサクの質感にしてしまう・・・
1
122
アズなんとかさん retweeted
マジか、これは知らんかった。3年前にCoq から Rocq Prover に改称してたのか。
フランス語で鶏を意味するCoqを冠する定理証明支援系があったのだが「下品」という理由で改名されたらしい
2
2
305
フランス語で鶏を意味するCoqを冠する定理証明支援系があったのだが「下品」という理由で改名されたらしい
Replying to @akevittnvg
英語圏の友人の前で「クジャクって英語でなんだっけ…あっ”ピーコック!“」って言ったら割とガチ目にたしなめられましたね cookはやめろって お土産屋の孔雀のガラス細工の話がしたかっただけなのに
1
1
1
5
530
アズなんとかさん retweeted
分かる 自分に非が1ミリも無いの確定しているトラブル対応ってなんであんなに楽しいんだろ
今日も昨日もPHP対応に振り回されてるけど不謹慎ながら正直楽しい。 かなりのエンジニアがこの気持ちで働いてると思う。
92
6,097
844
76,451
3,913,894
アズなんとかさん retweeted
今日も昨日もPHP対応に振り回されてるけど不謹慎ながら正直楽しい。 かなりのエンジニアがこの気持ちで働いてると思う。
52
684
267
13,964
3,781,770
ビビッドハートほすぃ
36
「無限の猿定理により赤ちゃんやチンパンジーでも藤井聡太に勝つ事ができる」を非現実的な極論とするなら「無限の知性があれば将棋を完全解析できるので不確定要素は生じない」も逆方向の極論だよなあ、とは議論を見ていて思う。運ゲーの定義はさておき。
This quoted post is unavailable.
457
初手から先手26歩、後手85歩(エク歩)で先後逆転して以下定跡形ですかね……
将棋AI同士で試合すると先攻ガン有利ってやつを五分にするには?とド素人が考えてみた結果、後手が対局中に一度だけ歩を2マス前に進めるエク歩を導入したらどうだろうと思ったのですが将棋結構やってて(過去込み)詳しいよって人いたら見解を教えてください。
1
2
1,090
アズなんとかさん retweeted
原理的には完全情報ゲームであるが、実質的には不完全である将棋を運ゲーと呼ぶと怒る人間がいるので、最近はお祈りゲーと呼んでいる どれだけ習熟してもどの手が最善かプレイヤーは判別することができないので、最善であることを神に祈るゲーム
10
10
2
77
7,740