気まぐれ屋

【中古】 工学系の微分積分学 第4版 入門から応用まで／星賀彰(著者),高野優(著者),関根義浩(著者),足達慎二(著者)

星賀彰(著者),高野優(著者),関根義浩(著者),足達慎二(著者)販売会社/発売会社：学術図書出版社発売年月日：2020/03/30JAN：9784780607871

ステップ&チェック微分方程式[本/雑誌] (新・数理/工学ライブラリ) / 畑上到/著

ご注文前に必ずご確認ください＜商品説明＞＜商品詳細＞商品番号：NEOBK-2678219Hatake Jo Ita / Cho / Step & Check Bibun Hoteishiki (Shinsuri / Kogaku Library)メディア：本/雑誌重量：340g発売日：2021/11JAN：9784864810807ステップ&チェック微分方程式[本/雑誌] (新・数理/工学ライブラリ) / 畑上到/著2021/11発売

理論物理に潜む部分多様体幾何 一般相対性理論・ゲージ理論との関わり／小池直之【1000円以上送料無料】

著者小池直之(著)出版社共立出版発売日2021年03月ISBN9784320114401ページ数426Pキーワードりろんぶつりにひそむぶぶんたようたいきか リロンブツリニヒソムブブンタヨウタイキカ こいけ なおゆき コイケ ナオユキ9784320114401内容紹介 本書は，理論物理学における一般相対性理論・ゲージ理論・超弦理論と密接に関わる，部分多様体幾何学や各種の部分多様体のモデルを与えるリー群作用の軌道幾何学を扱う，貴重な解説書である。 擬ユークリッド空間（ユークリッド空間，および特殊相対性理論において時空として取り扱われるローレンツ空間を一般化した空間）内の曲線論・超曲面論，および内在的に定義される多様体の理論という基礎理論の略説から始め，一般相対性理論において時空として取り扱われるローレンツ多様体を一般化した概念である擬リーマン多様体の理論，超弦理論において重要であるカラビ・ヤウ構造の擬リーマン対称空間上での構成法，ゲージ軌道の研究において必要不可欠となる無限次元部分多様体論へと到達する。理論物理学と密接に関わる微分幾何の諸概念を概観できる構成となっている。※本データはこの商品が発売された時点の情報です。目次第1章 理論物理学と関わる部分多様体幾何・リー群作用/第2章 擬ユークリッド空間内の曲線論/第3章 擬ユークリッド空間内の超曲面論/第4章 多様体論/第5章 擬リーマン多様体論/第6章 リー群作用の軌道幾何学/第7章 等径部分多様体・極作用/第8章 特殊ラグランジュ部分多様体/第9章 ゲージ理論と無限次元等径部分多様体論

【電子書籍なら、スマホ・パソコンの無料アプリで今すぐ読める！】なるほど！毎日の役立つ数学【電子書籍】[ 近藤宏樹 ]

＜p＞＜strong＞※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。＜/strong＞＜/p＞ ＜p＞カンタン！目からウロコ！確率・統計・組み合わせの話！＜/p＞ ＜p＞高校生時代、国際数学オリンピックに日本代表選手として3年連続で出場し、銅メダル2個、銀メダル1個を獲得した、現役の高校数学教師である著者が、毎日の生活において知っているととても役に立つ数学の話を披露する。＜/p＞ ＜p＞■降水確率30%。洗濯物は取り込んだほうがいい？ 取り込まないほうがいい？＜br /＞ ■検査で陽性と診断されたけれど、本当に病気にかかっている？＜br /＞ ■気になる保険のしくみーー結局、保険には入るべき？＜br /＞ ■40人クラスに誕生日が同じ人がいる驚きの確率！＜br /＞ ■平均年収は「普通の年収」？＜br /＞ ■選挙の数学 ーー 有権者の選好が同じでも、投票方式によって当選者がまったく変わってしまう？＜br /＞ ■恋愛の数学ーー理想の相手と結ばれるには？＜br /＞ ■預けたお金は何年で2倍になる？金利の概算と「70の法則」＜br /＞ ■速算テクニックー掛け算編：130円のお茶を12本買ったらいくら？＜br /＞ ■来年の今日は何曜日？＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。

