merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2017年08月15日(火)
藤井聡太に刺激を受けて久しぶりに将棋の本を読んでみた。「将棋・序盤完全ガイド」という本、いきなりいいのに当たった。細かい手順の差異には踏みこまず、その戦法の変遷、大体のプランを図で示してくれる。こういう本ってチェスにはあるんだよな。囲碁でやれば売れるのに。
タグ：
posted at 00:30:00
算数で「まだこのやり方は習っていないからバツ」は基本的に理不尽だとは思うのだが（個人的に経験あり），一方で，例えば高校数学で極限計算にロピタルの定理を使う，みたいな事例との兼ね合いは気にはなる．何がどうなれば使うことが許されて，あるいは許されないのか，その峻別を言語化できるのか．
タグ：
posted at 00:50:19
Visual Studio 2017 Update 3正式リリース | ++C++; // 未確認飛行 C ブログ ufcpp.net/blog/2017/8/vi...
タグ：
posted at 02:48:43
非公開
タグ：
posted at xx:xx:xx
先日の #ebisucpp で丸めのはなしがあったので書いてみた。
「x86/x64における小数から整数への丸め処理命令の変遷」
blog.cybozu.io/entry/2017/08/...
改めて数えてみるとx86には小数を整数に丸める命令が6種類もあるんだなあ。
タグ： ebisucpp
posted at 08:32:06
長男が、あいうえお順のうんこ漢字辞典が欲しい、ということだったので、がんばって２時間くらいで手動でデータベースを作って、texに変換するスクリプトを作って印刷（１２ページ）した。小学二年の漢字だけでも１６０字あって大変だった。例文は長男が考えてくれた。 pic.twitter.com/9M0S4xRLYz
タグ：
posted at 12:19:47
温厚なムーミンさんでも、メニューに「コーヒーは甘み抜きで注文できます」って書いてあるから「甘み抜きでお願いします」って頼んだのに「ガム(シロップ)抜きですね」って言い直されたらキレるよ。
タグ：
posted at 14:39:19
@sorim_naoki @acceleration こちらこそ光栄です。間違いなく、運が入る方がレベル高いです。「論理的に見出した」の大半は、運で見つけたものを後付けでそう言っているだけです。
タグ：
posted at 16:47:55
そりゃ、世の中、全てを自分で確かめ、確認しておくのが理想だけど、そんなのは人間には無理でしょ？世界は「信頼性の鎖」で成り立っていて、自分の守備範囲の先は、どんな分野でもある程度は専門家を信用しなきゃ生きていけないんですよ。
タグ：
posted at 17:35:15
非公開
タグ：
posted at xx:xx:xx
MarriageTheorem @MarriageTheorem
「筆算に定規使用を強制」の多々ある問題点の一つとして「生徒が「他者に思考を伝達するための筆記」と「自身が思考する道具としての筆記」を混同するのでは」と懸念している。これは「ノート点」（自分が読むためのノートなのに、他人が読めるように書くことを強いる）とも共通する問題だと思う。
タグ：
posted at 19:04:54
3次元で固有値がα,α,βのときの、αに対する固有空間は1次元の場合と2次元の場合がある。両者の違いがイメージできたらたぶん理解が一段階進むはず。がんばろ。
タグ：
posted at 19:57:41
