https://leanprover-community.github.io/install/windows.html MicrosoftリサーチはMicrosoft社の研究部門ではなく、 マイクロソフトリサーチ ： 完全に独立した研究機関であり、そこで行われる研究内容については、たとえマイクロソフト本社の首脳陣であっ…

整理はされてないが列挙： ガッカリ・ウンザリするところがない。 しがらみの無さ 単一言語 構文の一貫性 → 予測可能性 将来性・期待感 歴史上初の汎用プログラミング言語へ Unicode文字キーワード → 可読性、視認性 薄いシンタックスシュガー（甘さ控えめ）…