【送料無料】【中古】多変量解析法 改訂版/日科技連出版社/奥野忠一（単行本）

◆◆◆おおむね良好な状態です。中古商品のため使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 奥野忠一 出版社名 日科技連出版社 発売日 1984年09月 ISBN 9784817120021

【中古】 理系のためのはじめて学ぶ物理 力学／野田学【著】

野田学【著】販売会社/発売会社：ナツメ社/ナツメ社発売年月日：2007/07/03JAN：9784816342127

意思決定分析と予測の活用 基礎理論からPython実装まで／馬場真哉【3000円以上送料無料】

著者馬場真哉(著)出版社講談社発売日2021年02月ISBN9784065222270ページ数381Pキーワードいしけつていぶんせきとよそくのかつよう イシケツテイブンセキトヨソクノカツヨウ ばば しんや ババ シンヤ9784065222270内容紹介すさまじく丁寧な入門書！ 決定分析の基本と活用を中心に、効用理論、確率予測までを解説。Pythonによる実装も併記した。※本データはこの商品が発売された時点の情報です。目次第1部 序論（意思決定における予測の活用/決定分析の役割）/第2部 決定分析の基本（決定分析の初歩/Pythonの導入 ほか）/第3部 決定分析の活用（予測の評価/コスト／ロスモデルと予測の価値 ほか）/第4部 効用理論入門（選好と効用関数表現/期待効用理論）/第5部 確率予測とその活用（確率予測の基礎/確率予測の活用）

チャート式代数学 復刻版／星野華水【3000円以上送料無料】

著者星野華水(著)出版社数研出版発売日2014年05月ISBN9784410106866ページ数717Pキーワードちやーとしきだいすうがく チヤートシキダイスウガク ほしの かすい ホシノ カスイ9784410106866内容紹介チャート式参考書の原点がここに。昭和4年に発行され、当時の受験生から絶大な支持を得たチャート式参考書。80余年の時を経て、今ここに蘇ります。※本データはこの商品が発売された時点の情報です。目次前編 系統指導部（整式/分数式/無理数及び無理式/式の値/方程式/方程式応用問題/比及び比例/証明問題/不等式/極大及び極小/グラフ/数列/対数）/中編 整理総括部（実戦問/攻略戦開始）/後編（採点者講評/答案作製用問題/答案と講評/採点者の示せし優良答案）

【中古】 流れのすじがよくわかる流体力学／小森悟(著者)

小森悟(著者)販売会社/発売会社：朝倉書店発売年月日：2016/07/01JAN：9784254231434

≪30日間返品保証≫【正午12時まで（日曜日は午前9時まで）の注文は当日発送。関東・関西・中部・中国・四国・九州地方は翌日到着。東北・新潟県・北海道・沖縄県は翌々日到着。】多次元データ解析法 (Rで学ぶデータサイエンス 2)

【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。【最短翌日到着】正午12時まで（日曜日は午前9時まで）の注文は当日発送（土日祝も発送）。関東・関西・中部・中国・四国・九州地方は翌日お届け、東北地方・新潟県・北海道・沖縄県は翌々日にお届けします。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードしていただくこともできます（宛名はご希望のものを入力していただけます）。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。■商品名■多次元データ解析法 (Rで学ぶデータサイエンス 2)■出版社■共立出版■著者■中村 永友■発行年■2009/08/25■ISBN10■4320019229■ISBN13■9784320019225■コンディションランク■良いコンディションランク説明ほぼ新品：未使用に近い状態の商品非常に良い：傷や汚れが少なくきれいな状態の商品良い：多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)可：傷や汚れが目立つものの、使用には問題ない状態の商品■コンディション詳細■書き込みありません。古本のため多少の使用感やスレ・キズ・傷みなどあることもございますが全体的に概ね良好な状態です。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。【発送予定日について】正午12時まで（日曜日は午前9時まで）のご注文は当日に発送いたします。正午12時（日曜日は午前9時）以降のご注文は翌日に発送いたします（土曜日・日曜日・祝日も発送しています）。※土曜日・祝日も正午12時までのご注文は当日に発送いたします。※年末年始（12/31～1/3）は除きます。(例)・月曜0時～12時までのご注文：月曜日に発送・月曜12時～24時までのご注文：火曜日に発送・土曜0時～12時までのご注文：土曜日に発送・土曜12時～24時のご注文：日曜日に発送・日曜0時～9時までのご注文：日曜日に発送・日曜9時～24時のご注文：月曜日に発送【送付方法について】ネコポス、宅配便またはレターパックでの発送となります。東北地方・新潟県・北海道・沖縄県・離島以外は、発送翌日に到着します。東北地方・新潟県・北海道・沖縄県・離島は、発送後2日での到着となります。商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。メールまたはご注文履歴からご連絡ください。

