merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2021年04月12日
並び順 : 新→古 | 古→新
2021年04月12日(月)
∀x[φ(x)→ψ(x)]のことを、「あるxでφが成立するなら、そのxはψ(x)も必ず満たす」というふうに言いたくなることがしばしばある。一方で「数学で『ある』と言ったらやっぱり『∃』だよね」と受け取られるのも分かる。 twitter.com/Atsu_Gake/stat...
タグ：
posted at 05:07:32
本気でやってる人の間ができるだけ平等になるべきという面 (ルールや仕様の整備、明文化) と、初心者にルールを読み込ませることを強制しないという面 (表示を直観的にする) の両方をやらないといけない (理想的には) と思う
タグ：
posted at 15:23:04
国体のやつで問い合わせてたことの返信(要約)
Q. なんでswitch版なの
A. switch版でやって声が多かったから
Q. なんでproコンなの
A. ジョイコンの無線接続のトラブル回避のため
タグ：
posted at 18:35:05
スポンサーリンク
