高木さんのエントリーで初めてCoinhiveという名称をしった。 高木浩光＠自宅の日記 - 緊急周知 Coinhive使用を不正指令電磁的記録供用の罪にしてはいけない で、Coinehiveとはなんぞや Coinhiveは、サイトの運営者が、閲覧者に仮想通貨を採掘させ、その収益…

Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 | 森北出版株式会社を買ったので、とりあえず環境だけ整える。 インストール環境 % uname -a Linux pi 4.4.0-122-generic #146-Ubuntu SMP Mon Apr 23 15:34:04 UTC 2018 x86_64 x…

ぜひ、基礎的なところを押さえたうえで批判をしていただきたい。 追記：おすすめの本 以下の本は大学の外の人に対して競争的資金の国内、国外の状況、科研費の制度、海外との研究環境・研究力の比較などわかりやすく説明している本です。2016年出版ですので…

ツイッターで以下のようにつぶやいたのだけどブログにもメモ。メーリングリストで紹介されていた論文。大変興味深い分析。→ 新井 聖子: 日本の基礎研究の東アジア化 ― なぜ日本の基礎研究は下方に向かうのか？, 世界経済評論 INPACT＋, No. 9https://t.co/bV…

はじめに 分野によって学術会議の会議録掲載論文（Proceedings論文）の位置づけは大きく異なります。計算機科学系ですと査読付きであることが多く、業績にもカウントされます。 next49.hatenadiary.jp 本文 先日、論文発表した国際会議の主催者から会議録論…

筑波大学素晴らしい。特に性別が記載されている書類の一覧や記入が求められる書類の一覧を示しているのが素晴らしく具体的。 → LGBT等に関する筑波大学の基本理念と対応ガイドライン https://t.co/WDU36vERmt— next49 (@next49) 2018年4月10日 LGBT等に関す…

こちら、全文をPDFで無料DLできますので、ぜひご活用ください。LGBTQを調査、研究対象にする（調査者、研究者が当事者の場合も含め）際に参考になると思います。共同執筆者は社会学者とアクティヴィストの方々（兼任含め）。 https://t.co/aTiqHzycxo— 溝口…

おつかれさまでした。としかいえないような話。丸善大丈夫なのか？nyawaraban2014.amebaownd.com当該書店。 www.st-paulsplaza.comリニューアル時あたりのプレスリリース。 www.sankeibiz.jpGoogleで「丸善キャンパスショップ立教大学池袋店」と検索したら、…