I/O BOOKS数学初心者のためのMaxima入門 数式を「情報化」して問題を解く／河西つかさ【3000円以上送料無料】

著者河西つかさ(著)出版社工学社発売日2022年12月ISBN9784777522309ページ数191Pキーワードすうがくしよしんしやのためのまきしまにゆうもん スウガクシヨシンシヤノタメノマキシマニユウモン かわにし つかさ カワニシ ツカサ9784777522309内容紹介 従来、コンピュータで計算をする場合には、「数値解析処理」という方法を使い、プログラムを組む前に、一度、人間が手作業で式を整理しておく必要があり、厳密解を得ることが困難でした。それに対し、「数式処理ソフト」は、入力された式に含まれる変数や演算子・関数の意味を理解した上で、可能な範囲で代数的な規則に基づく厳密な処理を施します。 「Maxima」は後者の数式処理ソフトに分類されるもので、インターネットからダウンロードして無料で利用できる「オープンソース・ソフト」です。本書では、数学の教科書で扱われるような基本的な問題について、「Maxima」を用いて途中の計算から厳密解の導出まで一貫して処理します。さらにはプログラムを活用してその過程を積極的に自動化して、大人だけでなく、中高生でも簡単に数学とコンピュータを融合することができます。※本データはこの商品が発売された時点の情報です。目次第1章 導入/第2章 Maximaのインストール/第3章 Maximaの基礎/第4章 数学の基礎/第5章 数学の発展的内容/第6章 プログラミング実践

【楽天ブックスならいつでも送料無料】解析学

森北出版カイセキガク 発行年月：1958年10月01日 予約締切日：1958年09月30日 ページ数：288p サイズ：全集・双書 ISBN：9784627070103 本 科学・技術 数学

【中古】 新編 基礎線形代数／浅倉史興(著者),伊藤祥司(著者)

浅倉史興(著者),伊藤祥司(著者)販売会社/発売会社：学術図書出版社発売年月日：2020/04/01JAN：9784780608441

【中古】 わかる熱力学 わかる工学全書／田中宗信(著者),田川龍文(著者)

田中宗信(著者),田川龍文(著者)販売会社/発売会社：日新出版発売年月日：1990/04/30JAN：9784817301406

【中古】中学の数学「苦手な文章題」を5時間で攻略する本 / 井上好文

中学の数学「苦手な文章題」を5時間で攻略する本 文庫 の詳細 カテゴリ: 中古本 ジャンル: 教育・福祉・資格 学校教育 出版社: PHP研究所 レーベル: PHP文庫 作者: 井上好文 カナ: チュウガクノスウガクニガテナブンショウダイオゴジカンデコウリャクスルホン / イノウエヨシフミ サイズ: 文庫 ISBN: 4569661572 発売日: 2004/03/01 関連商品リンク : 井上好文 PHP研究所 PHP文庫

統計的機械学習の数理100問 with Python 機械学習の数理100問シリーズ / 鈴木讓 【全集・双書】

