貨幣の有用さがわかる事例:Coinhive

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

Ubuntu 16.04上にCoq, SSReflect, MathCompのインストール

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論文をまとめて1本のJournal論文に投稿できるか?

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

筑波大学素晴らしい。「LGBT等に関する筑波大学の基本理念と対応ガイドライン」

筑波大学素晴らしい。特に性別が記載されている書類の一覧や記入が求められる書類の一覧を示しているのが素晴らしく具体的。 → 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で「丸善キャンパスショップ立教大学池袋店」と検索したら、…

東京都では高校で行列を教えようとすると保護者会事案なのか

録音していたSession 22を聞いていて耳を疑う話が。 www.tbsradio.jp東京都教育委員会が困ったこと言っている。 www3.nhk.or.jp 26日に開かれた東京都教育委員会の定例会で、先月、足立区立の中学校で3年生の総合学習の時間に性教育の授業を行った際、教…

瀬畑源:公文書問題 日本の「闇」の核心

読了。公文書問題 日本の「闇」の核心 (集英社新書)作者: 瀬畑源出版社/メーカー: 集英社発売日: 2018/02/16メディア: 新書この商品を含むブログ (3件) を見る出版された時期の関係で主に安倍政権下の公文書問題(南スーダン日報問題、もりかけ問題)および…

Google Homeお迎えから2か月。現在は目覚まし時計代わり

2月にGoogle Homeを購入したのだけど、結局、質問がなくてたいして活用できていない。next49.hatenadiary.jpちょうど、目覚まし時計が壊れたので、現在は目覚まし時計代わりに使っている。起こしてもらいたい時間を伝えるとアラームをセットしてくれるので、…

Session 22とAfter 6 Junctionでの高畑勲さん追悼特集

2年前にこういう経緯でラジオを録音できるデバイスを購入した。 next49.hatenadiary.jpで、Session 22だけでなく、ライムスター宇多丸のウィークエンドシャッフルも聞くようになり、その流れで4月から始まったAfter 6 Junctionも聞いている。ちょうど、この2…

ここ数年の初回講義時に学生に伝えていること

結構前に初回講義時(ガイダンス)に学生に伝えていることをエントリーにした。 next49.hatenadiary.jp 飲み物はOK(においの強いものはだめ) 食べ物はダメ 帽子はダメ 私語はダメ 途中退席には白い目(授業がわからなくて単位落とすのは自業自得) 遅刻…

新入生が簡単できる教員への好感度UP作成

自分の学科・専攻・コースの教員に学内で出会ったら挨拶(おはようございます。こんにちは。こんばんは。)や会釈をする。元気に挨拶するとなおよし。敬意がこもっているかいなかなんてわからないので口先だけで大丈夫。癖にしてしまえば、精神的コスト0で…

警察や検察のリークに基づく報道

財務省の森本学園への国有地払い下げ問題で、事実が明らかになるのは歓迎だけど、検察が捜査情報をリークするのはよろしくない。警察や検察の都合のよい物語に世論誘導できてしまう。そして、国会議員がそれを「がんばれ」とするのも良くない。さらには情報…

「やる気を出せるのがすごい」

