noteのマガジン機能を使って、いろんな人の技術書典関連noteがまとめられてる。これは(書く側にとっても読む側にとっても)すばらしい。 #技術書典4 まとめ #技術書典|湊川あい@わかばちゃんと学ぶ本 発売中|note(ノート) https://note.mu/llminatoll/m/m8d1efc301f53
2018-04-24 (Tue) 20:27:50

質問(数学の能力を測る方法) 私はあまり詳しくないですが、確かに数検は一つの目安になるかもしれませんね。(続く) #結城浩に聞いてみよう https://ask.hyuki.net/q/20180424163559 https://t.co/bvm5efYZZ0
2018-04-24 (Tue) 16:38:23

#今日のGolang 結城が「マイナス回のループ」というお題を出したら梵天先生が「借金」という概念で答えてくださったので、Goのクロージャで実装してみました。 https://play.golang.org/p/TI2_RSkz-C_U https://t.co/Qp8h7gNJ1r
2018-04-24 (Tue) 13:25:09

質問(プログラムを読む手順) 慣れた言語だと読むのは早いですけど慣れてないと遅いですね(当然)。読むときの目的で手順は変わりそうです。(続く) #結城浩に聞いてみよう https://ask.hyuki.net/q/20180424114359 https://t.co/Q2LeJEwLcq
2018-04-24 (Tue) 11:45:37

「森を抜けて仕事場へ」来たけど、ツイートしてなかったっけ。ともかく、今日のお仕事を始めましょう。今日もいろんなお仕事を今日一日分だけ進めていきましょう!
2018-04-24 (Tue) 09:20:50

#技術書典4 で話題になっていた #マンガでわかるDocker のPDFダウンロード版がnoteで売っていたので買いました。抽象的な概念がキャラになっててわかりやすい。購入して即読み始められるのはいいですね。 https://note.mu/llminatoll/n/n4f419db0effc
2018-04-24 (Tue) 08:51:35

質問(LaTeXをすらすら書くには) ある程度の量を書いて慣れる必要はありますね。「自分がよく使う典型例のストック」をコピペすることも多いですけどね。(続く) #結城浩に聞いてみよう… https://twitter.com/i/web/status/988557622759407616
2018-04-24 (Tue) 08:17:58

(よくわかっていないで書いています)DNSブロッキングならば、ユーザがIPアドレスを直接入力したらブロックされないですよね。とすると「例のサイトのIPアドレスはこれだよ。ここはブロックされてないよ」などという真偽不明の情報が出回り… https://twitter.com/i/web/status/988422059851112449
2018-04-23 (Mon) 23:19:17

#今日のCoq テキストp.40から自然数の形式化に入ります。とりあえずスクリプトを写経して一行ずつ読み込みます。テキストでは「一行読み込む」だけど気持ちとしては「評価」なのか「実行」なのか「証明」なのか。ともかく進みます。
2018-04-23 (Mon) 21:38:55

たとえばこんな恋の歌。 人知れぬ思ひのみこそわびしけれわがなげきをば我のみぞ知る https://note.mu/hyuki/n/nc7e73472698f #紀貫之 (きのつらゆき) #古今和歌集 606 #jtanka #短歌 #恋 "人知れず燃え… https://twitter.com/i/web/status/988388475312394240
2018-04-23 (Mon) 21:05:50

#今日のGolang Goでは関数を関数の引数に与えることができます。以下のプログラムではiterateという関数を引数にとる関数を定義して実行しています。三つ目のcollatzはコラッツの問題。… https://twitter.com/i/web/status/988311826474483713
2018-04-23 (Mon) 16:01:16

質問(本を書くテンションを保つための工夫) 「もうこのぐらいでいいことにしようか」と思うことはあります。それは疲れているときなので、続きは明日にします。(続く) #結城浩に聞いてみよう… https://twitter.com/i/web/status/988303154281234433
2018-04-23 (Mon) 15:26:48
もっと見る