出荷目安の詳細はこちら内容詳細機械学習の書籍としておびただしい数の書籍が出版されているが，ななめ読みで終わる，もしくは難しすぎて読めないものが多く，「身につける」という視点で書かれたものは非常に少ないと言ってよい。本書は，100の問題を解くという演習のスタイルをとりながら，数式を導き，Pythonのソースプログラムを追い，具体的に手を動かしてみて，読者が自分のスキルにしていくことを目的としている。 本書は各章で解説のあとに問題を掲載している。解説を読んでから問題を解くこともできるが，まず問題から取り組む読み方もできる。その場合，数学の問題において導出の細部がわからなくても，解説に戻ればわかるようになっている。 「機械学習の数理100問」は，2018年後期と2019年後期の大阪大学基礎工学部情報科学科数理科学コース3年の講義でも使われ，また公開講座「機械学習・データ科学スプリングキャンプ」2018, 2019でも多くの参加者に解かれ，高い評価を得ている。また，その間に改良を重ねている。問題をすべて独力で解くのは，大学院生か学部の上位10%程度，もしくはその分野の研究開発に携わっていないと難しいかもしれないが，解説を読むだけでも十分な意味がある。 なお，本書はElements of Statistical Learning（邦訳は共立出版『統計的学習の基礎』）やIntroduction to Statistical Learning with R（邦訳は朝倉書店『Rによる統計的学習入門』）といった，統計的機械学習の世界的ベストセラーに準拠していて，レベル的にそれらの中間的なものになっている。前者は事典に近く，読者が何かを身につけるために書かれた書籍ではない。後者は初心者を対象として，感覚的な理解を促してパッケージを使わせることに終始し，本質に近づく視点が欠如していると言わざるを得ない。 本書を読むことで，機械学習に関する知識が得られることはもちろんだが，脳裏に数学的ロジックを構築し，プログラムを構成して具体的に検証していくという，データサイエンス業界で活躍するための資質が得られる。本書は「数理」「情報」「データ」といった人工知能時代を勝ち抜くために必須のスキルを身につけるための，うってつけの書籍である。目次第0章 線形代数0.1 逆行列0.2 行列式0.3 一次独立性0.4 ベクトル空間とその次元0.5 固有値と固有ベクトル0.6 正規直交基底と直交行列0.7 対称行列の対角化付録 命題の証明第1章 線形回帰1.1 最小二乗法1.2 重回帰1.3 $¥hat{¥beta}$の分布1.4 RSSの分布1.5 $¥hat{¥beta}_j ¥not= 0$の仮説検定1.6 決定係数と共線形性の検出1.7 信頼区間と予測区間付録 命題の証明問題1～18第2章 分類2.1 ロジスティック回帰2.2 Newton-Raphson法の適用2.3 線形判別と二次判別2.4 K近似法2.5 ROC曲線問題19～31第3章 リサンプリング3.1 クロスバリデーション3.2 線形回帰の場合の公式3.3 ブートストラップ付録 命題の証明問題32～39第4章 情報量基準4.1 情報量基準4.2 有効推定量とFisher情報量行列4.3 Kullback-Leibler情報量4.4 赤池の情報量基準(AIC)の導出付録 命題の証明問題40～48第5章 正則化5.1 Ridge5.2 劣微分5.3 Lasso5.4 RidgeとLassoを比較して5.5 λの値の設定問題49～56第6章 非線形回帰6.1 多項式回帰6.2 スプライン回帰6.3 自然なスプライン関数への回帰6.4 平滑化スプライン6.5 局所回帰6.6 一般化加法モデル付録 命題の証明問題57～68第7章 決定木7.1 回帰の決定木7.2 分類の決定木7.3 バギング7.4 ランダムフォレスト7.5 ブースティング問題69～74第8章 サポートベクトルマシン8.1 最適な境界8.2 最適化の理論8.3 サポートベクトルマシンの解8.4 カーネルを用いたサポートベクトルマシンの拡張付録 命題の証明問題75～87第9章 教師なし学習9.1 K-meansクラスタリング9.2 階層的クラスタリング9.3 主成分分析付録 プログラム問題88～100

基礎からの「ガロア理論」 初学者のために何度も書き直した 初歩の概念から最新の応用までをていねいに解説／廣津孝【3000円以上送料無料】

