4月9日 型システム入門読書会 第4回(兵庫県) に参加しました。 今回は第 20 章からでした。
以下、今回のメモです。
- 今回は深江駅前でした。
- Kotlin
- 第 20 章は難しい
- 数学の基礎の本のオススメは? 数学ガールの秘密のノートシリーズ?
- 誰も OCaml のコードは試していないという話
- Visual Studio Code
- Visual Studio Community
- Xamarin
- https://code.visualstudio.com/docs/languages/overview
- NetBook の話
- ARM などの CPU の話
- 深江駅には初めて来たという話
-
⊂と⊆の違いについて - 黒板書体
- 丸数字
- OS X で画面外にはみ出すサイズに window をリサイズした後、移動すると勝手に画面内に収まるサイズにリサイズされてしまって困るという話 (縦いっぱいの window を下げる、上に伸ばして画面サイズ以上の高さにする、ちょっと移動させる、という操作で再現可能)
- Windows のアップデート通知の話
Disqus Comments