mathcomp

Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化Coq / SSReflect / MathCompによる定理証明 フリーソフトではじめる数学の形式化 / 萩原学 【本】洋書 Paperback, AFOQT Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises洋書 Paperback, ALEKS Math Comprehensive Exercise Book: Abundant Math Skill Building ExercisesCoq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化／萩原学／アフェルト レナルド【1000円以上送料無料】Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化洋書 Paperback, GRE Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises洋書 Paperback, TASC Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises洋書 Paperback, PSAT Math Comprehensive Exercise Book: Abundant Math Skill Building ExercisesCoq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化／萩原学／アフェルト レナルド【3000円以上送料無料】【中古】 Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化／アフェルト レナルド(著者),萩原学(著者)洋書 Paperback, ASVAB Math Comprehensive Exercise Book: Abundant Math Skill Building ExercisesCoq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化【中古】【未使用 未開封品】Aftermath Compact Toiletry BagThe Alberta High School Math Competitions 1957-2006: A Canadian Problem Book (Problem Books) ハードカバー Liu， Andy【3980円以上送料無料】Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化／萩原学／共著 アフェルト レナルド／共著洋書 Paperback, ACT Math Comprehensive Exercise Book: Abundant Math Skill Building ExercisesCoq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 萩原学/共著 アフェルト レナルド/共著Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 本/雑誌 / 萩原学/共著 アフェルト レナルド/共著Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 萩原 学

Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化

ショップ ぐるぐる王国DS 楽天市場店
価格 ￥3,520 
商品の詳細ページへ(楽天市場)
 

