プログラミング言語の基礎概念を学んでる - はこべにっき ♨
プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト) 作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (12件) を見る この本を読んで学んでる。まだ半分くらいで関数の定義とかについて勉強してる。 プログラミング言語の動作を数学的に厳密に記述する方法を順番に教えてくれるという内容で、記述には導出システムが用いられてる。基本的な算術式からはじまって、変数の定義や関数の定義、パターンマッチや型システムなど、様々な言語の機能を推論規則によって定義する方法を教えてくれる。与えられた規則が意味的に意図したものを表しているかの証明だけでなく、証明のやり方もくわしく説明されていて丁寧でたすかる。 おもしろいのはこの本のためのオンラインの演習システムというのがあって、本の中で与えられた導出システムに
中国封じ込めにも暗雲 漂流しはじめたＴＰＰ交渉 ＋（1/2ページ） - MSN産経ニュース
日米など１２カ国がカナダ・オタワで開いていた環太平洋戦略的経済連携協定（ＴＰＰ）の首席交渉官会合は１２日、関税や知的財産など難航分野の結論を持ち越し、閉幕した。政治決着の舞台となる閣僚会合開催のメドも付けられず、交渉は“漂流”し始めたとの見方さえある。アジア太平洋地域の新たな通商秩序の構築を目指す日米両政権には打撃となり、域内の支配力拡張を狙う中国の封じ込めにも暗雲が漂う。 「首席交渉官でやるべき作業が少なからず残されている」。日本の鶴岡公二首席交渉官は閉幕後の記者会見でこう述べ、首席交渉官レベルでの協議を継続する考えを示した。一方で、閣僚会合など今後の交渉日程に関しては「見通すことはできない」と慎重な物言いに終始した。 日米両国は１４日からワシントンで、農産品などの関税に関する事務レベル協議を再開するが、参加国内ではＴＰＰ交渉の妥結時期について、「来年前半が好機」（豪州の交渉筋）と越年論
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
