ことぶ記
2005年に出た「Thoughtless Acts?: Observations on Intuitive Design」はとても興味深い本です。日常生活の中で人々が考えなし（thoughtless）に行っている行為を収めた写真が多数収められていて、デザイナーの視点での観察を追体験できます。多くの人にすすめた他、学生向けのワークショップの題材としても何度か使いましたが、エディトリアルも含めてとてもいい感じでまとまっている良書だと思います。その本の日本語版が出ると聞いて、正直なところ「英語版で十分なのでは？」と思いました。。また、帯などで翻訳者の森さんの名前がかなり強調されているのもちょっと違うのではないか、とも思いました。しかし、序文を読んでこの日本語版が企画された理由が納得できました ただし、デザイナを目指すような人ならば、既に原書を手にしているものと思うし、日本語で読む多くの人は、特に
Rainy Day Codings：So-net blog
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで "Types and Programming Language" (Pierce 2002) の第8章 "Typed Arithmetic Expressions" をAgdaでやることにする。 open import Relation.Binary.PropositionalEquality using (_≡_; refl) open import Data.Product using (_×_; proj₁; proj₂; ∃; ∃-syntax) renaming (_,_ to ⟨_,_⟩) open import Data.Sum using (_⊎_; inj₁; inj₂) infix 10 succ_ infix 10 pred_ infix 9 iszero_ infix 8 i
SwitchScience
地震や土砂災害、海上輸送の影響で一部地域に配送遅延が出ている可能性があります。心当たりのある地域にお住まいの方は、こちらから詳細をご確認ください。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://gainer-mini.jp/index.html
