トップ «前の日記(2013-05-30 (Thu)) 最新次の日記(2013-07-02 (Tue))» 編集

Journal InTime

2013-05-31 (Fri) [長年日記]

_ 型システム入門

型システム入門 −プログラミング言語と型の理論−

遠藤さんがサイン会してたので、いい機会だと思って型システム入門を買った! レジのお姉さんに7000円と言われて一瞬ひるんだけど、いい大人なのでやっぱりやめますとも言えず。

本棚の飾りに7000円は高いので頑張って読むぞ。

[ツッコミを入れる]

最近の記事

2023-12-20
- 1. MatzにっきでMongoDBを使うのをやめた
2023-12-03
- 1. ConoHa VPSへの移行とCentOS Stream化
2023-11-21
- 1. jquery.validate.jsのfocusInvalidが動作しない
2023-11-18
- 1. NANKANG AW-1
2023-11-14
- 1. esaのwebhookでJekyllのページを更新する
- 2. 採用エントリーフォームをAWS Lambda + Amazon SESで作った
2023-05-29
- 1. ディスプレイオフを防ぐ
2023-05-13
- 1. RubyKaigi 2023に行ってきた
2023-05-09
- 1. バイク保険更新
2023-04-20
- 1. 250DUKE丸目化、バーエンドミラー化、レバー交換
2023-03-27
- 1. ACアダプターの抜き差し時に電源モードを変更する
2023-01-04
- 1. HiDPI/LowDPIのマルチディスプレイ環境で期待通りのスケーリングが行われない
2023-01-03
- 1. Ubuntu 22.04でのハイバネーション
- 2. Ubuntu 22.04のibus-mozc起動時の入力モードをひらがなにする
2022-12-29
- 1. T14 Gen 3のSSD換装・メモリ増設とUbuntuのインストール
2022-12-25
- 1. ...を*, **, &の構文糖にすると言ったな、あれは嘘だ
2022-12-05
- 1. ...を*, **, &の構文糖にした話
2022-11-18
- 1. anonymous keyword rest parameterのバグ修正
2022-11-12
- 1. フクオカRuby大賞応募
2022-11-05
- 1. Rubyで理解する統計解析の基礎: 4〜5章
2022-10-30
- 1. Rubyで理解する統計解析の基礎: 3章
2022-10-28
- 1. Rubyで理解する統計解析の基礎: 1章〜2章
2022-10-25
- 1. Textbringer 1.2.0 リリース
2022-10-18
- 1. NaCl Blog Hubを作ってみた
2022-09-11
- 1. あいち2022に行ってきた
2022-09-10
- 1. RubyKaigi 2022に参加してきた
2021-09-11
- 1. RubyKaigi Takeout 2021
2021-04-28
- 1. MAZDA3商品改良後のダンパーへの交換
2021-02-13
- 1. Runner3680を組み立てた
2021-02-06
- 1. T-Codeを実装した
2020-12-25
- 1. Ruby 3.0.0へのアップグレード
2020-11-14
- 1. スタッドレスタイヤ