著者廣津孝(著)出版社日本能率協会マネジメントセンター発売日2025年06月ISBN9784800593405ページ数351Pキーワードきそからのがろありろんしよがくしやの キソカラノガロアリロンシヨガクシヤノ ひろつ たかし ヒロツ タカシ9784800593405内容紹介2次方程式には古代から知られる解の公式があり、3次方程式、4次方程式にもそれぞれカルダーノの公式、フェラーリの公式と呼ばれる16世紀に発見された解の公式がある。“5次以上の方程式にも同様の代数的な解の公式は存在するか”という問題は、長らく未解決であったが、19世紀前半、N・アーベル、P・ルフィニによって否定的に解決された。E・ガロア（?variste Galois、1811～1832年）は、代数方程式の可解性、つまりこのような解の公式が存在するかどうかは解の対称性を表す「群」の性質によって判定できることを示し、その応用としてアーベル=ルフィニの定理の画期的な再証明を与えたが、若くして悲劇的な死を遂げた。彼の理論は、その先駆性ゆえにしばらく受け入れられなかったが、後に整理された群の理論、新しく整備された「体の代数拡大」の理論とともにまとめられて、今日では「ガロア理論」として広く利用されている。これは、例えば、代数的整数論、類体論、数論幾何学などの数論の諸理論の基礎として位置付けられており、現代数学の多くの理論のひな形をなす重要な理論である。本書では、「代数方程式の可解性」、「アーベル=ルフィニの定理の証明」を目標に、現代数学の立場からガロア理論の解説を行う。また、「ギリシアの3大作図問題」、近年の話題からその幾何学的応用についても触れ、特に最近筆者によって解決された平面上の「角の有理二等分問題」についても簡単な解説を述べる。本書は、類書の中では珍しい下記の4点の特長をあわせもつ。(1)初学者向けの構成：文系の高校数学程度の知識で読み始められるように、集合論の次の出発点を、多くの専門書で前提知識とされる抽象度の高い線形代数学や群論ではなく、より具体的なイメージをもちやすい環論とした。また、過度な抽象化はできるだけ避けて、段階的な解説、直接的な定理の証明を心掛けた。具体的なイメージをもって読み進められるように、例の解説にも多くの紙面を割き、例に対応した演習問題を通して理解の定着がはかれるようにした。演習問題の題材には、可能な限り理論的に含蓄があるものを選んだ。(2)自己完結性（Self-Containedであること）：線形代数学や群論などの予備知識を必要とせずに、1冊で代数学の基礎からガロア理論の本論までを学べるように書いた。難解な部分も含めて、重要な証明の省略（啓蒙書では多い）は原則行わない。(3)ミニマルであること：できるだけ寄り道をせず、ガロア理論の理解に必要な概念だけを習得しながら本論にたどり着けるような構成とした。多くの教科書で取り上げられるような体論の進んだ話題は割愛し、代わりに各項目の解説を充実させることで、理論の本質がよく見通せるようにした。周辺の諸概念・定理には深入りしないため、短期間で理論の本質が簡潔に理解できる。(4)参考書スタイルの解説：2色刷りの行間を埋める解説、要点のまとめ、諸概念・定理ごとの演習問題を通して、理解しすいように各所で工夫を凝らした。本書がガロア理論を理解するための一助となり、深淵で美しい数学の世界を知るきっかけとなれば幸いである。※本データはこの商品が発売された時点の情報です。目次第1章 集合/第2章 環、多項式/第3章 代数方程式/第4章 古典的な解の公式/第5章 群/第6章 体とガロア理論/第7章 体論とガロア理論の応用

小学1年 たしざん 毎日のドリル / 学研プラス 【全集・双書】

出荷目安の詳細はこちら

【楽天ブックスならいつでも送料無料】複素解析 （基礎解析学コース） [ 矢野 健太郎 ]

基礎解析学コース 矢野 健太郎 石原 繁 裳華房フクソカイセキ ヤノ ケンタロウ イシハラ シゲル 発行年月：1995年09月01日 予約締切日：1995年08月31日 ページ数：104p サイズ：単行本 ISBN：9784785310899 第1章 複素変数の関数／第2章 正則関数／第3章 積分／第4章 展開・留数・等角写像 本 科学・技術 数学

≪30日間返品保証≫【正午12時まで（日曜日は午前9時まで）の注文は当日発送。関東・関西・中部・中国・四国・九州地方は翌日到着。東北・新潟県・北海道・沖縄県は翌々日到着。】理工学のための応用数学演習 逸，赤井、 恭二，山本、 憲，栗山、 学，弥永、 政利，小島; 真一郎，柳瀬

