merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング(書く)、アニメ(みる)、将棋(指す)、数学・漫画(ちょっとだけ好きだけど最近やってない)、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2017年08月18日(金)

ボードゲームの説明書で、「場または山からカードを2枚引く」と書いてあるけど、場と山から1枚ずつ引くのが許されてるのか分からなくて困った。周囲の文章も絶妙にどちらとも取れるし。
タグ:
posted at 23:30:46



いちおう自分のリストはそのへん配慮して、BASICリストとはいえ行ごとにチェックサム入れてミスがあるとどの行にエラーがあるか教えてくれる機構を入れてありました。せめてもの罪滅ぼしというか… twitter.com/tokkun01/statu...
タグ:
posted at 18:29:04

サークルK・サンクス、ファミリーマート、ローソンのマルチコピー機の「いつでもプリント」で
数独が購入できます。難易度別に問題が用意されているので、初心者の方や上級者の方にも対応していますよ。
詳細はこちら→itsudemo-print.jp/category/craft...
#数独 #sudoku pic.twitter.com/1OMyMwmbCY
posted at 18:00:01


「つまり、人と言うのはね、国とか周りの人とか、そういった
人達が掲げている「最低限」とされる目標と自分との間に
差が生じて、それに耐えられなくなった時に自殺を選ぶんだよ。」
タグ:
posted at 16:26:03

幽玄の間(【日本棋院公式】囲碁ネット対局 @UgenNihonkiin
『#幽玄の間』で行っている「DeepZenGo」と棋士との対局。一般棋士との対局を8月1日より開始しここまでDZGの、320勝12敗
過去棋譜は画面右上「保存棋譜」「サーバーに保存された棋譜」「ハンドルネームで検索」「DeepZenGo」「検索開始」で参照できます
#日本棋院 pic.twitter.com/WwZ7w1fUzk
タグ: 日本棋院
posted at 13:57:59

物理全くわからないので見当違いを言っている可能性が大きいのだけど、この【真の乱数であり得るのは量子乱数だけ】というのはとても強い主張だと思うのだけど、どのように立証されるのだろう。 twitter.com/Hal_Tasaki/sta...
タグ:
posted at 13:53:44


以下のアルゴリズムで発生させる「ランダム数生成機」って「真に」ランダムなでしたっけ?
①0から始める
①ステップnでは数nが形式的自然数論PAにおける定理の証明になっているかを判定する。
②証明にならば、その結論(PAの定理)のゲーデル数を出力
③証明でなければn+1へ移行
タグ:
posted at 12:55:48

理系の料理の時に天秤ばかりで調味料測ったり定規当ててミリ単位で材料切ったりする話見るたびに「使う先で求められてる精度もわからねえとかお前ホントに理系かよ」ってなるけどこれどっちかというと工学系だ
タグ:
posted at 12:43:14

「胸のサイズは大きくても小さくてもいいから、人間として普通にあり得るサイズで設定してくれ」と常日頃から思ってるけど、なかなかその思いは伝わらない。まぁ好みがあるんだろうなあ。
タグ:
posted at 11:36:44

私の息子は「バターもできないホモ牛乳」というトンデモ説に反発して、ホモ牛乳を遠心分離機にかけてバターを作った自由研究して、そこそこの賞を頂いた。当県は理科教育的には健全なのかな。
タグ:
posted at 11:33:44

なんで量子乱数が話題なのかわからないけど、俺最初量子乱数って要は|0>+|1>を測るだけでしょ?と思ってたけど、どこまで機器を信頼しなくても乱数性を保証できるか考えると量子力学の数理的構造とかがモロに顔を出してくるのを後から知ったので、量子乱数って勉強しないと面白さわからんと思う
タグ:
posted at 11:32:16

ここからだよね。等しいことは確かめた。じゃあ、なんで当初は「等しくないかもしれない」と感じたのか/1回まわすと1%の確率で当たりが出るルーレット - To Be Determined masashai.hateblo.jp/entry/2017/08/...
タグ:
posted at 10:35:05

奥に座っているのがCGIメインプログラマの吳さんです。
読み筋表示など、人間用のサポート機能を一晩で実装したそうです! pic.twitter.com/t1MtPpXniK
タグ:
posted at 10:03:03

おっしゃることはわからないではないです。ですが、
A)いや普通はそれ言わんだろう、ということを言う人に閉口する社会
B)何を言ってはいけないかが暗黙に決められ、理不尽に非難される社会
でどちらがマシか?となると私はAを選びたいです。(リーズナブルに両方を阻止はできないなら) twitter.com/Bed_gentleman/...
タグ:
posted at 08:31:04

データ見たら1位~4位を決めるのに4対戦してたから、そこまで運ゲーではなかった。訂正。
(ただまぁミニマップ4人なのでまぁ別ゲー・・・。)
twitter.com/chokudai/statu...
タグ:
posted at 03:27:51