学生に「先生はやる気を出せるのがすごい。私はどうしてもやる気をだせない」と言われた。なので、「やる気を出しているわけではなくて、やる気がなくても作業できるように道具とか環境とかを整えているんだよ」と伝えた。たとえば、私はGTDもどき(振り返り…

再掲:うつ病や双極性障害は講義において合理的配慮を求められます

昨年の10月のエントリーですが、新学期が始まりましたので。next49.hatenadiary.jp 大学側への周知ということでこういう資料が日本学生支援機構が出ています。どういう配慮がうけられるかの参考になると思います。 はじめて障害のある学生を受け入れるにあた…

新入生諸君!4月は教職員がてんやわんやしているので2重チェックを

気がつけば、大学教員になってもう10年を結構超えていた。そんな大学の春の経験豊富な私から大学への新入生のみなさまにアドバイス。4月から大学生活が始まって、わからないことだらけ、不安だらけだと思いますが、大学の教職員(教員や学務係のみなさま…

そもそも公文書管理が杜撰だった

記事の主旨に異論はないけど、今回の件で低下したんじゃなくてそもそも基準に達していないらしい。 www.nikkei.com そもそも日本は公文書を軽んじてきた過去がある。1972年の沖縄返還の際に結ばれた日米の「密約」に関する文書は、日本では廃棄されたとされ…

「ゲーム産業における人工知能」, 人工知能, Vol. 32, No. 2, 2017年

「ゲーム産業の最前線 〜企画,デザインからビジネスモデルまで〜」, 情報処理, Vol. 57, No. 11, 2016年 - 発声練習と同趣旨のメモ。今度は人工知能学会誌「人工知能」の2017年の特集。 【会誌発行】人工知能学会誌 Vol. 32 No. 2 (2017/03) – 人工知能…

「ゲーム産業の最前線 〜企画,デザインからビジネスモデルまで〜」, 情報処理, Vol. 57, No. 11, 2016年

オープンキャンパスでの高校生の質問や新入生からの質問で「ゲーム業界に進みたいのだけど」ということを良く尋ねられる。私はゲームをするのは大好きだけど、ゲームを作るのはさっぱりわからないので、その参考になりそうな情報処理学会会誌2016年の特集の…

Rails5 と devise 4.4 でログイン後にリダイレクトしない

RoR

公開環境(production)において、Rails5.0.6 + Ruby 2.4.3 + devise4.4.1でログイン成功後にリダイレクトせず、ログイン時のページにとどまるようになってしまった。 ただ、開発環境(development)においてRails5.0.6 + Ruby 2.4.2 + devise4.4.1はそれが…

Google Homeお迎えメモ

買ったままで放置していたGoogle Homeを起動。電源投入から同封の説明カードに従い、動くようにするまで10分かからなかった。 Google Home起動 スマートフォンかタブレットにGoogle Homeアプリインストール Google Homeアプリの指示に従い設定する。Wifiのア…

物理では「クリエイティブな間違い」を含む論文というのはとても評価が高い

圏論の歩き方のpp. 4-5ページより 暗黙の知識にはいわゆる「文化」も含まれるよね。たとえば、物理では「クリエイティブな間違い」を含む論文というのはとても評価が高い。内容は間違ってるんだけど、そのアイデアがその後の研究をしげきするようなもの。そ…

国立大学と私立大学、理系と文系の分断は避けよう

なんか左翼系政治団体の発言みたいですが。国立大学の窮状訴えると「そうだ!不要な私立大学への助成金やめろ」という応援コメントがでてきて大学コミュニティを分断しちゃうんだよなぁ。しかも、私立大学の方が人文学系多いので理系・文系分断に派生すると…

ご協力願い:2018年1月22日の関東地方大雪に伴う大学の休講措置に関する調査

1/23のSession 22のオープニングにて荻上チキさんが1/22の大雪に対して大学で休講措置をとっていたかどうかをデータに残すべきとおっしゃっていた。私もそう思ったので、Googleフォームで作ってみた。関東の大学に通われている学生のかた、教員のかた、ぜひ…

憲法13条により自衛隊が合憲の論法って憲法学者の間では新説なの?

政府解釈を護憲派憲法学者が述べるようになったのが最近ということ?平成25年11月13日安全保障の法的基盤の再構築に関する懇談会(第4回会合);安全保障の法的基盤に関する従来の見解についてによると1972年の政府答弁で憲法13条により自衛隊が合…

AoE (Anywhere on Earth)とはなんぞ

まとめ AoEは標準時の決め方で「UTC - 12時間」。日本標準時(JST)を使うと「JST + 21時間」 「JST - 21時間」 本文 国際会議の論文募集(Call for Paper)を眺めていたら以下の記載があった。 For each of these deadlines, a cut-off point of 23:59 AOE …

年齢別飲酒習慣の年次推移

TwitterのTLを眺めていて以下のようにツイートした。TLでストロングゼロのネタがいろいろ流れているのだけど、経済政策で人は死ぬか?: 公衆衛生学から見た不況対策の第1部2章「ソ連崩壊後の死亡率急上昇」で、ソ連崩壊後働きざかりの男性が100万人ほど死んで…

~報道ガイドラインへのリンク

自殺 厚生労働省:WHO 自殺予防 メディア関係者のための手引き(2008年改訂版日本語版) 朝日新聞「月刊Jounalism」編集長に聞く「自殺報道ガイドライン」 刑事事件 日本民間放送連盟: 取材と報道 東京新聞:東京新聞の事件報道ガイドライン 「犯人視報道…