【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。【最短翌日到着】正午12時まで（日曜日は午前9時まで）の注文は当日発送（土日祝も発送）。関東・関西・中部・中国・四国・九州地方は翌日お届け、東北地方・新潟県・北海道・沖縄県は翌々日にお届けします。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードしていただくこともできます（宛名はご希望のものを入力していただけます）。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。■商品名■理工学のための応用数学演習 赤井 逸■出版社■朝倉書店■著者■赤井 逸■発行年■1990/03/01■ISBN10■4254110499■ISBN13■9784254110494■コンディションランク■可コンディションランク説明ほぼ新品：未使用に近い状態の商品非常に良い：傷や汚れが少なくきれいな状態の商品良い：多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)可：傷や汚れが目立つものの、使用には問題ない状態の商品■コンディション詳細■当商品はコンディション「可」の商品となります。多少の書き込みが有る場合や使用感、傷み、汚れ、記名・押印の消し跡・切り取り跡、箱・カバー欠品などがある場合もございますが、使用には問題のない状態です。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。【発送予定日について】正午12時まで（日曜日は午前9時まで）のご注文は当日に発送いたします。正午12時（日曜日は午前9時）以降のご注文は翌日に発送いたします（土曜日・日曜日・祝日も発送しています）。※土曜日・祝日も正午12時までのご注文は当日に発送いたします。※年末年始（12/31～1/3）は除きます。(例)・月曜0時～12時までのご注文：月曜日に発送・月曜12時～24時までのご注文：火曜日に発送・土曜0時～12時までのご注文：土曜日に発送・土曜12時～24時のご注文：日曜日に発送・日曜0時～9時までのご注文：日曜日に発送・日曜9時～24時のご注文：月曜日に発送【送付方法について】ネコポス、宅配便またはレターパックでの発送となります。東北地方・新潟県・北海道・沖縄県・離島以外は、発送翌日に到着します。東北地方・新潟県・北海道・沖縄県・離島は、発送後2日での到着となります。商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。メールまたはご注文履歴からご連絡ください。

リーマン予想は解決するのか? 絶対数学の戦略 / 黒川信重 【本】

出荷目安の詳細はこちら商品説明現在最も解決が待望される数学の難問「リーマン予想」とは何かを指南し、その攻略のための戦略、21世紀数学の要ともいえる「F1スキーム」を紹介。高校生レベルから数学のプロ級の人まで読んで楽しめる。〈黒川信重〉1952年生まれ。東京工業大学大学院理工学研究科教授。理学博士。〈小島寛之〉1958年生まれ。数学エッセイスト。帝京大学経済学部経営学科准教授。経済学博士。

【楽天ブックスならいつでも送料無料】Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 [ 萩原 学 ]

フリーソフトではじめる数学の形式化 萩原 学 アフェルト・レナルド 森北出版コックエスエスリフレクトマスコンプニヨルテイリショウメイ ハギワラ マナブ アフェルト レナルド 発行年月：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年、東京大学大学院情報理工学系研究科博士課程修了。博士（情報理工）。東京大学大学院情報理工学系研究科研究員を経て、2005年より国立研究開発法人産業技術総合研究所、主任研究員（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章 Coq／SSReflect／MathCompとは／第2章 使ってみよう／第3章 命令／第4章 MathCompライブラリの基本ファイル／第5章 集合の形式化／第6章 代数学の形式化／第7章 確率論と情報理論の形式化 「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。 本 科学・技術 数学

工学博士が教える高校数学の「使い方」教室

