以下のページはこのリンク集から見ることができます
Coq/SSReflect/MathComp による定理証明 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... belong の定義をよく見ると，新しい記号「 { 」と「 } 」が {M : Type} として現れて います．記号「 { 」と「 } 」で囲まれた引数は関数に与えずに省略できるようになりま す．省略されていても， Coq が推論するのです． さて， mySet (M : Type) := M -> Prop ...
31
並列計算の数理とアルゴリズム サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... 本書はハイパフォーマンス計算の入門書である．本書のねらいは，科学計算機で用 いる各種の数値計算法を紹介し，解説することである．これらは，古典的なコンピュー タでは扱えない理工学の問題を解くことができる．ハイパフォーマンス計算でよく問 ...
30
情報通信ネットワークの基礎 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... に示す．端末の移動とともに，一つのセルから別のセルへ の移動する際に通信が途切れないようなハンドオーバ技術も使われる．携帯電話と基 地局の間の通信は，無線通信用の周波数を用いて行われることになる．現在，セルに よる日本の人口カバー率は ...
27
2 一覧より各明細行をクリックすると 受信メールの内容を見ることができます 受信メール内容画面 項目 説明 送信者 メールアドレスのリンクをクリックするとアドレス帳へ登録が行えます 宛先 メールアドレスのリンクをクリックするとアドレス帳へ登録が行えます CC ( 宛先 (CC) が複数存在する場合
... ・送信済みフォルダ， ごみ箱フォルダの自動削除については、メールの日付が、『メール設定』で 管理者が設定された日数より、以前のメールに対して行われます。 □ Webメールの利用容量チェック機能 ・メニュー上部にある利用容量チェックバーによってご利用されているメールの容量を確認できます。 ...
16
例題で学ぶ基礎化学 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 2 刷発行時のものです.
... いずれも８個（He は２個）の電子が入っており，このような電子配置はきわ めて安定で，イオンになったり，原子どうしが結合することもまれである．最 外殻電子がとる８個の電子の組のことをオクテットという．希ガス元素以外の ...
38
医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 第 2 版 1 刷発行時のものです.
... 本書の著者の階堂武郎君は筑波大学医療技術短期大学部で，すでにかなりの期間，統 計教育の実務に携わってきており，現在の学生の，ある意味でのレベルをよく知ってお られる．また，統計学の展開の歴史，その現在の発展の方向についても十分な知識を ...
30
本書は 以下の URL からダウンロードできます ファジング活用の手引き
... IPA がオープンソースソフトウェアやフリーソフトウェアを用いて行ったファジングでも、1 日 程度で一部の脆弱性を検出することができました（詳細については「3.3 活用のポイント」を参照 してください） 。 米 Microsoft ...
49
OpenFOAM による熱移動と流れの数値解析 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... なお，本文には マークは明記しておりません． R OPENFOAM R is a registered trade mark of OpenCFD Limited, pro- ducer and distributor of the OpenFOAM software. This offering is not approved or endorsed by OpenCFD Limited, pro- ...
30
して閲覧することができます. このように, 他の情報にジャンプすること, あるいはジャンプするためのインデックスのことを,WWW の世界ではリンクと呼びます. 次々にリンクを辿って様々な情報にアクセスしている様子を,Web と Wave( 波 ) を引っ掛けて, ネットサーフィンと呼んだりもします.
... HTML による表は， 「表全体（table 要素）」 「そ れぞれの行（tr 要素）」 「行の中の項や見出し（td 要素や th 要素）」からなります． 表を構成する項目の 1 つ 1 つを<td>～</td>や <th>～</th>で定義し， それを 1 行分まとめて<tr> ...
9
ブロックチェーン技術入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行当時のものです.
... (from) から誰 (to) へ」のトランザクション（取引） であるかを保証することがきわめて重要である。仮想通貨であれば、コイン が誰から誰へ渡ったかの転々流通 ◆ 1 を、スマートコントラクトでは誰がどの コントラクト（契約）に対して履行請求するかが特定されなければならない。 ...
36
Excel ではじめる数値解析 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... i まえがき 現実世界のさまざまな問題を解決するために現象を数学的に記述した場合，その方 程式は必ずしも代数的に（つまり，数の代わりに文字を用いた方程式による）解が得 られるとは限らない．数値解析とは，代数的に解を求めることができない問題や，正 ...
28
倒立振子で学ぶ制御工学 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... LMI に基づくゲインスケジューリング制御法や，さまざまな非線形制御法が有効である． 第 II 部「発展編」では，アドバンストな制御理論のトピックスとして以下の三つを 取り上げ，使うという立場から学習する． • LMI による制御：多目的制御，最適制御，ロバスト制御，拘束系の制御，ゲイン スケジューリング制御 ...
38
いつでも どこでも スマホで数学! サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行当時のものです.
... 「数式処理」という機能にあります．スマホにこ の機能をもつアプリをインストールすると，数学の式の展開・因数分解・ 方程式の解法や微分積分の計算を，式のままで行うことができます．さら には，大学で学ぶ線形代数・微分方程式・フーリエ解析なども含め，様々 ...
36
本書は 以下の URL からダウンロードできます 安全なウェブサイトの作り方
... タグの属性値等に相当する全て の出力要素にエスケープ処理を行います。エスケープ処理には、ウェブページの表示に影響する特別 な記号文字（「<」、「>」、「&」等）を、HTML エンティティ（「<」、「>」、「&」等）に置換する方法が あります。また、HTML ...
106
フリーソフトではじめる機械学習入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... これらの定義に沿って考えてゆくと，機械学習のタスクとしては，推論・認識・予 測・適応などを伴う，人間の知的活動の様々な分野がその対象となりそうです．これ らは人間の高度な知的活動ですので，実現するのは非常に難しそうですが，これらの ...
32
初期設定とログイン方法 タブレット版 ipad または Android タブレットをご利用の方は 専用アプリを使って読書することができます 以下のリンクからアクセスするか アプリストアで BookLooper と検索してアプリをインストールしてください <ipad>
... Android アプリを初回起動して、上記のエラーメッセージが出た場合はお持ち端末の設定 画面から WiFi 機能をオンにして、再度、アプリを起動してください。WiFi 機能がオンであ れば、WiFi への接続環境がなくともご利用いただけます。初回の設定が完了すれば WiFi ...
34
Booking Request CMA CGM Group ebusiness Step 1: e-business にサインイン 以下のリンクから弊社ウエッブサイトにアクセスします ブランドごとにリンク先が異なります ご注意ください CMA のブッキングは - URL:
... 温度設定が必要ない（Reefer Tank ではない）場合には、Non-Operating を選択願います。 ＳＯＣコンテナの申告： Shipper’s Own Container (SOC)でのブッキングをご希望の場合には、Shipper Owned を選択いた だき、次ページＳｔｅｐ６で出てまいります ...
21
Booking Request CMA CGM Group ebusiness Step 1: e-business にサインイン 以下のリンクから弊社ウエッブサイトにアクセスします ブランドごとにリンク先が異なります ご注意ください CMA のブッキングは - URL:
... Party から次の Step で運賃の支払者を選択いただきます。運賃、諸チャージのお支 払いをされる方の入力が必須となります。 ➢ エラーメッセージ が出た場合、複数の Parties に ...
24
例題で学ぶオペレーションズ リサーチ入門 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... OR の基礎を理解したいと考える実 務者を対象として，しかも比較的短期間に OR の概要が把握できるよう配慮してまと めました．そのため，内容は初学者でも使える手法に厳選し，基礎的な事項を中心に 説明しました．説明は平易を心掛け，さらに，数学が苦手でも読めるよう，数式の変 ...
31
植生のリモートセンシング サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.
... 2001 がある．角度効果の理解と定量化のためには，異なる植物 群落とその構成要素における放射伝達特性の角度変化をうまくモデル化する必要がある． そのため，あまり一般的ではないが，角度効果の測定と分析についてと，放射環境下で明 ...
35