布製マスクの都道府県別全戸配布状況このホームページを、英語・中国語・韓国語へ機械的に自動翻訳します。以下の内容をご理解のうえ、ご利用いただきますようお願いします。 1.
11種類のオペレーティング・システムについてまとめてみた - Qiita
TL;DR 「オペレーティングシステム？知ってるよ。WindowsとかMacのことだよね」というぐらいの知識だった私が、二週間ほどひたすらWikipediaでインプットしまくったクソ浅い情報を共有します。 最初の動機 「Go言語が対応しているアーキテクチャってなんだろ？」 Go言語には環境変数をコンパイラに渡すことで、出力されるバイナリの対応するOSとアーキテクチャを変えることができます。 GOOS がオペレーティングシステム(OS)、 GOARCH がアーキテクチャです。 こんな感じにビルドすると、 linux というオペレーティングシステムで、 ppc64 というアーキテクチャに対応したバイナリが出力されます。 なるほど。 じゃあ、 Go言語が対応しているOSとアーキテクチャって何があるの？ と疑問が湧いてきますね。 その疑問に応えるコマンドが go tool dist list です
No.143 安易な1ビット思考が日本を蝕む - 京都大学大学院 経済学研究科 再生可能エネルギー経済学講座
2019年9月5日 京都大学大学院経済学研究科 特任教授 安田 陽 記号論理学の世界 今回はいつも普段から言ってることをちょっと趣向を変えて書くことにします。はじめに数学の話をしましょう。記号論理学や数理論理学の分野では、存在量化子 existential quantifier という記号があり、∃と表記されます（アルファベットのEを反転したものです）。また、全称量化子 universal quantifier と呼ばれる記号もあり、これは∀と表記されます（アルファベットのAを逆さにしたものです）。 前者は「ある?」もしくは「少なくとも一つ存在する」ということを表す記号であり、∃xは「ある（少なくとも一つの）xについて」ということを意味します。また後者は「すべての」を表す記号であり、∀xは「すべてのxについて」という意味を表します。 ここで、任意の対象xに対して任意の属性Pが与えられた際に
読書録:「知性とは何か」「学ぶとは何か」まで踏み込んで日本・フィンランド・中国・シンガポール・カナダの学校にプロの研究者が泊まり込んだ教育体験記。邦題以外最高。「日本の15歳はなぜ学力が高いのか？」ル…
■最高の旅行冒険記でもある 彼女の調査方法がまたすごい。 お仕着せの学校訪問、地元の教育関係者がアピールのためにアレンジした理想コースを避けるために、彼女は自力で各国の教師に、公開されているメールアドレスを頼りにアポイントをとり、ホームステイさせてくれる教師を探す。 そして教師の家に泊まり込みながら、1ヶ国のなかだけでも複数の学校に潜り込んで教鞭をとり、1ヶ月以上生活をともにする。その中で子どもたち、教育関係者、両親特に母親と様々な対話をする中で、文化含めてその国が教育に期待してるものを抽出する。その旅行記としてだけでも面白い。 僕は彼女が調査した中で、日本と中国とシンガポールには、住んでいたしそれなりに詳しい。たぶん言葉の理解とかを含めれば彼女より詳しいだろう。その僕から見ても、彼女のこの３カ国での体験は、文化の深いところをきちんと捉えている。教育にまったく興味がない人でも、そうした文化
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
澁谷 泰介