木野仁／著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名ダイヤモンド社出版年月2020年09月サイズ277P 21cmISBNコード9784478108154理学 数学 数学一般商品説明工学博士が教える高校数学の「使い方」教室コウガク ハクシ ガ オシエル コウコウ スウガク ノ ツカイカタ キヨウシツ微分・積分、三角関数、連立方程式、ベクトル・行列、級数など先端技術で本当に使われている数学の話。ヒューマノイドロボット、AI、ドローン、自動運転、お掃除ロボ、スペースコロニー、宇宙エレベータまで話題のテクノロジーで学び直し!大学で習う数式も、高校数学レベルの知識でわかる!第1部 基礎編（素因数分解｜三角関数｜連立方程式｜微分・積分｜ベクトル・行列）｜第2部 応用編（最小二乗近似とSLAM・お掃除ロボ｜人工知能｜宇宙エレベータとラグランジュポイント｜級数の極意）※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2020/09/10

優しい微積分 志村真帆呂/著優しい微積分 志村真帆呂/著

■ジャンル：理学＞数学＞微分・積分■ISBN：9784903814018■商品名：優しい微積分 志村真帆呂/著★日時指定・銀行振込・コンビニ支払を承ることのできない商品になります商品情報商品名優しい微積分 志村真帆呂/著フリガナヤサシイ ビセキブン著者名志村真帆呂/著出版年月200706出版社プレアデス出版大きさ217，25P 21cm

【楽天ブックスならいつでも送料無料】ワーク＆テスト 新しい数学 2年 [ 東京書籍教材編集部 ]

東京書籍教材編集部 東京書籍ワークアンドテストアタラシイスウガニチネン トウキョウショセキキョウザイヘンシュウブ 発行年月：2021年03月29日 予約締切日：2021年02月10日 ページ数：156p サイズ：全集・双書 ISBN：9784487624430 本 科学・技術 数学

【送料無料】【中古】マンガでおさらい中学数学 / 春原弥生

マンガでおさらい中学数学 単行本 の詳細 出版社: KADOKAWA レーベル: 作者: 春原弥生 カナ: マンガデオサライチュウガクスウガク / スノハラヤヨイ サイズ: 単行本 ISBN: 4046018816 発売日: 2017/12/01 関連商品リンク : 春原弥生 KADOKAWA

【中古】実用数学技能検定要点整理7級 / 日本数学検定協会

実用数学技能検定要点整理7級 単行本 の詳細 出版社: 日本数学検定協会 レーベル: 作者: 日本数学検定協会 カナ: ジツヨウスウガクギノウケンテイヨウテンセイリナナキュウ / ニホンスウガクケンテイキョウカイ サイズ: 単行本 ISBN: 4901647854 発売日: 2019/04/01 関連商品リンク : 日本数学検定協会 日本数学検定協会

【中古】数学I＋A＋II＋B＋ベクトル上級問題精講 / 長崎憲一

数学I＋A＋II＋B＋ベクトル上級問題精講 (単行本) の詳細 出版社: 旺文社 レーベル: 作者: 長崎憲一 サイズ: 単行本 ISBN: 4010349243 発売日: 2023/07/01 関連商品リンク : 長崎憲一 旺文社

【中古】 だれも教えてくれない橋元先生のみんなの物理 快適受験アルファブックス／橋元淳一郎(著者)

橋元淳一郎(著者)販売会社/発売会社：学習研究社/学習研究社発売年月日：2001/08/30JAN：9784053007384

≪30日間返品保証≫正午12時まで（日曜日は午前9時まで）の注文は当日発送。土・日・祝も発送（12/31～1/3除く)。北海道・沖縄県以外は翌日到着（北海道・沖縄県は翌々日到着）現代数学社 BASIC数学 1982年11月 山下純一/小寺平治/吉田夏彦/竹之内脩/森本光生/他 ☆ 005s6B

