« 2020年5月 | トップページ | 2020年7月 »

2020年6月

cocolog:91995523

Isabelle 2020 の HOL を使った「ケネディと天使の問題を Isabelle で証明」という記事を書いた。Isabelle の Tips とともに…。 (JRF 4196)

JRF 2020年6月22日 (月)

» 続きを読む

cocolog:91980310

BLM運動。文革やバーミヤン石仏破壊に比す意見が私の周りでは目立ち、「ポリコレファシズム」への憎しみが私にはわく。しかし、macska さんのツイートなどを見ると大部分の実態は穏当な主張ともとれる。Matter が「問題となる」と訳せるのも英語の不得意な私には気になるところ。 (JRF 1530)

JRF 2020年6月15日 (月)

» 続きを読む

cocolog:91976435

蓮舫氏の発言「サーバーは増やすんじゃなくて、時代はもうクラウド」…というもの、批判されているが、正直言って何が間違っているのか私は理解できない。 (JRF 7552)

JRF 2020年6月13日 (土)

» 続きを読む

cocolog:91960637

長沼伸一郎『現代経済学の直観的方法』を読んだ。私は工学系だが経済学には前から関心があり想定読者とは違ったようだ。長沼氏のこれまでのブルーバックスの本と比べて、専門性が矯めらているのかな…と感じた。それでも、鉄道が総力戦を作った…など鋭い洞察はいつもどおりだった。 (JRF 8457)

JRF 2020年6月 7日 (日)

» 続きを読む

cocolog:91953032

私は全頭検査・全米検査には賛成だが、全PCR検査には絶対反対だ。全頭検査・全米検査はエリート層の横暴や混乱を暴き出す可能性があったのに対し、全PCR検査は人々のプライバシーをエリート層のためだけに暴き出す可能性がある。 (JRF 1914)

JRF 2020年6月 3日 (水)

» 続きを読む

«前のひとこと

« 2020年5月 | トップページ | 2020年7月 »