まつど
- いいね数 102,851/144,366
- フォロー 1,895 フォロワー 2,964 ツイート 80,115
- Web https://scrapbox.io/education/
- 自己紹介 批評とアニメ好き/ラノベ・漫画積読リスト http://scrapbox.io/lightnovel/
2017年12月21日(木)
内田百閒を読み直しているが、百閒のキーワードに〈不機嫌〉があるんじゃないかと思う。不機嫌は怒りとは違う。怒りが世界と直にとっくみあうやり方なら、不機嫌は世界と距離をとりながらなんとか世界と私との妥協点を忍耐強くさぐる。時に妥協点が思いがけない方向に動き、百閒の奇妙な空間がうまれる
タグ：
posted at 23:30:34
非公開
タグ：
posted at xx:xx:xx
僕の理解では、人間が本当の意味で確率のことを理解して行動するのは非常に難易度が高くて、プログラムが正確に確率を計算してやるだけで人間を上回ることができる、ということなのかなと。まぁ、確率の教科書を眺める度に目が回る人間としては納得感がある。
タグ：
posted at 23:16:07
何十年も前に麻雀ゲームを開発してたことがある人に、今の技術を前提にすると麻雀 AI はどのくらい強くなるんだろう、と聞いたら、機械学習が今ほどでなかった当時でも人間は全然歯が立たなかったんだそうな。山に残ってる牌を数えて確率を計算してやるだけで楽勝らしい。
タグ：
posted at 23:10:59
論理的思考は大切であり人類が長い歴史の中で培った強力なツール、なんだけど、最近、それは「人間が人間という枠を超えられないうちは」という限定が付くような気がしてならない。まぁ、何が言いたいかというと、我々が生きている間くらいはそれは変わらないだろうってことなんだけど。
タグ：
posted at 23:05:04
一方で、前も言ったような気がするけど、適度に知ったかぶりしてかないと世界が広がらないし、それを放置するとそれはそれでマズいループにはまり込んでしまう。特に、頭が良くて論理的思考力が高い人ほどそういうのがヘタな印象。
タグ：
posted at 22:53:21
非公開
タグ：
posted at xx:xx:xx
NL APIを前処理に使う例をこの前GCPUGでプレゼンしたけど、これみたいにガチな人たちも同じように使ってて、しかも成果も出てるなんて、今まで以上にNL APIをおすすめしやすくなった。 www.ja.advertisercommunity.com/t5/%E3%83%96%E...
タグ：
posted at 22:29:45
『まもって守護月天！』の新作読み始めたらひたすら太助とシャオがイチャイチャしててすごい、公式による二次創作の極みみたいなことになってた 10代の頃確実に守護月天でこういう妄想をしていた ラブコメの障害要因がほぼ無いも同然なのすごい すごい… シャオに夢見たことある人絶対読んで…
タグ：
posted at 22:28:12
自分たちのためにTrelloを作ったTrelloの作者が、どのようにTrelloを使って生産性を上げているかをTrelloで説明する記事 ※このブコメには1箇所ウソがあります / “work-life-focus-trello-…” htn.to/Qy3Y7b
タグ：
posted at 22:19:47
まず、田端氏や引用先の編集長がアホなのは、童貞を「子孫を残せないじゃないか」という遺伝子ダーウィニズム論の話にしちゃってることで、遺伝子論にした瞬間に「子供を生まない／生めない女性」とか同性愛者とかそういう人たちを巻き込んでもう童貞論じゃなくなるわけですよ。この時点で負け確定なの
タグ：
posted at 22:06:00
「このように定義すると何がうれしいかというと」
「この命題が成り立つと何がうれしいかというと」
「係数を√πにしておくと何がうれしいかというと」
とても自然に使いますね。
twitter.com/bd_gfngfn/stat...
タグ：
posted at 21:14:05
読書猿『独学大全』14刷26万部、『文章 @kurubushi_rm
ナラティブ・セラピーのマイケル・ホワイトは、クライエントの「問題の染み込んだ物語」を壊すのにデリダを援用したり、自責・自罰を再生産する物語を相対化するのにフーコーを持ち出したりする。ちょっとハラハラするくらいナイーブではあるけど、実際に役に立てている。 twitter.com/sky_y/status/9...
タグ：
posted at 20:54:04
「行列の何がうれしいのか」
「抽象ベクトル空間と線形写像に何がうれしいのか」
「次元公式の何がうれしいのか」
教育関係者は「◯◯の良さ」という言い方を好むが、「◯◯の何がうれしいのか」の方がいいと思う。「良さ」という言い方は個人的に嫌い。
twitter.com/ymgn_bass/stat...
タグ：
posted at 20:44:58
これは便利。試してみたい。 / 他13コメント b.hatena.ne.jp/entry/pokutuna... “Mackerel で仕事のがんばり具合を見える化する - ポクポク” htn.to/963WhGP
タグ：
posted at 20:26:43
渡辺由佳里 YukariWatanabe @YukariWatanabe
そうです。単語こそは使っていませんが、アセクシャルについて言及しています。また、書きそびれてしまったのですが、「心から好きな人が現れるまで性関係は持たない」という人もいます。また宗教上の信念で結婚まで待つという人も。それらすべてを含めて尊重されるべきなんですよね。 twitter.com/cgorikgd/statu...
タグ：
posted at 20:22:00
個人的にはあたしが欲しているのはCookpadというよりCookhubなんだよなあ、レシピを挙げたり、他人のレシピをフォークしていじったり、プルリクもらったり。
そんなオープンな料理人は少ないかなあ
タグ：
posted at 20:19:56
非公開
タグ：
posted at xx:xx:xx
物質・材料研究機構：高速で亀裂が完治する自己治癒セラミックス
www.nims.go.jp/news/press/201...
航空機エンジンが作動する1000℃において最速1分で亀裂を完治。
亀裂から侵入した酸素と炭化ケイ素が反応して二酸化ケイ素が合成され、アルミナと二酸化ケイ素が反応して亀裂を充填 、結晶化して強度が回復 pic.twitter.com/O1pQiPhsQh
タグ：
posted at 19:45:52
新卒の時点からTOEICのスコアによって月に数万円単位で月の給料が変わるという話を聞いた。このこと自体がよいことかどうかはおくとして、取れるものは学生の間に取っておいたほうがよい。
タグ：
posted at 19:42:39
非公開
タグ：
posted at xx:xx:xx
ブラウン運動のサンプルパスは各点で連続だけど微分不可能な「病的」な関数の一例だ。他にも微分不可能な連続関数として、ワイエルシュトラスの関数など有名なものがいくつかある。
タグ：
posted at 19:31:34
学生さんの答案やらレポート見てると、もう少し何が求められていて、そのためにどういう作業が必要なのか、考えて欲しい気はしている。でも社会全般を見ると、忖度しすぎじゃね？みたいな印象持つことも多く、何がどうなってどうするとこうなるのかわからない
タグ：
posted at 19:30:45
ライブ配信機能「pixiv Sketch LIVE」との連携を強化しました。
pixivのフォロワーや他の閲覧者に、よりライブ（pixiv Sketch LIVEでの動画配信）が視聴されやすくなります。
www.pixiv.net/info.php?id=4377
なお、これらの機能については、12月25日までに順次公開していきます。
タグ：
posted at 18:54:07
ちなみに OCaml には higher-kinded な型変数が無くて、first-class module を使って tagless final を書こうとすると上手くいかなかったからやんわり触れないようにしています
タグ：
posted at 17:47:10
「公理から論理体系を作ろうという試み」が「失敗」していたら、定理証明支援器とかその上の各種理論とか、そもそも論理学も数学基礎論も、ユークリッド幾何学すらなかった歴史改変SF？ twitter.com/ytb_at_twt/sta...
タグ：
posted at 17:43:22
はてなブログに投稿しました #はてなブログ
Tagless final, First-class module, Modular implicit - wkwkesのやつ
wkwkes.hatenablog.com/entry/2017/12/...
タグ： はてなブログ
posted at 17:38:34
特に中高の数学はそれが問題になりやすいのよね。「地元で教師になりたい、教科は何でもいい」人は（自分の興味と全く関係なくても）数学を選ぶケースがままある、なぜなら数学教員は常に需要が大きくて売り手市場だから。現実の数学教師が「数学好き」が動機でその職に就いた人とは限らない。 twitter.com/asupe_san/stat...
タグ：
posted at 17:34:13
「フェミニストとオタクはなぜ相性が悪いのか」という本を、アマゾンが閲覧履歴から時々オススメに挙げてくるのですが、この題名、本当にひどいですね。炎上マーケティングの典型だ。これを通した編集者は糾弾されていい。本来は大して関係ない二つを無理やり対立させ、話題にしようという意地汚さ。
タグ：
posted at 16:07:07
マイクロサービスの課題を、Scala エコシステムでは Finagle に代表されるように関数型の抽象を使ってライブラリの機能としてクリーンに統合したわけだけど、一方で言語を問わず使える sidecar という発想は正しいよな（実際の使用感は分からんけど。 medium.com/@deeeet/7cf428...
タグ：
posted at 15:40:28
JenkinsみたいなCIサーバはかなり運用難易度が高いんですよ。まず、あらゆるコンピュータ資源を大量消費するソフトウェアなのでハードウェアのサイジングが難しい。テストビルドとリリースビルドみたいに期待される信頼性が違うものが同居し易い。ちょっとしたことで分散環境が欲しくなる、などなど。
タグ：
posted at 15:10:00
tsujimotter 日曜数学者 @tsujimotter
プログラミング初心者にとっての最大の難所はプログラミング環境の導入と統合開発環境の使い方だと思う。
タグ：
posted at 13:49:41
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
前にも書いたが、俺が15歳・高1で人生初のバイトをしたとき、入社時にちゃんと有給制度の説明があった(説明するための冊子も本社が用意していた)のが吉野家。その後色々なバイトをしたが、吉野家以外のバイト先では一切そういうことはなかった。 twitter.com/sorabethere/st...
タグ：
posted at 12:30:46
Just Because !公式 @JustBecause_JP
11話放送の前に、一つ。3話で依子が上手くごまかしてしまったこのお話、皆さん気になってませんか？実はこの続きは比村さん描き下ろしリーフレットコミックに描かれております！ここにももう一つの物語が用意されておりますので、お楽しみに！Blu-ray&DVDは明日12月22日発売！ #JB_anime pic.twitter.com/CoikHpGtWc
タグ： JB_anime
posted at 12:19:56
【キャラクター③】 #村田安司 はしばしば作品を超えて、よく似た動物キャラを登場させています。村田の多作を支えた要因の一つに、デザイン的に完成された描き易いキャラをストックしていたことがあるかもしれません。
animation.filmarchives.jp/writer22.html pic.twitter.com/qA5XjuNVZd
タグ： 村田安司
posted at 12:05:05
ｐｄｆのファイル統合。Windowsだといろいろ怪しげなフリーソフトを導入しないといけないのに、Linuxだと"convert"コマンド一発で通る（＊も使える）。「手先不器用でマウス使うより、ショートカットキー使うほうが好き」な私がコンピュータに求めているのはこういうことなのです(^o^)
タグ：
posted at 11:51:44
嫁「かみやさんの薦めで古典SFいくつか読みましたけど、なんか投げっぱなしで終わる作品多くないです？ オチがないというか宇宙戦争とかなんですあの終わり方」 ……や、そりゃ古典し； 宇宙戦争は初のエイリアン侵略パニックモノだし、そう言う作品って現代ですら基本出オチじゃん？；
タグ：
posted at 11:22:53
#クジラの子らは砂上に歌う
感情を捨てた帝国側にいるリョダリと、感情を残した泥クジラ側にいるシュアンって面白い人物配置やなと思う。存在感があると言うか、キャラが映えると言うか。ただ、帝国側の人間ってわりと感情のある人が多いような気がするんだが。 pic.twitter.com/ZSa0fKsiT6
タグ： クジラの子らは砂上に歌う
posted at 11:04:38
あ、HGウェルズの「タイムマシン」「透明人間」「宇宙戦争」は有名だと思うけど、「空の戦い」と「陸の甲鉄艦」が個人的にオススメ。執筆した僅か数十年後現実になった飛行機による空戦、戦車を用いた戦争を描いてて超興味深い。
タグ：
posted at 10:55:40
1800年代から1900年代初期のSF作品好きなんだ……こ～、まだ現代ほど地球や宇宙のことがわかってなくて。未来と言えば現代で言う超音速飛行機や宇宙航行がギリギリ出来るかな、としか想像出来なかった時代の。必然的にスチームパンク的になる感じが。HGウェルズのタイムマシンとか。
タグ：
posted at 10:46:08
1.5GByteもあるWindows Xより5,6MByteのUEFIに入ってるちっちゃいLinuxの方が生産性高くて、Windowsの1.495GByteは無駄でできているという学びを得た
タグ：
posted at 10:45:03
岡潔のエッセイを読むたび、あまりに酷くて驚嘆します。岡潔ほどの数学者であれば、極めて精緻で深い思考力を持ってい… — 言い古された話ですけど、そこに、数学と日常的な世界の違いがあると思います。数学って、一つのアイディアを仮定して… l.ask.fm/igoto/45DKECN7...
タグ：
posted at 10:34:14
非公開
タグ：
posted at xx:xx:xx
出版社の大量の感想リツイートは正直勘弁してと思う。露出を増やしたいのならば、まだその本を手にとってない人の心をつかまえてしまうような感想だけを朝昼晩何日でも何回もリツイートを繰り返していけば、無差別爆撃型リツイートよりは効果的なんじゃないかしらん
タグ：
posted at 10:24:04
「経験してないことは作品で書けない」って謎の主張する人、結構居るけど。そんな彼らには1850～60年代に月面旅行し、地底世界を発見し、少年少女で無人島漂流して海底二万マイルでアトランティス大陸を発見した、ジュール・ヴェルヌという偉人を是非知って欲しい。
タグ：
posted at 10:12:00
しかし自分にとって「学問と社会」との関係を考えた時の1つの重要なスコープは「政策と科学の関係」であるので評価に密接に関わり、また用いられる科学計量学には強い関心がある。
タグ：
posted at 09:41:29
「ジョジョリオン」17巻は、カバー袖の荒木先生のコメントがとてもよかった。「良いホラー映画は、反骨的であり、社会の不安を反映している。そういう作品が作られ、観られるのは、私たちの文化や精神が停滞していない証拠であり、安心する」という旨です。
タグ：
posted at 09:35:12
@Ymgn_Bass 最初の「クラスとは」ってところでクラスの背景を。
次の「何がうれしいのか」ってところで期待できることや目的を。
それ以下でそれぞれの方法が書かれています。
相手に「クラスを理解してもらうこと」を目的に書かれた文書なのが目次を見ただけでわかります。
タグ：
posted at 09:20:47
手紙などの文章を書き慣れてない人に代筆を頼まれて、「送る相手はどんな人ですか」と聴くと、「その情報、必要？」と言われることがそれなりにあります。文書送付はコミュニケーションだから、当然書き手と読み手の共同作業なのでチューニングが必要なのだけど、一方通行だと思っている人は案外多い。
タグ：
posted at 09:20:06
「良いものには高い値段を払っても良い」との考え方が消費者に浸透するためには、「品の良し悪し、および高品質のメリットを消費者が自分で判断できる」ことが前提となる。これができてないと、消費者は「どれだけお買い得か」を「正規価格あるいは平均価格と比べてどれだけ安いか」でしか判断できない
タグ：
posted at 09:05:00
『あんハピ』のＯＰと『ブレンドＳ』のＯＰって、曲調がかなり似てる気がする。特に出だしの部分とか。ただ、前者の作曲は田中秀和で、後者の作曲は y0c1e やから、別人なんよな。y0c1e というと『恋愛ラボ』のＯＰとか『ガーリッシュナンバー』のＯＰなどを手掛けた人ですよね。
タグ：
posted at 08:57:47
エリクサーと貯金にしても同じような関係が成り立っており、割とぼくはポンポンとなんでも必要ならパソコンも買うし、お金も必要なら月収以上出すけど、月収18万の友達は10万を上限に100円のカップ麺とかで生活してたら、うつ病にかかってこの前入院してたよ
タグ：
posted at 08:52:10
英国人の先生曰く、「フィッシュアンドチップスは英国の伝統食だけど、アレは別に毎日食べるもんじゃないよ。パブで食べるやつ。英国の国民食はカレーだね」って言ってた。英国のカレーは結構美味いぞ。
タグ：
posted at 08:47:33
いえ、この縦横というのはあくまで素材の重ね方に関してで、その例えによって時間に縦横があるという捉えられ方をしてはまずいので、慎重にならざるを得ない、という趣旨の発言でした。
分かりにくくて申し訳ありません。
タグ：
posted at 08:45:25
欧米でもやはり童貞はバカにされたりいじめられたりするわけだが、最終的に童貞は人格に問題があるとか人間を知らないと言われた時に「お前イエス様に対してもそれ言えんの？」という最強の切り札を持ってるのが非常に強い。一方お釈迦様は王子の生まれで子供まで作っているリア充なので頼りにならない
タグ：
posted at 08:33:35
専門ではないので誤解もあるかもしれないけれど、教育経済学における、学級規模縮小は学力向上にあまり関係ない、という主張について。「教育・学びのあり方」を、もっと十分考慮に入れる必要がある。一方的な講義形式の授業を延々するのであれば、それは当然、40人も30人もあまり変わりはないだろう。
タグ：
posted at 08:25:14
アイフォーンのツイッタークライアントがバグって読み込みしなくなったから、昨日はやることなくて10時ぐらいに寝たけど、最高の目覚めすぎて、ツイッターは体に悪いという事実を体感した
タグ：
posted at 08:21:29
この件、気が滅入るのは「数理論理学の失敗からポストモダン思想が発達した」と言う人が「数学ガール・ゲーデル不完全性定理」を読めと人に言ってて、お前はホントに数学ガール読んだのかと。
「悪魔でも聖書を引用することができる」という感じで「トンデモでも数学ガールを引用することができる」。
タグ：
posted at 08:07:50
おぉ、三重積さんが射影平面について書いてる🤗
射影平面についての導入的な話 - すうがくなどについてのメモ triprod1829.hatenablog.com/entry/2017/12/...
タグ：
posted at 08:07:11
⑤ポストモダニストと数理論理学の間に、学説史的にどのような影響関係があるのか不明
(僕が知ってるかぎり、論理学のちゃんとした知識のあるポストモダニストはローティのみ、だけどローティはそんなことは言わない)
タグ：
posted at 07:45:56
②「失敗」という言葉を「無矛盾性証明ができない」という意味で使ってるらしいけど、無矛盾性証明ができなければ何が問題なのか理解していない
③というかなぜ無矛盾性証明が問題になるのか理解していない
④相対的に無矛盾であるような、自己言及性を許す理論はたくさんあるけどそれを理解していない
タグ：
posted at 07:43:15
「公理から論理体系を作ろうという試みに失敗した数学基礎論や論理学の結果を受けてのポストモダン思想」という話、
①多分「論理」と「理論」(不完全性定理はこっち)の区別がついていない
(続く)
タグ：
posted at 07:41:04
「公理から論理体系を作ろうという試みに失敗した数学基礎論や論理学の結果を受けてのポストモダン思想」なんてプロパガンダ、まだ信じている人がいるのか。明らかに歴史的経緯を無視したポスト真理だし、そもそもポストモダニストが数理論理学に「真剣な」関心を持っている事例を知らない。
タグ：
posted at 07:29:39
細胞、酸素、窒素、水素、還元、金属、蒸気、蒸留、白金、結晶、圧力、物質、沸騰、分析など現在使われているありとあらゆる用語を造語したのは宇田川榕菴なのだ！珈琲という当て字も榕菴説が最も有力。教科書はもっと榕菴を子ども達に教えるべき。玄白はもう古い。 pic.twitter.com/aKoo6paFCd
タグ：
posted at 07:29:31
プログラミングはそんなに嫌いじゃないけど、ライブラリを入れたり、パスを通したりという準備段階が凄く苦手。プログラミングは研修があったが、そこはない。パソコンが得意な人は、ググれば分かったはずだよね？とか、自分で調べてから質問知ろって言うが、ググるにも知識と経験とセンスが必要
タグ：
posted at 07:03:38
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
【旧支配者】ハスター[Hastur]雄牛座の中のアルデバラン星周辺に棲む神。宇宙空間を飛行する能力がある。ハスターに乗り移られた犠牲者の死体は、膨らみ鱗に覆われ、手足は骨がなくなり流動体になる。バイアクヘーに奉仕され、チョー=チョー人等に崇拝されている。(p225)
タグ：
posted at 05:19:45
非公開
タグ：
posted at xx:xx:xx
はあちゅうのセクハラ告発大炎上まとめ - Hagex-day info hagex.hatenadiary.jp/entry/2017/12/... あと読み
タグ：
posted at 05:17:48
誤解が発生しないように明確に書こうとすると、意外と分かりにくくなったりするし、それを平易に書こうとすると実は色々まずい点が出てきてしまったり、というのを経験したことがあんまりない人が、「問題文分かりにくいー」って気軽に言うんだろうなあ、と思っている。
タグ：
posted at 05:08:55
よく「問題文が分かりにくい」って言及されてることがあるんだけど、そう言っている人に「じゃあもっと分かりやすい問題文書いてみて」って言うと、たいてい書けないか、元の問題文より何かしら悪い問題文を書くかのどっちかしか出来ないのよね。（もちろん部分的な修正は出来るけど）
タグ：
posted at 05:06:56
TOMINAGA, Kyoko @nomikaishiyouze
今晩の非常勤のために、博論の参考にしたFrancesca Polletta "Freedom is an Endless Meeting"をもう一度読んでる。Pollettaの研究は「運動を成功させるため」というよりは「運動が生み出す悲劇を避けるため」の理論という気がする。いかに無理なく社会運動を継続するか、という視点がいいと思う。
タグ：
posted at 04:55:13
Hearthstone終わってない状態でコンテスト始まっちゃったみたいなやらかしをしながら１位を取るなｗｗｗｗ
www.youtube.com/watch?v=NHz1x8...
タグ：
posted at 04:46:19
お金持ちはどこの都市からどこの都市に飛んでいるのか？
ファーストクラスの乗客のフライトを視覚化したチャート www.knightfrank.com/blog/2017/03/0... マイアミが南米都市へのハブになっている、欧州を代表するハブ空港スキポールがここでは存在感がない、ソウルはアジア圏ではなく北米圏にある…等 pic.twitter.com/lm7II5eaQf
タグ：
posted at 03:24:32
USの医学部入学者、史上初めて女子学生数が男子学生を上回る bit.ly/2BIa0GR 2017年9月のメディカルスクール入学者21338名の50.7%が女子。2015年から急増…へ～今更という感じ。UKでは20年前から女性の方が多く2003年にはピークの61%に達しており、現役医師の57%が女性。
タグ：
posted at 02:38:31
1月5日くらいから、余った餅とチーズをどうこうしてオーブンでどうこうするとやばい…これは…罪の味…無限に食える…あなたの心に直接語りかけています…真似するのです…みたいな画像ツイートが流れてくる。私はインターネットに詳しいんだ。
タグ：
posted at 02:19:03
や、普通に WebKit とか弄って調べたりするし Halide でも遊んでるので、C++ は別に苦手じゃないけど。なんというかC++(ユーザは)怖いという苦手意識がいまだに払拭できなくて、C言語でできる事はなるべく Cの範囲で頑張る悪い癖がついてる。
タグ：
posted at 01:06:16
C言語で型ごとにリスト処理を書いてて、やっぱりテンプレートとかじぇねりっくとか欲しいよねと思う自分に、だからそれ C++ でしょってツッコミを入れてる。そろそろ C++ に逃げようかなぁ。。ベターCとしてC++使うとマサカリ投げられまくるイメージがいまだに払拭できぬ。。
タグ：
posted at 01:03:51
「左翼の貧困ビジネス」っていう言い方は、実は「貧困や福祉や労働の問題は、私たち保守にはわかりませんので、左翼の皆さんにお任せします」って言っているのと同じだと思います。要はそのジャンルへの取り組みを放棄したと取られても仕方ないでしょう。左翼で安全保障を語れる人が少ないのと同じ。 twitter.com/knight2_syu38/...
タグ：
posted at 00:33:20