【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。【最短翌日到着】正午12時まで（日曜日は午前9時まで）の注文は当日発送（土日祝も発送）。本州・九州・四国地方（北海道・沖縄県以外）は翌日お届け、北海道・沖縄県は翌々日にお届けします。【インボイス制度対応済み】当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。また、適格請求書発行事業者番号の入った領収書・請求書をご注文履歴からダウンロードしていただくこともできます（宛名はご希望のものを入力していただけます）。ご満足のいく取引となるよう精一杯対応させていただきます。※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。■商品名■現代数学社 BASIC数学 1982年11月 山下純一/小寺平治/吉田夏彦/竹之内脩/森本光生/他■出版社■現代数学社■著者■山下純一/小寺平治/吉田夏彦/竹之内脩/森本光生/他■発行年■1982■教科■数学■書き込み■見た限りありません。※書き込みの記載には多少の誤差や見落としがある場合もございます。予めご了承お願い致します。※テキストとプリントのセット商品の場合、書き込みの記載はテキストのみが対象となります。付属品のプリントは実際に使用されたものであり、書き込みがある場合もございます。■状態・その他■この商品はCランクです。コンディションランク表A:未使用に近い状態の商品B:傷や汚れが少なくきれいな状態の商品C:多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)D:傷や汚れがやや目立つ状態の商品E:傷や汚れが目立つものの、使用には問題ない状態の商品F:傷、汚れが甚だしい商品、裁断済みの商品テキスト内に解答解説がついています。講師が多いため、画像でご確認ください。■記名の有無■記名なし■担当講師■■検索用キーワード■数学 【発送予定日について】正午12時まで（日曜日は午前9時まで）のご注文は当日に発送いたします。正午12時（日曜日は午前9時）以降のご注文は翌日に発送いたします（土曜日・日曜日・祝日も発送しています）。※土曜日・祝日も正午12時までのご注文は当日に発送いたします。※年末年始（12/31～1/3）は除きます。(例)・月曜0時～12時までのご注文：月曜日に発送・月曜12時～24時までのご注文：火曜日に発送・土曜0時～12時までのご注文：土曜日に発送・土曜12時～24時のご注文：日曜日に発送・日曜0時～9時までのご注文：日曜日に発送・日曜9時～24時のご注文：月曜日に発送【送付方法について】ネコポス、宅配便またはレターパックでの発送となります。北海道・沖縄県・離島以外は、発送翌日に到着します。北海道・沖縄県・離島は、発送後2日での到着となります。【その他の注意事項】1．テキストの解答解説に関して解答(解説)付きのテキストについてはできるだけ商品説明にその旨を記載するようにしておりますが、場合により一部の問題の解答・解説しかないこともございます。商品説明の解答(解説)の有無は参考程度としてください(「解答(解説)付き」の記載のないテキストは基本的に解答のないテキストです。ただし、解答解説集が写っている場合など画像で解答(解説)があることを判断できる場合は商品説明に記載しないこともございます。)。2．一般に販売されている書籍の解答解説に関して一般に販売されている書籍については「解答なし」等が特記されていない限り、解答(解説)が付いております。ただし、別冊解答書の場合は「解答なし」ではなく「別冊なし」等の記載で解答が付いていないことを表すことがあります。3．付属品などの揃い具合に関して付属品のあるものは下記の当店基準に則り商品説明に記載しております。・全問(全問題分)あり：(ノートやプリントが）全問題分有ります・全講分あり：(ノートやプリントが)全講義分あります(全問題分とは限りません。講師により特定の問題しか扱わなかったり、問題を飛ばしたりすることもありますので、その可能性がある場合は全講分と記載しています。)・ほぼ全講義分あり：(ノートやプリントが)全講義分の9割程度以上あります・だいたい全講義分あり：(ノートやプリントが)8割程度以上あります・○割程度あり：(ノートやプリントが)○割程度あります・講師による解説プリント：講師が講義の中で配布したプリントです。補助プリントや追加の問題プリントも含み、必ずしも問題の解答・解説が掲載されているとは限りません。※上記の付属品の揃い具合はできるだけチェックはしておりますが、多少の誤差・抜けがあることもございます。ご了解の程お願い申し上げます。4．担当講師に関して担当講師の記載のないものは当店では講師を把握できていないものとなります。ご質問いただいても回答できませんのでご了解の程お願い致します。5．使用感などテキストの状態に関して使用感・傷みにつきましては、商品説明に記載しております。画像も参考にして頂き、ご不明点は事前にご質問ください。6．画像および商品説明に関して出品している商品は画像に写っているものが全てです。画像で明らかに確認できる事項は商品説明やタイトルに記載しないこともございます。購入前に必ず画像も確認して頂き、タイトルや商品説明と相違する部分、疑問点などがないかご確認をお願い致します。商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。メールまたはご注文履歴からご連絡ください。