「ひとりSlack」の話題。結城は最近ひとりでSlackを使っています（いまのところ無料プラン）。以前も書いたように私の使い方は「過去ツイートを再編集できる鍵付きアカウントのTwitter」という使い方をしています。Twitterの場合はフローとして流れていきますし、publicなので制約があります。
posted at 00:11:33
| Stats | Twitter歴 4,053日（2007/04/21より） |
ツイート数 211,028（52.0件/日） |
表示するツイート :
2018年05月25日(金)42 tweetssource
でも「ひとりSlack」の場合にはTwitterの感覚で書くのだけれど、誰も見ていないので「まだ形が定まっていない情報」もあれこれいじることができる。気になることはまずSlackで投稿しておいて、後から読み返して再編集したり、（ここが大事なところなのだが）時間をとって考えることができる。
posted at 00:13:18
フローとストックは両方とも大事なのだけれど、最近よく思うのは「それについてどのくらい時間を掛けて考えたか」がとても大事なのではないかということ。情報を大量に自分のHDDに保存したからといって（まあ悪くはないけど）、何がどう変化するというのか。
posted at 00:15:19
情報はそれほど多くはなくても、一つ一つ吟味することの方が大事ではないかとも思う。いや、比較するものでもないんですけどね。流れてきた情報にパッと反応するのが偉いわけではない。これはいいね、これはRT、これはブックマーク、これはシェア……そのプロセスは自分の知見をどれだけ増したか。
posted at 00:16:48
そこで「ひとりSlack」である。Twitterのような感覚で「投稿」する（読むのは自分しかいないけど）。IFTTTで情報を流す（読むのは自分しかいないけど）。Twitterから共有する（読むのは自分しかいないけど）。そういう状態でときどき「ひとりSlack」を眺める。すると、
posted at 00:18:16
そこには自分がちょっと関心がある話題がいろいろ転がっていることになる。それを読み返して、思いついたことがあればそこにコメントを付ける。Slackではスレッド機能があるから、一つの投稿から枝を広げるように自分のコメントをぶら下げていくことができる。書くのも読むのも自分だけ。気楽に書く。
posted at 00:20:13
大事なのは「読み返して、コメントを付けたり、再編集したり」という部分だ。Twitterでもリプしたりできるけれど、再編集はできない。いきおい、何度も似たようなことをかいたりしちゃう。でもSlackだと再編集ができるから、そこで「考える」時間を取ることになる。
posted at 00:21:43
ツールは、助けてくれるだけなのだ。自分の考えや活動や処理を加速してくれるだけ。コアの部分、ほんとうに価値のある何かを見つける部分は、自分が一人で頭を回転させる時間を取ることで生まれてくる。
posted at 00:23:14
「あ、これ、好き」「あ、これ、おもしろそう」「あ、これ、やってみたい」「あ、これ、役に立ちそう」「あ、これ、……」というのを続けていくのは楽しいし、知的活動をやっている気分にもなるし、実際世の中の動向をキャッチする役には立つ。でも、表面的だ。
posted at 00:24:50
「あ、これ、好き」とある瞬間に思い、それを記録しておく。それはいい。でもその情報が一週間以上放置されていたら、何か意味があるだろうか。「あ、これ、好き」と見つけたものがあって、それをもう一度ふりかえって、そこをベースに何かを考える。その時間はどこにある？
posted at 00:27:07
「ひとりSlack」がそれをすべて解決してくれるとかそういう話ではなく、自分がこれまで使ってこなかったツールを使ってみると、新しい発見があるものだなという話。確かに毎日Evernoteに保存して読み返してはきた。でもiPhoneのEvernoteクライアントはいまいち遅い。
posted at 00:29:03
「メールの書き方」を説明するのはどうして難しいか（コミュニケーションのヒント）［自動投稿］https://mm.hyuki.net/n/n6c3bc65a5817
posted at 00:30:02
読み返す手間を軽減し、読み返す時間を短縮してくれるので「ひとりSlack」を自分があれこれ思う情報置き場にしておくのはいいかもなあといま思っているところ。EvernoteのInboxを外に出している感覚かもしれない。
posted at 00:30:27
SlackはWeb時間でいうと新しいツールじゃない。実際私もアカウントは昔から持っていた。でもふだん一人で仕事しているから、情報共有ツールのありがたみはあまりないのであった。
posted at 00:31:37
でもここ数週間のあいだに何人かのSlackの記事を読んでいるうちに、自分でもSlackを使いたくなってきたのです。といってもひとりで仕事をするスタイルが変わったわけではないので、「ひとりSlack」という形なのですけれど。
posted at 00:32:41
ながなが自明なことを書いてしまった。いったん連ツイを閉じましょう。
posted at 00:33:28
今回の連ツイはRenTweeterというブックマークレットを使って行いました。
https://snap.textfile.org/20160329133459/
posted at 00:34:00
『数学ガールの秘密ノート／場合の数』
順列・組み合わせは計算すれば求められる。でもそれは、何をやってることになるんだろう。《数える》って、いったいどういうこと？
http://note7.hyuki.net/ https://pic.twitter.com/WZg52CtFVA
posted at 00:36:27
「見よ、わたしはあなたがたのために、天からパンを降らせよう。民は出て日々の分を日ごとに集めなければならない。こうして彼らがわたしの律法に従うかどうかを試みよう。六日目には、彼らが取り入れたものを調理すると、それは日ごとに集めるものの二倍あるであろう」
出エジプト記16より
posted at 06:03:20
おはようございます。
posted at 06:03:32
@risingsun3s ありがとうございます
posted at 06:05:50
数学ガールはコンプする予定
Retweeted by 結城浩
retweeted at 06:17:39
@novlude フリクションボールペン🖊と画像加工です😊
posted at 06:28:27
#ひとりSlack
寝床でゴロゴロしながらiPhoneでWebページを見る。面白い話題を見つけたら共有で自分のワークスペース（Slack）に送る。なぜ面白いと思ったか、ひとこと書いておくとブクマ代わりになる。検索しやすいキーワードを入れるのもいい。流すチャンネルを選べば分類もできる。 https://pic.twitter.com/YXuWe6OIXj
posted at 06:47:10
#ひとりSlack
パシャパシャスクリーンショット撮ったはいいけれど、いろんなの撮っているうちにわからなくなったり検索もできないのは困る。ひとことコメントもつけたい。そんなときに写真アプリから共有メニュー経由でSlackに送る。複数まとめても送れる。その写真が何なのかコメントもつけられる。 https://pic.twitter.com/QB6zByKbwH
posted at 06:57:23
#ひとりSlack
送られてきたSlack側で見るとこんな感じ。ツイートと似ている。さらにここからスレッド作って考えたことを付記していける。見てるのは自分だけ。ツイートと違うのは、Slack上で好きなだけ再編集できること。 https://pic.twitter.com/GZPdB4oWIx
posted at 07:01:43
#ひとりSlack
Slackもいいけど自分はEvernoteにストックしてるからなあ…という人（私だ）は、SlackからEvernoteに転送しちゃえばいい。Slackの中にEvernoteアプリを入れてから、/clip yesterday と一行投稿すると昨日一日の投稿がEvernoteに送られる。期間指定方法は/clip helpと入力すればわかる。
posted at 07:06:57
金曜日は『数学ガールの秘密ノート』の日。最新回は一週間無料で読めます。公式RTしてから読みにいってね！
「関数を組み立てよう」第3章 第225回 第225回 最小上界を求めて（前編） https://bit.ly/girlnote225
posted at 07:10:49
こんな話題もまとめて「結城メルマガ」に書きたいな。楽しく読めて元気が出る「結城メルマガ」は毎週火曜日配信です。
https://mm.hyuki.net/m/m73f865053b52
posted at 07:16:11
〆切は本日。
https://twitter.com/hyuki/status/998813948957736960?s=21…
posted at 07:50:39
金曜日は『数学ガールの秘密ノート』の日。最新回は一週間無料で読めます。公式RTしてから読みにいってね！
「関数を組み立てよう」第3章 第225回 第225回 最小上界を求めて（前編） https://bit.ly/girlnote225
Retweeted by 結城浩
retweeted at 08:27:34
@novlude ちなみに撮影と画像加工すべてiPhoneでやりました
posted at 08:38:58
@novlude こちらにもいろいろあります
https://www.instagram.com/hyuki0000/
posted at 08:39:56
第225回 最小上界を求めて（前編）｜結城浩 @hyuki ｜数学ガールの秘密ノート https://cakes.mu/posts/20972
これは2,3回読み返したい！「当たり前じゃん！」っていう定理が成り立つということは、数学が「当たり前」を論理で再現できているということなんだなあ
ところで最後のは誰のセリフか……笑
Retweeted by 結城浩
retweeted at 08:41:10
@novlude 👻😊
posted at 08:52:14
森を抜けて仕事場へ。
posted at 08:54:13
「ポケット一つ原則」に従ってEvernote使ってるのですが、最近iPhoneで使いにくく感じてしまって、Evernoteに入れる前のInbox的にSlackを使い始めています。 https://twitter.com/kosequrage/status/999800321630072832…
posted at 09:00:19
数学ガール読んでて睡眠不足
Retweeted by 結城浩
retweeted at 09:04:45
海外のWebサービスからはGDPR絡みのお知らせが来るが、日本からは来ない印象
posted at 09:09:59
それでは、今日のお仕事を始めましょう。おとといに続いてNOTE10の作業を進めます。ところでレビューア募集の〆切は今日ですのでご注意ください（リンク参照）。すでに500人ほどの人がごらんになっていらっしゃるようです。
https://math.hyuki.net/20180522144132/
posted at 09:25:06
二時間。全体の構成し直しは終わったけれど、まだまだあちこちバラバラですねえ。全体を調整するのはいったん止めて、みっちりと章を固めていかなくては。そろそろお昼ごはんにして、午後は頭を使わない作業を進めることにしましょう。
posted at 11:27:58
人生つらいから数理解析学概論と数学ガールのポアンカレ予想を読んでる https://pic.twitter.com/aG0QeL98Qi
Retweeted by 結城浩
retweeted at 11:28:32
2018年05月24日(木)114 tweetssource
@yuki_o 「大変話題になった投げ銭システム」って何でしたっけ
posted at 00:03:02
そんなあなたに、
「結城浩」と「Spectre」は違います（Hiroshi Yuki differs from Spectre.）
http://www.hyuki.com/icon/#spectre https://twitter.com/sasayu_n/status/998777171731623936…
posted at 00:06:53
結城浩さんやその周辺のツイートに触発されてネイピア数eについて勉強した。専攻の理論でバリバリ必要なのにずっと「なんとなく」で済ませていたやつ。今ならマクローリン展開と戦える気がする。 https://pic.twitter.com/93398u1ET3
Retweeted by 結城浩
retweeted at 00:08:41
質問（フォントへのこだわり）
いや、私ごときがフォントにこだわりなどといえません……が、それはさておき、子供のころに7セグメントのLEDを初めてみて感動したのを思い出しました。（続く）
#結城浩に聞いてみよう
https://ask.hyuki.net/q/20180524001019 https://pic.twitter.com/JCObb5hnXq
posted at 00:11:34
NEC PC-9801のフォントが好きでした。クーリエフォントが好きです。METAFONTでフォントを自分で作れるということに感動しました。WindowsからMacに移った小さからぬ理由はヒラギノでした。数学ガールではAMS Eulerを使っています。言葉が好きで文字を見る機会が多いので、若いときからフォントは好き。
posted at 00:14:50
フォントへのこだわりというのとは少し違いますが、小学生のころグラフ用紙が好きで、マス目を埋めて文字を作るのが好きでした。ある書籍でモナリザの画像をタイプラターで作った画像があって、とても感動した記憶があります（すでにフォントの話ではない）。
posted at 00:16:29
あまりにも感動して、そのタイプライターで描いたモナリザを手描きでノートに書き写したことがあります。当然ながら、それを少し離れて見るとモナリザに見える。ラスタライゼーション（？）というか、グレイスケールというか、手描きでディジタイズを楽しんでいました。
posted at 00:18:18
フォントの話でいうと、二十歳くらいのころにカリグラフィをならったことがあって、あれは非常に楽しい経験でした。絵画と文字の融合といいましょうか。カリグラフィの先生が言った言葉。「あなたはプリンタではないのですから、線が多少曲がるとか大きさが多少変化するというのは小さなことです」
posted at 00:21:09
数年前にZapf展が六本木で開催され、非常に楽しみました。日記にも簡単に書きました。そのときに購入したZapfの本"Alphabet Stories"は、いまでもすぐそばの本棚に置いてあります。
http://www.hyuki.com/d/201109.html#i20110924232221…
posted at 00:25:08
実はフォントで苦労（工夫）したのは『数学ガール／ゲーデルの不完全性定理』でした。形式の世界と意味の世界（対象の世界とメタの世界）を行き来する中で、フォントの使い分けは助けになるからです。
posted at 00:27:16
結城浩『絵本を読むときのパターン・ランゲージ』Kindle版［自動投稿］https://www.amazon.co.jp/exec/obidos/ASIN/B00AIZ3NFQ/hyuki-22/…
posted at 00:30:02
たとえば、同じゼロを表すときでも、どちらの世界の話なのかを区別するためにフォントを分ける。nやfも同様。 https://pic.twitter.com/c9qKl3vZEY
posted at 00:30:50
こういう種類の「こだわり」は好きです。単に美的にどうこうとか、衒学的にどうこうというのではなく、違うものを「違うもの」として提示するためにフォントを利用するという考え方です。それは読者が読むときの助けとなるでしょうから。
posted at 00:32:38
ああ、そろそろ寝なくちゃ……以上です。
posted at 00:33:11
結城浩『絵本を読むときのパターン・ランゲージ』Kindle版［自動投稿］https://www.amazon.co.jp/exec/obidos/ASIN/B00AIZ3NFQ/hyuki-22/…
Retweeted by 結城浩
retweeted at 00:34:26
結城浩は『数学ガールの秘密ノート／行列が描くもの』という書籍を執筆中。この本の原稿を読んでレビューしてくださる方を募集しています。以下をよくお読みの上、ご応募ください。RT歓迎。
『数学ガールの秘密ノート／行列が描くもの』レビューア募集
https://math.hyuki.net/20180522144132/
Retweeted by 結城浩
retweeted at 00:34:45
「あなたがたは恐れてはならない。かたく立って、主がきょう、あなたがたのためになされる救を見なさい。きょう、あなたがたはエジプトびとを見るが、もはや永久に、二度と彼らを見ないであろう。主があなたがたのために戦われるから、あなたがたは黙していなさい」。
出エジプト記 14 より
posted at 06:45:36
おはようございます。
posted at 06:45:44
一週間くらい「日大」や「記者会見」をキーワードミュートしようかな
posted at 07:00:45
期限付きキーワードミュート機能があるといいのにな。一ヶ月くらいで元に戻るの…と思って調べたら、すでにあるじゃん！
posted at 07:03:32
Twitterでキーワードをミュートする方法（期間指定も可能）
プロフィールと設定＞ミュートするキーワード＞追加
https://twitter.com/settings/muted_keywords… https://pic.twitter.com/u4mvOuVXIU
posted at 07:35:05
少し見るだけでは本当の良さが分からないかもしれないくらいすばらしい２冊 https://pic.twitter.com/mooyyATVyg
Retweeted by 結城浩
retweeted at 07:42:19
質問（アイコン）
「スレッドお化け坊や」という名前です。詳しくはこちらに。
http://www.hyuki.com/icon/
#結城浩に聞いてみよう
https://ask.hyuki.net/q/20180524074857 https://pic.twitter.com/pcvmr6XfFM
posted at 07:50:15
数学の勉強はゆっくりでいい https://mywarstory.tokyo/be-patient-to-enjoy-math/…
Retweeted by 結城浩
retweeted at 08:02:13
@hyuki リプありがとうございます😊 楽しく読むことができました。もっと早く数学ガールに出会えていれば！とよく思います。
Retweeted by 結城浩
retweeted at 08:08:30
@Aya_1810 ぜひあなたの周りの方にもご紹介を！😊
posted at 08:08:59
森を抜けて仕事場へ。昨日の教訓を生かして上着を着てきたが誤ったフィードバックだったようだ。暑い。
posted at 08:27:31
気温の変動と対策が逆位相
posted at 08:28:12
自分が一冊本を読む間に、読みたい本が何十冊も出てくる
posted at 08:37:40
そういえばVALUをミュートしているわけではないけれど、ここしばらくTLでVALU関連を見た記憶がない
posted at 08:40:43
キーワードミュートではなくアカウントミュートしている可能性
posted at 08:41:29
最近はずっとブロックしているアカウントはゼロになっている。ミュートしているアカウントはたくさんある。ミスでミュートすることがよくあるのでときどき見直す。
posted at 08:44:06
『数学ガール／ポアンカレ予想』は、六年ぶりの本編「数学ガール」シリーズ最新作（第六作目）となります。たいへんお待たせいたしました。どうぞ応援よろしくお願いいたします（ぺこり）。
http://www.hyuki.com/girl/poincare.html…
Retweeted by 結城浩
retweeted at 08:44:49
Webですぐ読める「結城メルマガ」最新号はこんな内容です！
■チームの仕事
■障害者に配慮した環境
■「好き」だけを理由に院進していいか
■いい編集者とは
■わからない子に教える
■自分の文章を読んで嫌悪感
■互いに愛し合う
https://mm.hyuki.net/n/nb69967be627d
Retweeted by 結城浩
retweeted at 08:45:08
応募〆切は明日の金曜日です。
https://twitter.com/hyuki/status/998813948957736960?s=21…
posted at 08:46:53
物理に詳しい人の意見を聞いてみたい https://twitter.com/livedoornews/status/999082826518560768…
posted at 09:02:19
それでは、今日のお仕事を始めましょう。今日はcakesでのWeb連載「数学ガールの秘密ノート」を書く一日です。「関数を組み立てよう」シーズン第3章の前編。先週の「ロルの定理」の続きです。
https://bit.ly/girlnote
posted at 09:07:30
金曜日は『数学ガールの秘密ノート』の日。最新回は一週間無料で読めます。公式RTしてから読みにいってね！
「関数を組み立てよう」第2章 第224回 平均値の定理（後編） https://bit.ly/girlnote224
Retweeted by 結城浩
retweeted at 09:07:43
@skoji わざわざすみませんです…せめてインスタンスをなくすときのお作法があればいいのですが…
posted at 11:58:26
そろそろお昼にしましょう。
posted at 12:09:35
数学ガールの新刊 ポアンカレ予想が出てるやんけ！
買わねば！
使命感…
Retweeted by 結城浩
retweeted at 12:11:11
課題とかが忙しくて数学ガール読み切れなかったし図書館で借りるんじゃなくて買うか
Retweeted by 結城浩
retweeted at 12:12:37
上着は暑かったかなと思ったけど、冷房が効いているのでちょうどいい感じ
posted at 12:17:44
数学ガールの著者 結城浩さんにRTされた！！感激！！
ちなみに数学ガールは全巻持ってますwww
Retweeted by 結城浩
retweeted at 12:22:23
@hizumi_fx_ ありがとうございます😊
posted at 12:22:31
質問（数学のポスドク、将来への不安）
将来は見えないので不安になるものですよね。まずは情報収集ではないでしょうか。たとえばあなたが思う企業に知人はいないでしょうか。（続く）
#結城浩に聞いてみよう
https://ask.hyuki.net/q/20180524122347 https://pic.twitter.com/iWzc0H9MbV
posted at 12:26:17
経済的な不安にしてもまずは概算でいいから年齢と能力と相場を考えつつ予測するところから。鵜呑みにしないように注意しつつも情報収集です。私自身はアカデミアにいたわけでもないし会社勤めでもないので具体的情報は提供できません。ごめんなさい。
posted at 12:29:56
全体像を見せる（教えるときの心がけ）［自動投稿］https://mm.hyuki.net/n/nf8025d67706c
posted at 12:30:03
好きな研究ができるのは結構なことですが、自分の人生を長い目で見る部分も必要です。ご家族がおありになるか不明ですが、もしいらっしゃるならよく話し合うことは必要になります。
posted at 12:33:39
ともあれ、いろんな方と話してみるのは悪くはないと思います。その中で「そもそも私はどんなふうにこれから生きていきたいか」が他者との対比の形で明確になる部分もあると思います。がんばってください。
posted at 12:35:48
質問（専門外の人に専門的なことを説明するとき）
適切な具体例を見つけることです。（続く）
#結城浩に聞いてみよう
https://ask.hyuki.net/q/20180524123846 https://pic.twitter.com/eXcn2KVmMx
posted at 12:40:26
その分野について専門外の人は、専門的な知識や考え方を持ちません。でも知っていることはあります。知っていることに関連した、あるいは知っていることから類推できる、そんな例を使って伝えるのがいいですね。
posted at 12:42:26
可能ならば「普通に考えるとこうだけど、ちゃんと考えるとこう」のように、常識との差異がわかる説明だと面白くなります。
posted at 12:43:45
実際の役に立つ場合には説明は比較的楽ですが、そうでない場合でも、「いままでわかっていなかったことがわかる」「規則性、法則性、一貫性、意外性を伝える」ようにすると興味深く聞いてもらえる可能性が高くなります。
posted at 12:46:36
相手が非専門家であっても、あまり話を単純化しすぎないほうがいいこともよくあります（その塩梅は、相手の熱意て随分変わりますが）。媚びすぎるとかえって興味を失う結果になることも。
posted at 12:49:01
その反面、たくさんのことを一度に話しすぎるのは避けたほうが無難です。一つのことを深く、よく練った例ではなし、他のことはさらっと流すようなメリハリを効かせたほうが理解してもらいやすくなります。
posted at 12:50:26
良い例を見つけるというのは一朝一夕にはできないことなので、普段から探しておくほうがいいと思います。
そんなところで。がんばってくださいね。
posted at 12:51:40
s/熱意て/熱意で/
posted at 12:52:49
質問（想像力と記憶力、数学にどのくらい必要か）
それらの力を「このくらい」と表現する方法を知りません。必要になる分だけは必要、とはいえそうですが。（続く）
#結城浩に聞いてみよう
https://ask.hyuki.net/q/20180524125408 https://pic.twitter.com/1rPd497imK
posted at 12:55:58
想像力は（こういうことを言ってるのかな？）と考えるためには要りますが、想像しすぎるのは困ります。書かれたことを文字通りに受け取ることはときに非常に大事になります。勝手に概念を補わないようにしなくてはならない場合があるのです。
posted at 12:58:18
記憶力は、いま何を考えていたのかとか、どこまで話が進んだかとか、この場面で使えそうな技法はあるか、といったことを考えるためには必要です。でも記憶力が良すぎて、考える前に思い出そうとし始めるのはまずいことも。
posted at 13:00:00
そのように考えてきますと、想像力も記憶力もそれなりに必要ですが、それらをきちんと制御する力が大事であることがわかります。想像するのはいいが想像しすぎない。記憶に頼るのはいいが頼りすぎない。そういうことです。
posted at 13:01:22
@hyuki 早速大学の生協で新刊の方を購入させていただきました！(((o(*ﾟ▽ﾟ*)o)))
毎度数学の本質を突いた面白い素敵な話をありがとうございます. https://pic.twitter.com/r83pkaoEML
Retweeted by 結城浩
retweeted at 13:01:46
@hizumi_fx_ おー、ありがとうございます😊
posted at 13:02:00
〆切は明日の金曜日ですのでご注意ください。 https://twitter.com/hyuki/status/998813948957736960…
posted at 13:02:40
結城浩は『数学ガールの秘密ノート／行列が描くもの』という書籍を執筆中。この本の原稿を読んでレビューしてくださる方を募集しています。以下をよくお読みの上、ご応募ください。RT歓迎。
『数学ガールの秘密ノート／行列が描くもの』レビューア募集
https://math.hyuki.net/20180522144132/
Retweeted by 結城浩
retweeted at 13:04:21
「監督」もミュートしようかな
posted at 13:20:12
「こういうキーワードもミュートしては？」という私へのオススメは不要です。そもそもすでにミュートしてある場合には見えないし、私が見たくなさそうなものをお知らせされたくはありませんから。お気持ちだけいただいておきます。
posted at 13:27:34
@seldom_user_ クリアファイルは非売品です。こちらの追記に情報がありますのでよろしければ。
https://mm.hyuki.net/n/n6af32706eb17
posted at 13:30:03
@tsujimotter 関係ない話ですが、ダーツをどういう確率分布でポアンカレ円板に当てるかを想像していました。「一様分布」させたらほとんど確実に円周近くに当たるのかな…と。（ここでいう一様分布とは）
posted at 13:37:09
【都内に活発な雷雲が発生中 雷雨注意】 https://tenki.jp/forecaster/deskpart/2018/05/24/747.html… 今日(24日)は大気の状態が不安定。午後1時15分現在、都内に活発な雷雲が発生し..
Retweeted by 結城浩
retweeted at 13:38:33
社内でGo勉強会がなんかはやってるけど僕は天邪鬼なのでこれやってみようと思う / Goby: Rubyライクな言語（5）文字列編: 文字列とシンボルは同一、ハッシュキーはシンボルのみ、エンコードはUTF-8固定 https://techracho.bpsinc.jp/hachi8833/2018_05_24/56855…
Retweeted by 結城浩
retweeted at 13:49:48
Goby楽しそう
Roという言語はないのかな
posted at 13:50:27
「美しいと思える小説のタイトル」というハッシュタグがトレンド。微妙な曖昧さ。美しいのは小説なのかタイトルなのか（まあもちろんタイトル）。
「あなたが美しいと思える小説のタイトル」になると美しいものの候補に「あなた」が加わる。
posted at 13:54:56
曖昧さをなくすことを最優先にするならたとえば「タイトルが美しい小説」とする。すっと読める。しかしニュアンスは変わる。
posted at 13:58:11
質問（「すべて」と「ある」）
学校の教室で教えるならば「この教室にいるすべての生徒は未成年」や「ある生徒は名字が「さ」で始まる」みたいに。（続く）
#結城浩に聞いてみよう
https://ask.hyuki.net/q/20180524141004 https://pic.twitter.com/WSmBZwNrWq
posted at 14:12:39
ただ、そういうのではなく、整数を目の前にいくつか並べて、それを題材にした方が明確でわかりやすいと思います。「ある」の場合2個以上あってもいいとか、「すべて」の否定をするのに「ある」が使えるとか、人為的なパターンを作りやすいからです。
posted at 14:15:44
入れ子になった量化子の場合によく例に出てくるのは「すべての男性は、ある女性を好き」みたいなものですが、興味を引く反面、反感を買う場合もあってまずいことも。
posted at 14:17:37
(*'-'*) .｡oO（ちょうどいま書いている明日の原稿に出てくる…
posted at 14:18:20
(*'-'*) .｡oO（男性女性の話ではなく量化子の入れ子の話
posted at 14:18:56
それではそろそろ午後のお仕事を始めましょう。ときどき思うのですけれど、きっちり頭が動く時間って、一日のうちに4時間くらいしかないような。無理しても6時間。ともかくお仕事開始。
posted at 14:35:34
Hiroyasu Kamo ((φ→ψ)→φ)→φ@kamo_hiroyasu
@hyuki 入れ子ではなくドモルガンですが、「∀x[P(x)→Q(x)] と ¬∃x[P(x}∧¬Q(x)] は同値だよね」といわれてもきょとんとしていた人が、「『タクシー運転手はみな第二種運転免許を持っている』と『タクシー運転手で第二種運転免許を持たない人はいない』は同じことだよね」で納得してくれた経験があります。
Retweeted by 結城浩
retweeted at 16:46:53
あらもうこんな時間。これから図版を作ります。
posted at 16:48:14
やった！！！！！！学校図書にずっと読みたかった数学ガール追加された！！！！ https://pic.twitter.com/TND7McMVY2
Retweeted by 結城浩
retweeted at 16:48:38
@randomer____ おめでとう！！ありがとう！！
posted at 16:48:50
書評でつながる読書コミュニティ本が好き！@honzuki_jp
『数学ガール』シリーズ6作目！「僕」の家庭の事情が少し垣間見えます。 『数学ガール/ポアンカレ予想/結城浩/SBクリエイティブ』 http://bit.ly/2GKQYAc #本が好き
Retweeted by 結城浩
retweeted at 16:50:13
たまには野球以外のツイートを…。
出先で見つけた喫茶店で休憩。結城浩先生の『数学ガール ポアンカレ予想』を購入したので、これから読もうと思います。待っていました、位相幾何学！楽しむぞ～！😊 https://pic.twitter.com/tmHWLuDRMk
Retweeted by 結城浩
retweeted at 16:50:18
「数学ガール」
読み物としていい。本編は「ゲーデルの不完全性定理」とかやべえ議論がなされるけど番外編「秘密ノート」は高校数学の内容なのですごく馴染みやすい
本編はやばい。青春小説なんだけどヒロインの子がオイラーの公式の創出を始める
Retweeted by 結城浩
retweeted at 17:02:22
〈空集合〉[脱線]
☆いいところ
・全集合の部分集合になれる
・部分集合が自分だけ
・濃度(要素の個数)が0
・写像を考えると0の0乗が1となり積年の謎が解決される
・φ(ファイ)とは別に記号(∅)が用意されている
☆残念なところ
・∅
Retweeted by 結城浩
retweeted at 17:06:48
そういえば先日ある本で論理式をφで書いてあった（本は悪くない）のを空集合だと私が誤解してしばらく悩んだことがあったのを思い出しました。
posted at 17:08:41
生協にて素晴らしいコーナーを発見した
いつか数学ガール全巻揃えたいな https://pic.twitter.com/Yw1TGfcq25
Retweeted by 結城浩
retweeted at 17:15:35
「空集合から空集合への写像は1個」について考えていました
posted at 17:17:33
それはそれとして、図版を作りましょう。
posted at 17:18:04
忠告するときは、まずは本人だけに（コミュニケーションのヒント）［自動投稿］https://mm.hyuki.net/n/nb04d7b21e5f4
posted at 18:30:02
いちおう明日の記事は最後まで着地できました。スーパーに行きましょう。今晩の買い物へ。
posted at 18:42:00
知らん間に、新しい数学ガール出てた https://pic.twitter.com/pA3OwDfuAv
Retweeted by 結城浩
retweeted at 18:42:36
金曜日は『数学ガールの秘密ノート』の日。最新回は一週間無料で読めます。公式RTしてから読みにいってね！
「関数を組み立てよう」第2章 第224回 平均値の定理（後編） https://bit.ly/girlnote224
Retweeted by 結城浩
retweeted at 18:42:58
もうすこしで院試の季節なので、大学院進学に関してのアドバイスとしまして、院に行こうと決めてやりたいことも大体決まっているときには、まずやることは「院試の勉強」でもなく「専門の勉強」でもなく、第一に「行きたい研究室の先生とコンタクトをとる」です
Retweeted by 結城浩
retweeted at 19:22:44
東大本郷書籍部のランキング、理学・工学。
見たら、自分も結構貢献してた。
結城先生の「数学ガール ポアンカレ予想」が堂々の１位。
辻先生の「Ｐｙｔｈｏｎスタートブック」もランクイン。
どっちもめでたい。
／http://www.utcoop.or.jp/hb/news/news_detail_498.html…
Retweeted by 結城浩
retweeted at 21:16:41
@TwisakTwi おお！情報ありがとうございます！
posted at 21:17:17
