![Amazon.co.jp: The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations): Kunen, Kenneth: 本](https://cdn-ak-scissors.b.st-hatena.com/image/square/f2372db924b5b40154f4a25c32e893439b794d42/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F41rbUmsL3mL._SL500_.jpg)
4冊ほどありますが、最初の一冊は無理っぽいです。 1967 Golgi Structure Fumihiko Maki ゴルジ構造体 槇文彦 建築文化6706 p75 http://www.nanyodo.co.jp/php/detail_n.php?book_id=33276706 建築文化 特集 環境デザインへの二つのアプローチ SD 1979年6月号 槇文彦+槇総合計画事務所 発行所: 鹿島出版会 判型: A4変 ページ: 214 価格(税込): ¥ 1,050 価格(税別): ¥ 1,000 発行年月: 1979.06 商品コード: 54517906 定価: ¥ 2,200 コンディション: ヤケ、シミ http://nanyodo.co.jp/php/detail_n.php?book_id=54517906 /ゴルジ体/ 世界の都市プロジェクト1960-1995 建築文化19
目次 はじめに 「化学の夢ロードマップ」緒言 ロードマップ図 各分野のまとめ 30年後の化学の夢ロードマップ(冊子)の有料配布について はじめに: 化学の挑戦と人類の文化 この一世紀の間に、量子化学、空中窒素固定(アンモニア合成)、ポリエチレンやナイロン、導電性高分子、不斉医薬合成、酵素触媒・光触媒、化学反応(クロスカップリングなど)、フラーレン・ナノチューブ・グラフェン、原子/分子計測・分子イメージング、太陽電池・蓄電池・燃料電池など、化学においてめざましい発見や発明がなされ、その成果を活かして多くの優れた技術が生まれ豊かな社会を実現してきた。科学・技術は、先人の成果の上に新しい発見・知見・方法を積み上げる創造的な英知であり、人類が共有する文化であり、社会への最大の貢献である。人類社会は、有限の地球上における資源の不足・枯渇、エネルギー問題、気候変動や環境劣化、水や食糧問題、医療・健康・
What is Menhir?Menhir is a LR(1) parser generator for the OCaml programming language. That is, Menhir compiles LR(1) grammar specifications down to OCaml code. Menhir was designed and implemented by Fran蔞is Pottier and Yann R嶲is-Gianas. Menhir is 90% compatible with ocamlyacc. Legacy ocamlyacc grammar specifications are accepted and compiled by Menhir. The resulting parsers run and produce correct
この記事はTheorem Proving Advent Calendar 2011の1日目の記事です。 今日は Agda2 というプログラミング言語を用いて、依存型を用いることで絶対的な安全性と Haskell や OCaml などでは(通常の方法では)実現できない柔軟さのどちらも持つプログラムを記述できるということについて書きます。 この記事は主に、普段動的型付けのプログラミング言語を使っていて、静的型付きの言語では自分の意図したものを十分に表現できないと考えている人を対象読者としています。 依存型とは 型に依存する型や、値に依存する型を作れる型のことです。 例えば、値に依存する型を用いることで型レベルでサイズが与えられているリストを作ることが可能です。 また、リストの結合関数は長さ a のリストと長さ b のリストを取り、リスト a+b のリストを返すというような型を持つことになります
関連リンク: OCaml 標準ライブラリ探訪 第0回 その他の回は第0回のトラックバックよりご覧ください。 printf って OCaml でも便利ですよね。C から連綿と続いている半ば常識の % インターフェースに加え、ちょっと不思議な型推論のおかげで型安全性も保証されてます。printf 使ってて型エラーが見つかるたびに、あー C だったら seg fault してたかもしれんな、、、良かった良かった、と思います。今日はそんな printf 系の関数を提供する Printf モジュールのお話。 OCaml では printf系の関数は、何か知らんけど書いたら動く、だから深く詮索するな、という不思議(適当) API として提供されています。私はこの清濁併せ呑む OCaml の姿勢が好きなんですが、、、まあ人それぞれですな。 お品書き Printf の特殊な型付けについて / format
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く