数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴
社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませんでした。 型システム入門 −プログラミング言語と型の理論− 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 2013/03/26メディア: 単行本（ソフトカバー） クリック: 68回この商品を含むブログ (7件) を見る しかし、読めないままにしておくのは悔しいし、内容はとても面白そうなので、やはりちゃんと読めるようになりたい。 そこで基礎的な書籍とWebで情報収集してから再度挑戦したところ、なんとか読み進められるようになりました。 監
うちの奥さんの、子供への読み聞かせ方がすごい: 不倒城
スクールカウンセラー時代に身に着けたスキルかなんかなんだろうか。 長男(6歳)は本が大好きで、最近は自分一人でも読むが、昔から読み聞かせをねだることが多い。「この本読んでーー」と持ってきて、こちらが何をしていようとお構いなく太ももにどすんと座ってくる。最近は、下の双子も「ちゃー」とか「ぴゃー」とか言いながら絵本を持ってきては、なんだか分からない言語で読み聞かせを要求するようになった。 本が好きなのはいいことだと思うので、読み聞かせをねだられたら、可能な限り腰をすえて読んであげるようにしている。この頃は、「だれも知らない小さな国」のような、ある程度長い児童小説も、ちょっとずつ辛抱強く聞けるようになってきた。私がいるときは私がねだられることが多いが、奥様が読み聞かせをすることも結構ある。 で、今日、奥様が「星からおちた小さな人」を読み聞かせをしているのを横で聞いていて、色々凄いと思った。(飽く
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