商品の説明

  • 萩原学／共著 アフェルト・レナルド／共著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名森北出版出版年月2018年04月サイズ211P 22cmISBNコード9784627062412理学 数学 数学一般Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化コツク エスエスリフレクト マス コンプ ニ ヨル テイリ シヨウメイ COQ／SSREFLECT／MATH／COMP／ニ／ヨル／テイリ／シヨウメイ フリ- ソフト デ ハジメル スウガク ノ ケイシキカ※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2018/04/19

    • Coq / SSReflect / MathCompによる定理証明 フリーソフトではじめる数学の形式化 / 萩原学 【本】

    ショップ HMV＆BOOKS online 1号店
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 出荷目安の詳細はこちら内容詳細「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。目次 : 第1章　Coq／SSReflect／MathCompとは/ 第2章　使ってみよう/ 第3章　命令/ 第4章　MathCompライブラリの基本ファイル/ 第5章　集合の形式化/ 第6章　代数学の形式化/ 第7章　確率論と情報理論の形式化

    • 洋書 Paperback, AFOQT Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises

    ショップ Glomarket
    価格 ￥4,094 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • *** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...

    • 洋書 Paperback, ALEKS Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises

    ショップ Glomarket
    価格 ￥4,564 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • *** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...

    • Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化／萩原学／アフェルト・レナルド【1000円以上送料無料】

    ショップ bookfan 2号店 楽天市場店
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者萩原学(共著) アフェルト・レナルド(共著)出版社森北出版発売日2018年04月ISBN9784627062412ページ数211Pキーワードこつくえすえすりふれくとますこんぷによるていり コツクエスエスリフレクトマスコンプニヨルテイリ はぎわら まなぶ あふえると ハギワラ マナブ アフエルト9784627062412内容紹介コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．◆定理証明支援系とは？数学の定理証明を支援するソフトウェアのこと．数学の高度化に伴い，従来の「紙と鉛筆」では証明の構成・検証がますます困難になるなか，Coqをはじめとする定理証明支援系が開発されてきました．こうしたシステムには，証明の正しさを保証する機能のほか，証明をコンピュータが扱える形に翻訳する「数学の形式化」の作業を効率化する仕組みが備えられています．実際Coqは「四色定理」や「ケプラー予想」といった歴史的な大問題を解くのにも利用され，話題をよびました． ◆日本語初のチュートリアル本書は，Coqとその拡張言語SSReflect/MathCompの初となる解説書です．定理証明支援系の研究利用と普及を手がけてきた著者らが，開発環境のインストール手順から...

    • Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化

    ショップ ぐるぐる王国　楽天市場店
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 萩原学／共著 アフェルト・レナルド／共著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名森北出版出版年月2018年04月サイズ211P 22cmISBNコード9784627062412理学 数学 数学一般商品説明Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化コツク エスエスリフレクト マス コンプ ニ ヨル テイリ シヨウメイ COQ／SSREFLECT／MATH／COMP／ニ／ヨル／テイリ／シヨウメイ フリ- ソフト デ ハジメル スウガク ノ ケイシキカ※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2018/04/19

    • 洋書 Paperback, GRE Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises

    ショップ Glomarket
    価格 ￥4,830 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • *** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...

    • 洋書 Paperback, TASC Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises

    ショップ Glomarket
    価格 ￥4,712 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • *** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...

    • 洋書 Paperback, PSAT Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises

    ショップ Glomarket
    価格 ￥4,546 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • *** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...

    • Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化／萩原学／アフェルト・レナルド【3000円以上送料無料】

    ショップ bookfan 1号店 楽天市場店
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者萩原学(共著) アフェルト・レナルド(共著)出版社森北出版発売日2018年04月ISBN9784627062412ページ数211Pキーワードこつくえすえすりふれくとますこんぷによるていり コツクエスエスリフレクトマスコンプニヨルテイリ はぎわら まなぶ あふえると ハギワラ マナブ アフエルト9784627062412内容紹介コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．◆定理証明支援系とは？数学の定理証明を支援するソフトウェアのこと．数学の高度化に伴い，従来の「紙と鉛筆」では証明の構成・検証がますます困難になるなか，Coqをはじめとする定理証明支援系が開発されてきました．こうしたシステムには，証明の正しさを保証する機能のほか，証明をコンピュータが扱える形に翻訳する「数学の形式化」の作業を効率化する仕組みが備えられています．実際Coqは「四色定理」や「ケプラー予想」といった歴史的な大問題を解くのにも利用され，話題をよびました． ◆日本語初のチュートリアル本書は，Coqとその拡張言語SSReflect/MathCompの初となる解説書です．定理証明支援系の研究利用と普及を手がけてきた著者らが，開発環境のインストール手順から...

    • 【中古】 Coq／SSReflect／MathCompによる定理証明 フリーソフトではじめる数学の形式化／アフェルト・レナルド(著者),萩原学(著者)

    ショップ ブックオフ 楽天市場店
    価格 ￥2,722 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • アフェルト・レナルド(著者),萩原学(著者)販売会社/発売会社：森北出版発売年月日：2018/04/01JAN：9784627062412

    • 洋書 Paperback, ASVAB Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises

    ショップ Glomarket
    価格 ￥4,672 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • *** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...

    • Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化

    ショップ 参考書専門店 ブックスドリーム
    価格 ￥2,999 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードして頂くこともできます（宛名はご希望のものを入力して頂けます）。■商品名■Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化■出版社■森北出版■著者■萩原 学■発行年■2018/04/18■ISBN10■4627062419■ISBN13■9784627062412■コンディションランク■非常に良いコンディションランク説明ほぼ新品：未使用に近い状態の商品非常に良い：傷や汚れが少なくきれいな状態の商品良い：...

    • 【中古】【未使用・未開封品】Aftermath Compact Toiletry Bag

    ショップ AJIMURA-SHOP
    価格 ￥26,612 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【中古】【未使用・未開封品】Aftermath Compact Toiletry Bag【メーカー名】【メーカー型番】【ブランド名】Maxpedition トイレタリーバッグ 【商品説明】Aftermath Compact Toiletry Bag【注意】こちらは輸入品となります。当店では初期不良に限り、商品到着から7日間は返品を 受付けております。こちらは当店海外ショップで一般の方から買取した未使用・未開封品です。買取した為、中古扱いとしております。他モールとの併売品の為、完売の際はご連絡致しますのでご了承ください。ご注文からお届けまで1、ご注文⇒ご注文は24時間受け付けております。2、注文確認⇒ご注文後、当店から注文確認メールを送信します。3、当店海外倉庫から当店日本倉庫を経由しお届けしますので10〜30営業日程度でのお届けとなります。4、入金確認⇒前払い決済をご選択の場合、ご入金確認後、配送手配を致します。5、出荷⇒配送準備が整い次第、出荷致します。配送業者、追跡番号等の詳細をメール送信致します。6、到着⇒出荷後、1〜3日後に商品が到着します。　※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。お電話でのお問合せは少人数で運営の為受け付けておりません...

    • The Alberta High School Math Competitions 1957-2006: A Canadian Problem Book (Problem Books) [ハードカバー] Liu， Andy

    ショップ 参考書専門店 ブックスドリーム
    価格 ￥14,323 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードして頂くこともできます（宛名はご希望のものを入力して頂けます）。■商品名■The Alberta High School Math Competitions 1957-2006: A Canadian Problem Book (Problem Books) [ハードカバー] Liu， Andy■出版社■Mathematical Assn of Amer■著者■Liu Andy■発行年■2009/09/30■ISBN10■0883858304■ISBN13■9780883858301■コンディションランク■良いコンディションランク説明ほぼ新品：未使用に近い状...

    • 【3980円以上送料無料】Coq／SSReflect／MathCompによる定理証明　フリーソフトではじめる数学の形式化／萩原学／共著　アフェルト・レナルド／共著

    ショップ トップカルチャーBOOKSTORE
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 森北出版 定理（数学）　数学／データ処理　ソフトウェア 211P　22cm コツク　エスエスリフレクト　マス　コンプ　ニ　ヨル　テイリ　シヨウメイ　COQ／SSREFLECT／MATH／COMP／ニ／ヨル／テイリ／シヨウメイ　フリ−　ソフト　デ　ハジメル　スウガク　ノ　ケイシキカ ハギワラ，マナブ　アフエルト，レナルド　AFFELDT，REYNALD

    • 洋書 Paperback, ACT Math Comprehensive Exercise Book: Abundant Math Skill Building Exercises

    ショップ Glomarket
    価格 ￥4,840 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • *** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...

    • Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 萩原学/共著 アフェルト・レナルド/共著

    ショップ ドラマ×プリンセスカフェ
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • ■ジャンル：理学＞数学＞数学一般■ISBN：9784627062412■商品名：Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 萩原学/共著 アフェルト・レナルド/共著★日時指定・銀行振込・コンビニ支払を承ることのできない商品になりますタイトル【新品】【本】Coq/SSReflect/MathCompによる定理証明　フリーソフトではじめる数学の形式化　萩原学/共著　アフェルト・レナルド/共著フリガナコツク　エスエスリフレクト　マス　コンプ　ニ　ヨル　テイリ　シヨウメイ　COQ/SSREFLECT/MATH/COMP/ニ/ヨル/テイリ/シヨウメイ　フリ−　ソフト　デ　ハジメル　スウガク　ノ　ケイシキカ発売日201804出版社森北出版ISBN9784627062412大きさ211P　22cm著者名萩原学/共著　アフェルト・レナルド/共著

    • Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化[本/雑誌] / 萩原学/共著 アフェルト・レナルド/共著

    ショップ ネオウィング 楽天市場店
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • ご注文前に必ずご確認ください＜商品説明＞「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。＜収録内容＞第1章 Coq/SSReflect/MathCompとは第2章 使ってみよう第3章 命令第4章 MathCompライブラリの基本ファイル第5章 集合の形式化第6章 代数学の形式化第7章 確率論と情報理論の形式化＜商品詳細＞商品番号：NEOBK-2222669Hagihara Manabu / Kyocho Afueruto Rena Rudo / Kyocho / Coq / SSReflect / MathComp Niyoru Teiri Shomei Free-software Dehajimeru Sugaku No Keishiki Kaメディア：本/雑誌重量：340g発売日：2018/04JAN：9784627062412Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化[本/雑誌] / 萩原学/共著 アフェルト・レナルド/共著2018/04発売

    • Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 [ 萩原 学 ]

    ショップ 楽天ブックス
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • フリーソフトではじめる数学の形式化 萩原 学 アフェルト・レナルド 森北出版コックエスエスリフレクトマスコンプニヨルテイリショウメイ ハギワラ マナブ アフェルト レナルド 発行年月：2018年04月18日 予約締切日：2018年03月02日 ページ数：224p サイズ：単行本 ISBN：9784627062412 萩原学（ハギワラマナブ） 1974年、栃木県足利市生まれ。栃木県立足利高校、千葉大学理学部数学科を経て、2002年、東京大学大学院数理科学研究科博士課程修了。博士（数理科学）。東京大学生産技術研究所（2002年〜）を経て、独立行政法人産業技術総合研究所（2005年〜）の在職時に、中央大学研究開発機構にて機構准教授（2008／4〜2012／3）、ハワイ大学にてResearch　Scholar（2011／3〜2012／2）などを兼任。2013年より千葉大学准教授。専門は符号理論とそれにかかわる離散数学、組合せ論など レナルド，アフェルト（Reynald,Affeldt） 1976年、パ＝ド＝カレー県ランス市（フランス）生まれ。2000年、ナンシー国立高等鉱業学校Ing´enieur　Civil　des　Mines課程修了。2004年、東京大学大学院情報理工学系研究科博士課程修了。博士（情報理工）。東京大学大学院情報理工学系研究科研...
    • キーワード検索
    1.  
    最近検索されたキーワード
    ギャラクシーs8 ケース 手帳型 本革 / 生地 女の子 北欧 / DEFF Cleave / 本間ゴルフキャディバッグ / サンワダイレクト リュック / ムーブスポーツ ジャージ / 舞台屋 / 白ロム xperia / 便利 キッチン / ブリヂストンスポーツ ゴルフ / ハンギョドン ポーチ / ディズニーシー お土産 お菓子 / 一番くじ ソードアート アスナ / lenovo ideapad duet chromebook ケース / ネスレ ブライト / 2506h-dh / racing wheel / Word 2010 / herbie hancock future / ねんどろいど ゆるキャン / フェイクレザー スカート レディース / CATERHAM / フラットシューズ レディース / クイーンズブレイド 武器屋 カトレア / 頭文字d〜d ノンストップ メガ ミックス〜
    ピックアップ キーワード
    卒業式 女の子 小学生 / プラダ / docomo スマートフォン / medias wp n-06c ケース / イルビゾンテ バッグ / 電動ドライバーセット / クリーブランド キャディバッグ / 選手権 / 犬 おもちゃ / 電気工事士 二種 / THE NORTH FACE メンズ / ポロシャツ レディース / SPEEDO ラッシュガード / ハリアー 22 / トランシーバー おもちゃ / フェイスタオル ギフト / イタリア チョコレート / スノーブーツ レディース ノースフェイス / インプレッサ wrx sti マフラー / 結婚式 バッグ / ディーゼル バッグ / ホワイトニング マウスピース / ワンピース グッズ / 枕 西川 / オーバーオール レディース
    リンク
    Amazon.co.jp
    楽天市場
    楽天オークション
    Amazon Web Services
    Supported by 楽天ウェブサービス

    上に戻る