[過去ﾛｸﾞ] 数学の本 第101巻 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
183: 09/26(木)00:35 ID:SLeCQBpv(1) AAS
サポートベクトルマシン (機械学習プロフェッショナルシリーズ) – August 8, 2015
by 竹内 一郎 (著), 烏山 昌幸 (著)
さまざまな学習アルゴリズムはもちろんのこと、「構造化サポートベクトルマシン」「弱ラベル学習」などの新しいアプローチについても明快に解説した。わかりやすい、実にわかりやすい!こんな本を待っていた。
184: 09/26(木)12:54 ID:Yo/uoVvd(1/2) AAS
パターン認識と機械学習 上 単行本（ソフトカバー） – 2012/4/5
C.M. ビショップ (著), 元田 浩 (監訳), 栗田 多喜夫 (監訳), & 3 その他
185: 09/26(木)12:56 ID:Yo/uoVvd(2/2) AAS
カーネル法入門―正定値カーネルによるデータ解析 (シリーズ 多変量データの統計科学) 単行本 – 2010/11/1
福水 健次 (著)
186(1): 09/27(金)12:05 ID:oHzVa1CK(1/3) AAS
外部ﾘﾝｸ[html]:www.nippyo.co.jp
特殊関数探訪
三角関数からはじめる不思議な世界
数学セミナー編集部 編
定価：税込 4,180円（本体価格 3,800円）
発刊年月 2024.09
ISBN 978-4-535-79019-3
判型 A5判
ページ数 360ページ
Cコード C3041
省2
187: 09/27(金)12:06 ID:oHzVa1CK(2/3) AAS
>>186
内容紹介
三角関数から入り、ガンマ関数、超幾何関数、楕円関数など、数学以外の幅広い分野でも活躍する特殊関数の不思議な世界を概観する。
188: 09/27(金)13:05 ID:oHzVa1CK(3/3) AAS
動画ﾘﾝｸ[YouTube]
なぜ1杯目のビールは美味しい？【数式は一切使わず数学的に解説】
189: 09/27(金)16:00 ID:hX1GWwKl(1/4) AAS
2杯目のビールは1杯目を超えられない？！
外部ﾘﾝｸ[html]:www2.nec-nexs.com
ミクロ経済学の限界効用逓減の法則
190(1): 09/27(金)16:48 ID:L+1IrTVD(1/2) AAS
適当なスレがないからここで聞くけど、Coqのインストール方法がわかりやすく書いてるサイト教えてくれ
外部ﾘﾝｸ:github.com
から冒頭の｢Windows (64 bit) installer for Coq 8.18.0 with MathComp 1.18 (default)｣
を落としてインストールしたけど、CoqIDEを起動した直後に強制終了してしまう。
何で？
っていうか、スタートメニューのCoqIDEアイコンにアイコン画像すら登録されてないんだが。
191: 09/27(金)16:48 ID:jP4clLNV(1/2) AAS
ビールに合うおつまみを食べると2杯目以降も美味しい
192: 09/27(金)16:50 ID:L+1IrTVD(2/2) AAS
>>190
自己解決しました＾＾
193: 09/27(金)16:50 ID:hX1GWwKl(2/4) AAS
枝豆
焼き鳥
刺し盛り
194: 09/27(金)16:53 ID:hX1GWwKl(3/4) AAS
WindowsでのCoqの設定は長い歴史の問題があります
195: 09/27(金)17:01 ID:jP4clLNV(2/2) AAS
昔は月末の金曜日といえばソフマップのエロゲ売場が大混雑してたもんじゃった
196: 09/27(金)21:18 ID:hX1GWwKl(4/4) AAS
爺のコック、フニャフニャ
197: 09/27(金)23:26 ID:y6wHh6qd(1/5) AAS
情報工学 形式論理と計算可能性 (東京大学工学教程) 単行本 2024/9/28
東京大学工学教程編纂委員会 (編集), 蓮尾 一郎 (著), 浅田 和之 (著)
198: 09/27(金)23:27 ID:y6wHh6qd(2/5) AAS
丸善出版のページのリンクが書き込めない？
外部ﾘﾝｸ[html]:www.maruzen-publishing.co.jp
199: 09/27(金)23:28 ID:y6wHh6qd(3/5) AAS
書き込めた
書誌情報を何行かコピペしたら書き込めなかった
200: 09/27(金)23:29 ID:y6wHh6qd(4/5) AAS
書き込めたか
201: 09/27(金)23:31 ID:y6wHh6qd(5/5) AAS
内容紹介
本書は，基本的なトピックの中からさらに取捨選択を行い，直観や動機付けを重視しつつ技術的細部を積み上げていく，理論のユーザーとしての視点に徹したコンパクトな教科書である．
読者がいくつかの結果や証明のアイデアを身につけ，自らの専門分野に応用できるよう，理論展開全体のストーリー構成がなされている．
第I部「形式論理」は証明論とモデル理論の初歩に相当し，命題論理や述語論理を扱う．
本書の特徴に，「論理体系のショウケース」として最初に等式論理を用いた点が挙げられる．
ここでの議論や証明の本質的な部分が，より複雑な命題論理，述語論理において用いられる．
第II部「計算可能性」の第8章までが再帰理論の入門に相当する．
帰納的関数とwhileプログラムを計算モデルとして計算可能性の理論を導入する．
最後に，数学基礎論の全分野と結びつく重要な結果であるGodelの不完全性定理の簡単なバリエーションの証明の概略を与える．
202: 09/29(日)12:16 ID:BakcPiz4(1/2) AAS
外部ﾘﾝｸ[html]:www.iwanami.co.jp
岩波数学叢書
現代暗号理論
情報社会を支える暗号の安全性は数学問題の困難性により保証される。普及している暗号から次世代暗号までの理論と技術を紹介。
上下前次1-新書関写板覧索設栞歴
あと 800 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s