merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2017年05月28日(日)
学生の飲み会みたいなの数回参加したけど高い金払ってこの飯食うかみたいなところがあり、まああと単純に自分が主導権を握れないタイプのハイテンションが苦手という話もあって、片手で数えられるほど(31ではない)しか行ってないですね(皆さん、社交的にならなくても生きていけます)
タグ：
posted at 00:28:59
人と会おうとなったとき、飲み会でも悪くはないけど他にもっと好きな方法がいっぱいある、という気持ちはある。仲良い友人と会う時、飲み会よりはボルダリングセッションした方が楽しいし、IMOの問題を一緒に解いてた方が楽しいし、素数大富豪やってた方が楽しい。
タグ：
posted at 00:34:27
飲み会、しゃべりたいだけなら公園のベンチでもええやん、なんでわざわざ狭苦しいところに押し込まれた上に金まで払わなあかんねん、という主張を毎回してるんですが、全然賛同が得られない
タグ：
posted at 00:41:55
非公開
タグ：
posted at xx:xx:xx
ACTIVE GALACTIC @active_galactic
現行デスクトップはメモリを128 GBまで積めるけど，大規模な計算をするにはとても力不足なので，結局，どこかのサーバーに頼らざるを得ないし，ローカル端末を強化したところであまりメリットはない。
タグ：
posted at 07:22:46
実際の天気予報でもわずかに異なる複数の初期値からの予報を同時に計算することが行われていて、一定の予報期間を超えると解がバラバラになり個々の予測が意味をなさなくなる。これを逆手に取って(?)確率的な情報を与えるのが、週間予報などで広く用いられているアンサンブル予報。 pic.twitter.com/2Bh8NTHoQe
タグ：
posted at 08:25:03
まあ、競プロにはレーティング1900くらい (秋パンで初段を1個くらいは落とせるくらい) でも初心者を名乗る人がいるけど、本当の初心者からするとそれを見るのは辛くなるというのは、ボルダリングをやってはじめてわかった。
タグ：
posted at 13:11:32
「競プロが就職の道具になってて悲しい」みたいなツイートを見るんだけど、僕としては「就職にそのまま繋げられた方が、そうでない場合と比べて競プロ時間確保出来るよね」と思ってるし、就職関係ない人にAGC/ARC/ABCこんだけ提供してるのに何が不満があるのか全く分からない。
タグ：
posted at 15:20:02
Twitter公式の機能で、「自分のツイートに自分でリプライをつけると、自分のリプライが一番上に表示される」って言うのがあるんだけど、これのお陰で補足ツイート後のクソリプが３割減くらいになった気がするので、だいぶ神機能だと思ってる
タグ：
posted at 15:42:27
結果としてデマを広めてしまったことになり大変反省しているが、あれを投稿した当時は、あんな明らかに嘘のツイートを信じる人間が存在するとは想像できていなかった。
タグ：
posted at 16:24:32
囲碁や将棋で、序盤に持ち時間を使うの人がいるのは、そうしない人にとっては、なかなか理解できないことかもしれない。一方で、試験勉強を始めるのや、レポートや原稿を書き始める前に、気分が高揚するのを待つべく、時間を使うのは、珍しいことではなく、多くの人が経験し、理解できるところか。
タグ：
posted at 20:29:23
チェスが大会で初心者にも上級者と等しく1時間以上の持ち時間を与えてくれるのは、同条件で競うのが公平という理由のほかに、レジャーとしての考える楽しみを尊重してくれてるからじゃないかとも思ってるんだよね。
タグ：
posted at 20:56:07
(エラリプ)日本の職人技術が廃れた原因の一つは新しい需要の開拓ができなかった事だと思っている。職人技術は凄いものは凄いけど、欲しいと思う作品はあんまりない。時代に合わないものも多い。日本刀をステーキナイフに応用した例みたいに、新しい市場をどんどん開拓して欲しい。
タグ：
posted at 22:37:20
今こそ厳密な探索とヒューリスティクスを用いた探索を組み合わせる方法を真剣に考える時だ ＊左下の死活はどうなる？ twitter.com/yinyin_liu/sta...
タグ：
posted at 23:13:27
2017年05月29日(月)
常識とか人間性とかそういうの、決して内面化することは求められていなくて、「単に知識として持っておいてさもそれを内面化しているように振る舞っておくと波風が立たない」という生存テクに過ぎないということに最近やっと気づいた
タグ：
posted at 01:10:27
さっきのミーティングでされた質問に対して、"Yes, but Japanese yes."と答えたところ笑ってもらえたので、おそらく「前向きに検討していきたいと思います」のニュアンスは正しく伝わったと思われる。
タグ：
posted at 10:22:18
壁登り、もし3級が登れるようになったら、自分のようなセンスない人間でも3級になれるということで、『猿でも登れる3級』という本を書こうと思ったけど、猿が登れるのはそりゃそうだった。
タグ：
posted at 10:26:29
未来の碁サミット。www.youtube.com/watch?v=wvAkGg... ペア碁。序盤で黒勝率75％まで上昇するも古力九段が2回間違えて逆転されてしまったようです。「ペア碁女流棋士の気持ちが分かった？」と言われてしまいました。と局後に古力九段が自虐ネタを披露。
タグ：
posted at 10:49:46
詰将棋は時間をかけても良い作品が出来るか分からない。指将棋はやればやる分だけ強くなる。指将棋にハマる詰キストの気持ちは良く分かるが、いずれ詰将棋に戻る事になりますよ。
タグ：
posted at 12:17:00
真面目な話、15歳以上くらいで18歳以下な男性は、「性的コンテンツを見てはいけないってことになってるけど、見ない人はあんまりいない」という状態で、規則を破って見てしまうのが常習化するので、現代の制度マジでよくないと個人的には思ってるよ。
タグ：
posted at 13:02:44
今気付いた。。。
人間と碁を打つのはこんなにも楽で楽しいことだったのか。。。
碁っていいな。。。
AlphaGoから受けたダメージからの回復はまだまだ先とはいえ、LG杯1回戦で楽勝した直後に早速上記Weiboを投稿し大口をたたき始めた柯潔九段(笑) pic.twitter.com/bJWElFHlZJ
タグ：
posted at 15:05:18
use ubnt_intrepid::p @ubnt_intrepid
C++17の進化を見ていても「もっと早く来ていれば…」と思ってしまうし心がすさんでいる
タグ：
posted at 16:05:06
どちゃ楽数学bot(再稼働準備中) @solove_math
[問題募集]
「強い定理からクソみたいな命題を示す」問題の寄せ集めを作りたいと思っています。良い案があればください！
以下はサンプルです。 pic.twitter.com/mDGMW3GgFI
タグ：
posted at 17:39:42
未解決問題というと世界にドラゴンボールと同数あって解くと100万ドルで幾人もの数学者が人生をかけて解けずに死んでいったイメージがあるかもしれない。しかし、ある分野内ではそこそこ有名な問題で、色々な人が暇つぶしに考えてみたけどまだ解けてない、くらいでも未解決問題というのである
タグ：
posted at 19:02:04
実はx86の拡張命令に半精度・単精度の相互変換命令はあったり。(F16C)
IntelではIvyBridge以降AMDではPiledriver以降ならば対応している。
残念ながら1要素用の命令はないみたいだけど。 twitter.com/yaneuraou/stat...
タグ：
posted at 19:56:29
非公開
タグ：
posted at xx:xx:xx
Rustは
・大きな変更点はRFCという形で提案して議論してから実装される
・破壊的な変更点はまず警告を出してある程度待ってからエラーにする
・破壊的かわからない時は既存のライブラリに対して大規模なテストを回す
・全てのPRはマージ前にテストされる
あたりがすごい
タグ：
posted at 22:21:22
非公開
タグ：
posted at xx:xx:xx
