Microsoft PowerPoint - logic.pptx

Size: px
Start display at page:

Download "Microsoft PowerPoint - logic.pptx"

Transcription

1 今回からは 知識と推論 と題し, エージェントがタスクをこなすために必要な実世界に関する知識をコンピュータ内で知識ベースとして表現し, それらの知識を連携させる推論技術によって新しい知識を導き出し, エージェントの問題解決や意志決定に役立てる技術を学ぶ. 特に今回の授業では 論理 による知識の表現方法と推論方式について学ぶ. まず, 人工知能と論理の関係を理解した後, いろいろな論理と推論方式があることを見る. また, 論理を取り扱う際の学術的な枠組みとして, 構文論, 意味論, および推論システムを明確に定義する必要があることを理解する. つぎに, 論理の具体的かつ最も簡単な例として命題論理を取り上げ, その構文論, 意味論, および推論システムを学び, 例題として, 簡単なゲームの世界を見ておく. 1

2 これまで学んできた 探索 による問題解決手法では, 問題を初期状態オペレータ ( 行為 ) ゴール検査経路コストの4つの情報で規定し, おもに探索アルゴリズムの性能を議論してきた. しかし, ここでは, 状態 や 行為の結果( 状態遷移 ) をどのように記述したら良いか, という問題が置き去りにされている. 探索アルゴリズムにおいては, 状態とは抽象的なものであり, たとえば, 整数によって表現された一連番号であってもかまわないし, また, それ以上のことを必要ともしていない. しかし, 複雑な問題領域においては, 探索アルゴリズム以前の問題として, 解決すべき問題を探索問題として定式化すること自体が困難である. すなわち, 状態 をコンピュータで扱うためにどのように表現すれば良いのだろうか? また, 行為の結果 をどのように計算 ( あるいは推論 ) したら良いのだろうか? 明らかに, それらを適切に記述するための一般的な方法が必要である. その基盤となるのが, 論理 の一般的な考え方とそれを扱う技術である. 2

3 人工知能における 論理 の役割を説明しておく. 一般に, 人間がコンピュータに情報を与える 言語 といえば, すぐプログラミング言語が思いつく. それはコンピュータへの命令の列すなわちプログラムを具体的に記述したものである. しかし, そもそもAIの究極的な目的の1つは, そのようにいちいち命令しなくても, ふつうの言葉で意図を伝えれば, 自動的に適切な命令を組み立てて実行してくれる知的な情報システムを目指しているのである. そのようなAIシステムでは, コンピュータと人間が日本語や英語などの自然言語で対話することを理想としている. その言語は必ずしもコンピュータへの命令を表したものではなく,AIシステムに何らかの知識を与えたり, 解いて欲しい問題を与えたり, 質問したりするために使われる.AIシステムは獲得した知識を知識ベースと呼ばれる一種のデータベースに蓄える. ただ, 残念ながら, コンピュータが自然言語を理解するという技術はまだ開発途上にあり, 現状ではそれをじゅうぶんに利用することはできない. そこで何らかの人工的な言語で, 知識を与えたり, 問題を記述したり, 質問したりするための知識表現言語と呼ばれる類の言語が必要となる. そのようなものの一つが, 論理に基づく言語なのである. つまり, ここでは論理とは言語のことである. したがって, それを理解するには, 他のいろいろな言語を理解するのと同様に, 正しい文を生成するための文法規則 ( 構文論 ) や与えられた文を解釈する規則 ( 意味論 ) を理解する必要がある. つまり, 知識や問題を表現するという静的な側面が,AIにおける論理の第一の役割である. AIにおける論理の第二の役割は動的なものである.AIシステムは, 与えられた知識ベース内の複数の知識を使って, 新しい知識を動的に生成する機能が求められる. その機能を推論という. コンピュータに推論を行わせるアルゴリズムは, 論理的な推論規則に基づく推論システムとして定義される. したがって, ここでは論理とは推論アルゴリズムという計算手順を作り出すものとして働くことになる. 3

4 単に論理や推論といっても,AIではさまざまなものが考えられている. まず, 数学の試験問題を解くときのように, 問題を解決するための知識が正確ですべてそろっているとき, それは完全な知識であるという. そういう場合には, ギリシャ時代から発展してきて現在でも多くの科学で使われている標準的で数学的な論理と推論の方法がある. もっとも単純なのは, 命題の真偽を1つの記号で表現する命題論理 (propositional logic) である. それをやや複雑にしたものとして, 命題を, 主語や目的語を表現する名詞 ( オブジェクト ) とそれらの間の関係を表現する動詞 ( 述語 ) などに分解して, 複数の記号で1つの命題を構造的に表現する述語論理 (predicate logic) がある. そのほかにも, 英語の助動詞 must が表す必然性や can, may が表す可能性を扱うことができる様相論理 (modal logic) が研究されている. また, 時間の概念を論理的に表現し,always( いつも~である ) とか eventually( いつか必ず~となる ) のような表現を可能とする時相論理 (temporal logic) は, ハードウェアやソフトウェアの設計や検証にも用いられつつある. 4

5 実際の応用システムでは, 数学と異なり, すべての知識が正確であるとは限らない. そのような不確実な知識を扱うための推論手法として, ファジィ推論 (fuzzy reasoning) や確率推論 (probabilistic reasoning) がある. また, 知識が欠けているときの推論手法として, 帰納推論 (inductive reasoning) や仮説推論 (hypothetical reasoning) などがある. 特に, 帰納推論は,AI における知識獲得 (knowledge acquisition) や機械学習 (machine learning) の分野と密接に関係している. 5

6 このように, 一言で 論理 と言っても, 様々なものがある. それらの論理を規定する ( 区別する ) ものは, 構文論, 意味論, 推論システム である. 構文論 (syntax) は, その論理の定める 論理式 と呼ばれるものが, 記号をどのように並べたものなのかを定める規則である. すなわち, 記号の列が与えられたとき, それが 論理式 か否かを判定する規則( いわゆる 文法 ) である. 意味論 (semantics) は, 論理式の意味を理解するための規則である. 論理では, 興味のある 意味 とは 真か偽か ということなので, 意味論は, 与えられた論理式の真偽を判定する規則となる. 推論システム (inference system) は,( 一般に複数の ) 論理式が与えられたとき, それを 前提 として, 結論 として言える論理式を導く( 推論する ) ための規則である. コンピュータを使って推論をさせるので, その規則は, 人間が介在しなくても実行可能な 機械的 なものでなければならない. 6

7 命題論理の構文論, 意味論, 推論システムについて学ぶ. また, 例題として, 簡単なゲームの世界を見ておく. 7

8 命題論理の構文論 ( 文法 ) は, 論理式を作るための正しい規則からなっている. まず, 論理式を作るための素材ともいえる構文要素を覚えてほしい. これは, 論理定数, 命題記号, 論理記号の3つに分類される. その説明はこのスライドに書かれているとおりである. 8

9 これらの構文要素を適切な規則にしたがって並べた記号列が文法的に正しい論理式である. その規則はこのスライドに書かれた 4 つである. 9

10 つぎに, 文法的に正しい論理式が与えられたとして, それが何を意味するのかを決める意味論を見ていこう. ここでいう 意味 とは, 命題論理の場合, その論理式が表している命題が 真 なのか 偽 なのかということである. その基礎となる概念は, 論理式を真偽に対応付けるための解釈 (interpretation) というものである. スライドの図のように, 論理式の集合 ( 構文領域と呼ぶ ) と真偽値の集合 ( 意味領域と呼ぶ ) を考える. 解釈とは, 構文領域に含まれる論理式の1つ1つを意味領域に含まれる真偽値に対応付けるもの ( 写像 ) である. そのような対応は組合せに応じてたくさんあるので, 解釈というものもたくさんあることになる. しかし, つぎのような条件によって, 実際には, 命題変数にのみ対応 ( 意味 ) を決めることにして, それ以外の論理式に対する対応 ( 意味 ) は自動的に決まるようにする. その仕組みは, つぎの2つの条件を満たすように解釈を定めることである. 1つめの条件は,true という論理式にはT( 真 ) を対応付け,falseという論理式には F( 偽 ) を対応付けるということである. この条件は,true, falseの常識的な意味付けを要求している. 2つめの条件は,not, and, or,, の5つの論理記号を用いて作られた論理式の意味は, その中に含まれる命題変数の意味に基づいて, 計算によって自動的に求めるということである. このスライドの例の場合,p にT( 真 ) を対応付けているので, 計算規則により,not p は必ずF( 偽 ) に対応付けられる. その計算規則は, つぎのスライドで. 10

11 このスライドがその計算規則である. これを使うと, どんな複雑な論理式の値も命題変数の値に基づいて計算することができる. 11

12 これは論理式の意味 ( 真偽値 ) の計算例である. 12

13 論理式 P1,P2,...,Pnのすべてを真とするような任意の解釈のもとで論理式 Qが真となるとき,QはP1,P2,...,Pnの論理的帰結(logical consequence) であるといい, このスライドのような表記をする. 論理的帰結かどうかを判断する一般的な方法は, その定義にしたがって, つぎのようなものとなる. まず, P1,P2,...,Pnのすべてを真とする解釈をすべて求める. これは命題変数に真偽値を与えるすべての組合せについて, 論理式の値を計算することによってできる. つぎに, それらの解釈ごとにQが真かどうかを計算する. どの解釈に対してもQが真ならば, 定義によって,QはP1,P2,...,Pnの論理的帰結である. そうでなければ,Qは論理的帰結ではない. しかし, この方法は, 組合せ的 ( 指数関数的 ) な数 (2の m 乗 : mは命題変数の数 ) のすべての解釈について論理式の真偽を計算するので多くの手間が必要である. これから学ぶ推論システムを用いればそのような手間を軽減して結論を導くことができる場合がある. 13

14 最後に, 命題論理の推論システムについて見ていこう. 推論システムは, 推論規則の集まりからなっている. 推論規則は, スライドのように, 一見, 分数のように見える形式で表現される. 横線の上にある論理式を前提, 横線の下にある論理式を結論という. いま いろいろな知識が論理式の形式で知識ベース (KB) に格納されているとしよう 推論規則の意味は, 前提がすべて KB に入っていたら, 結論を KB に追加してよい ということである. これにより,KB の状態が遷移することになる. 14

15 実際には, 推論規則内に書かれている変数は,KB 内の論理式 ( 命題 ) そのものではなく, それらを値としてとる変数 ( 命題変数 ) を表している. たとえば, スライドに書かれている モーダス ポネンス という推論規則は, KB 内に知識 P および知識 P Q が含まれていれば, 知識 Q を KB に追加してよい という意味だが, 実際には, このスライドにあるように, 知識 Glitter と知識 Glitter Gold から知識 Gold を推論するために使うことができる. 15

16 推論規則は, その結論が前提の論理的帰結であるとき, 健全 (sound) であるという. すなわち, その前提がすべて真であるときに, 結論もまた必ず ( いかなる解釈によっても ) 真であるということである. 16

17 すでに見たモーダス ポネンスは健全な推論規則である. それを確かめるには P, Q に与える4 通りの解釈 (P,Q) =(T,T),(T,F),(F,T),(F,F) のそれぞれについて 前提 P, P Q がTならば 結論 QもまたTであることを確認すればよい. 実際 前提 P, P Q がT である解釈は (P,Q) =(T,T) のみであり このとき確かにQ=Tとなる. 逆は真なり は健全な推論規則ではない.P=F, Q=T という解釈を考えると, 前提 P Q はTだが, 結論 Q PはFだからである. 17

18 この授業では, 健全な推論規則のみに興味がある. このスライドに示す 6 つの推論規則は, いずれも健全である. この他にも健全な推論規則は, たくさんある. 18

19 例題として, 図のような 魔宮の世界 を考えよう. 舞台はある洞窟をモデル化した4 4の格子からなっている.AIの研究では, このようなモデルが良く用いられることが多く, 一般に, 格子の世界 (grid world) と呼ばれている. 登場人物は, エージェント と モンスター. そして, 人物ではないが, 黄金 と 落とし穴 というオブジェクトが登場する. 19

20 エージェントがとることのできる行為 ( アクション ) はスライドに示されているとおりである. 基本的には, 上下左右のいずれかに1マス進むことを繰り返す. 黄金のあるマスまで来るとそれを拾う. その後, 出発地点まで戻り, 洞窟から脱出する. エージェントのタスク ( ゴール ) は, モンスターと落とし穴を避けながら黄金を拾って, 出発点に戻って脱出することである. 20

21 エージェントはつぎのような知覚能力 ( センサー ) によって, 自分の置かれている環境の情報の一部を知ることができる. (1) モンスターのいる部屋およびそれに隣接した部屋では異臭 (Stench) を感じる. (2) 穴のある部屋およびそれに隣接した部屋では風 (Breeze) を感じる. (3) 黄金のある部屋では黄金の光 (Glitter) を感じる. (4) この世界の周囲を囲んでいる壁にぶつかると衝撃 (Bump) を感じる. 21

22 では, エージェントがどのような判断のもとで行動したらよいか, 考えてみよう. まず,(1,1) には異臭も風もないので,(1,2),(2,1) はOKである. エージェントは, その事実を記憶する. スライドでは,OKを表すマークを図に記入して, エージェントの記憶の状態を表示している. 22

23 エージェントは (2,1) に進んだとしよう. そこで風を感知するので, (2,2) または (3,1) に落とし穴がある ということがわかる. エージェントはそれを記憶する. スライドでは, (2,2) および (3,1) のそれぞれに 落とし穴があるかもしれない ことを表すマークを記入している. 23

24 (2,2) と (3,1) は危険なので, エージェントは, 安全とわかっている (1,1) を経由して, (1,2) へ進む. 24

25 (1,2) で異臭を感知するので, (1,1)or(2,2)or(1,3) にモンスターがいるということがわかる. しかし, 実際には, (1,1) にはモンスターはいない (2,2) にはモンスターがいるはずはないということがわかる. なぜなら,(1,1) はさきほどまでいた場所であり, また,(2,2) にもしモンスターがいるなら, さきほど行った (2,1) で異臭を感じたはずだからである. ゆえに, (1,3) にモンスターがいるということがわかる. スライドには, そのマークを記入してある. 25

26 また,(1,2) に風がないことから, (2,2) には落とし穴がないということがわかる. ところで, すでに3 枚前のスライドで (2,2) または (3,1) に落とし穴があるということがわかっていた.(2,2) には落とし穴がないことがわかったので, (3,1) に落とし穴があるということがわかる. 26

27 その後, エージェントは安全が保証された (2,2) へ進み,( その後, いったん (3,2) へ進んでも, また (2,2) へ戻ってきて,) 安全とわかっている (2,3) へ進んで黄金を手に入れることになる. 27

28 この例題においては, - 異臭とモンスター, および風と落とし穴を結び付ける一般的な知識 ( 背景知識 ) - 現場でセンサー入力から得たその場限りの知識 ( 事実 ) を論理的に組み合わせて推論を行うことによって, エージェントは適切な行動を決定することができている. 命題論理を用いて, 背景知識と事実の一部を記述すると, このスライドのようになる. ( それぞれの命題記号の意味は説明しないが, 自明であろう.) 28

29 いま記述した 5 つの知識から,(1,2) が安全であることを, 推論システムを用いて, 機械的に導くことができる. 29

Microsoft PowerPoint - HITproplogic.ppt

Microsoft PowerPoint - HITproplogic.ppt 人工知能論理と推論 (1) 知識を組み合わせて知識を生み出す 命題論理 (Propositional Logic) 人工知能と論理 命題論理の構文 命題論理の意味 節形式 1 なぜ人工知能で論理を学ぶのか なぜ人工知能で論理 (LOGIC) を学ぶのか. 言語としての論理 構文, 意味 アルゴリズムとしての論理 推論 知識ベース ELL, ASK 知識 知識 推論アルゴリズム (= LOGIC) 知識

More information

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識 知識工学 II ( 第 回 ) 二宮崇 ( ninomiya@cs.ehime-u.ac.jp ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7. 知識に基づくエージェント知識ベース (knowledge base, KB): 文 の集合 他の 文 から導出されない

More information

Microsoft PowerPoint - fol.ppt

Microsoft PowerPoint - fol.ppt 認知システム論知識と推論 (4) 知識と論理でを組み合わせて問題を解決する 一階述語論理 (first-order predicate logic) 一階述語論理入門 構文論 ( 論理式の文法 ) 意味論 ( 論理式の解釈 ) 前回までは, 命題論理 の構文と意味, および推論規則について学んだ. 今回からは, 命題論理よりも表現力の高い を学ぶ. 今回はその導入部分であり, 最初に, 命題論理では表現力が不十分であることを理解した後,

More information

Microsoft PowerPoint - logic ppt [互換モード]

Microsoft PowerPoint - logic ppt [互換モード] 述語論理と ( 全称 ) ( 存在 ) 回の講義の概観 : 命題論理 ( 真理値 ) 2 述語論理 ( モデルと解釈 ) 意味論 semantics 命題論理 ( 公理と推論規則 ) 述語論理 ( 公理と推論規則 ) syntax 構文論 preview 述語論理は命題論理よりも複雑 例題 : 次の文は真か偽か? ( 曖昧な文です ) すべての自然数 x に対して x < y を満たすような自然数

More information

論理学補足文書 7. 恒真命題 恒偽命題 1. 恒真 恒偽 偶然的 それ以上分割できない命題が 要素命題, 要素命題から 否定 連言 選言 条件文 双 条件文 の論理演算で作られた命題が 複合命題 である 複合命題は, 命題記号と論理記号を 使って, 論理式で表現できる 複合命題の真偽は, 要素命題

論理学補足文書 7. 恒真命題 恒偽命題 1. 恒真 恒偽 偶然的 それ以上分割できない命題が 要素命題, 要素命題から 否定 連言 選言 条件文 双 条件文 の論理演算で作られた命題が 複合命題 である 複合命題は, 命題記号と論理記号を 使って, 論理式で表現できる 複合命題の真偽は, 要素命題 7. 恒真命題 恒偽命題. 恒真 恒偽 偶然的 それ以上分割できない命題が 要素命題, 要素命題から 否定 連言 選言 条件文 双 条件文 の論理演算で作られた命題が 複合命題 である 複合命題は, 命題記号と論理記号を 使って, 論理式で表現できる 複合命題の真偽は, 要素命題の真偽によって, 真になる場合もあれば, 偽になる場合もある 例えば, 次の選言は, A, の真偽によって, 真にも偽にもなる

More information

Microsoft PowerPoint - 10.pptx

Microsoft PowerPoint - 10.pptx m u. 固有値とその応用 8/7/( 水 ). 固有値とその応用 固有値と固有ベクトル 行列による写像から固有ベクトルへ m m 行列 によって線形写像 f : R R が表せることを見てきた ここでは 次元平面の行列による写像を調べる とし 写像 f : を考える R R まず 単位ベクトルの像 u y y f : R R u u, u この事から 線形写像の性質を用いると 次の格子上の点全ての写像先が求まる

More information

Microsoft PowerPoint - 5.ppt [互換モード]

Microsoft PowerPoint - 5.ppt [互換モード] 5. チューリングマシンと計算 1 5-1. チューリングマシンとその計算 これまでのモデルでは テープに直接書き込むことができなかった また 入力テープヘッドの操作は右方向だけしか移動できなかった これらの制限を取り除いた機械を考える このような機械をチューリングマシン (Turing Machine,TM) と呼ぶ ( 実は TMは 現実のコンピュータの能力を持つ ) TM の特徴 (DFA との比較

More information

Microsoft PowerPoint - 2.ppt [互換モード]

Microsoft PowerPoint - 2.ppt [互換モード] 0 章数学基礎 1 大学では 高校より厳密に議論を行う そのために 議論の議論の対象を明確にする必要がある 集合 ( 定義 ) 集合 物の集まりである集合 X に対して X を構成している物を X の要素または元という 集合については 3 セメスタ開講の 離散数学 で詳しく扱う 2 集合の表現 1. 要素を明示する表現 ( 外延的表現 ) 中括弧で 囲う X = {0,1, 2,3} 慣用的に 英大文字を用いる

More information

次は三段論法の例である.1 6 は妥当な推論であり,7, 8 は不妥当な推論である. [1] すべての犬は哺乳動物である. すべてのチワワは犬である. すべてのチワワは哺乳動物である. [3] いかなる喫煙者も声楽家ではない. ある喫煙者は女性である. ある女性は声楽家ではない. [5] ある学生は

次は三段論法の例である.1 6 は妥当な推論であり,7, 8 は不妥当な推論である. [1] すべての犬は哺乳動物である. すべてのチワワは犬である. すべてのチワワは哺乳動物である. [3] いかなる喫煙者も声楽家ではない. ある喫煙者は女性である. ある女性は声楽家ではない. [5] ある学生は 三段論法とヴェン図 1. 名辞と A, E, I, O 三段論法 (syllogism) は推論の一種であり, そこに含まれる言明の形式は次の四つに分類される. A すべての F は G である ( 全称肯定 universal affirmative) E いかなる F も G ではない ( 全称否定 universal negative) I ある F は G である ( 特称肯定 particular

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション コンパイラとプログラミング言語 第 3 4 週 プログラミング言語の形式的な記述 2014 年 4 月 23 日 金岡晃 授業計画 第 1 週 (4/9) コンパイラの概要 第 8 週 (5/28) 下向き構文解析 / 構文解析プログラム 第 2 週 (4/16) コンパイラの構成 第 9 週 (6/4) 中間表現と意味解析 第 3 週 (4/23) プログラミング言語の形式的な記述 第 10 週

More information

文法と言語 ー文脈自由文法とLR構文解析2ー

文法と言語 ー文脈自由文法とLR構文解析2ー 文法と言語ー文脈自由文法とLR 構文解析 2 ー 和田俊和資料保存場所 http://vrl.sys.wakayama-u.ac.jp/~twada/syspro/ 前回までの復習 最右導出と上昇型構文解析 最右導出を前提とした場合, 上昇型の構文解析がしばしば用いられる. 上昇型構文解析では生成規則の右辺にマッチする部分を見つけ, それを左辺の非終端記号に置き換える 還元 (reduction)

More information

融合規則 ( もっとも簡単な形, 選言的三段論法 ) ll mm ll mm これについては (ll mm) mmが推論の前提部になり mmであるから mmは常に偽となることがわかり ll mmはllと等しくなることがわかる 機械的には 分配則より (ll mm) mm (ll mm) 0 ll m

融合規則 ( もっとも簡単な形, 選言的三段論法 ) ll mm ll mm これについては (ll mm) mmが推論の前提部になり mmであるから mmは常に偽となることがわかり ll mmはllと等しくなることがわかる 機械的には 分配則より (ll mm) mm (ll mm) 0 ll m 知識工学 ( 第 5 回 ) 二宮崇 ( ninomiya@cs.ehime-u.ac.jp ) 論理的エージェント (7 章のつづき ) 証明の戦略その 3 ( 融合法 ) 証明の戦略その 1 やその 2 で証明できたときは たしかにKKKK ααとなることがわかるが なかなか証明できないときや 証明が本当にできないときには KKKK ααが成り立つのか成り立たないのかわからない また どのような証明手続きを踏めば証明できるのか定かではない

More information

Microsoft PowerPoint - 3.ppt [互換モード]

Microsoft PowerPoint - 3.ppt [互換モード] 3. プッシュダウンオートマトンと文脈自由文法 1 3-1. プッシュダウンオートマトン オートマトンはメモリがほとんど無かった この制限を除いた機械を考える 理想的なスタックを利用できるようなオートマトンをプッシュダウンオートマトン (Push Down Automaton,PDA) という 0 1 入力テープ 1 a 1 1 0 1 スタッb 入力テープを一度走査したあと ク2 入力テプを度走査したあと

More information

オートマトンと言語

オートマトンと言語 オートマトンと言語 回目 4 月 8 日 ( 水 ) 章 ( 数式の記法, スタック,BNF 記法 ) 授業資料 http://ir.cs.yamanashi.ac.jp/~ysuzuki/public/automaton/ 授業の予定 ( 中間試験まで ) 回数月日 内容 4 月 日オートマトンとは, オリエンテーション 4 月 8 日 章 ( 数式の記法, スタック,BNF) 3 4 月 5 日

More information

プログラミング基礎

プログラミング基礎 C プログラミング Ⅰ 条件分岐 : if 文, if~else 文 条件分岐 条件分岐とは ある条件が成立したときとしないときで処理の内容を変更する場合に応じた, 複雑な処理を行うことができる 条件分岐 yes 成績が良かったか? no ご褒美に何か買ってもらう お小遣いが減らされる C 言語では,if 文,if~else 文,if~else if~else 文,switch 文で条件分岐の処理を実現できる

More information

切片 ( 定数項 ) ダミー 以下の単回帰モデルを考えよう これは賃金と就業年数の関係を分析している : ( 賃金関数 ) ここで Y i = α + β X i + u i, i =1,, n, u i ~ i.i.d. N(0, σ 2 ) Y i : 賃金の対数値, X i : 就業年数. (

切片 ( 定数項 ) ダミー 以下の単回帰モデルを考えよう これは賃金と就業年数の関係を分析している : ( 賃金関数 ) ここで Y i = α + β X i + u i, i =1,, n, u i ~ i.i.d. N(0, σ 2 ) Y i : 賃金の対数値, X i : 就業年数. ( 統計学ダミー変数による分析 担当 : 長倉大輔 ( ながくらだいすけ ) 1 切片 ( 定数項 ) ダミー 以下の単回帰モデルを考えよう これは賃金と就業年数の関係を分析している : ( 賃金関数 ) ここで Y i = α + β X i + u i, i =1,, n, u i ~ i.i.d. N(0, σ 2 ) Y i : 賃金の対数値, X i : 就業年数. ( 実際は賃金を就業年数だけで説明するのは現実的はない

More information

Microsoft Word - VBA基礎(3).docx

Microsoft Word - VBA基礎(3).docx 上に中和滴定のフローチャートを示しました この中で溶液の色を判断する部分があります このような判断はプログラムではどのように行うのでしょうか 判断に使う命令は IF 文を使います IF は英語で もし何々なら という意味になります 条件判断条件判断には次の命令を使います If 条件式 1 Then ElseIf 条件式 2 Then ElseIf 条件式 3 Then 実行文群 1 実行文群 2 実行文群

More information

2014 年度 SCCP s 古河智弥 目的 論理型プログラミング言語 Prolog の学習 宣言型言語であり 探索などに利用することができるプログラミング言語 Prolog の基本を習得し 機械学習の研究への応用および データベースの問い合せ言語として Prolog を記述する方法を

2014 年度 SCCP s 古河智弥 目的 論理型プログラミング言語 Prolog の学習 宣言型言語であり 探索などに利用することができるプログラミング言語 Prolog の基本を習得し 機械学習の研究への応用および データベースの問い合せ言語として Prolog を記述する方法を 2014 年度 SCCP s1200191 古河智弥 目的 論理型プログラミング言語 Prolog の学習 宣言型言語であり 探索などに利用することができるプログラミング言語 Prolog の基本を習得し 機械学習の研究への応用および データベースの問い合せ言語として Prolog を記述する方法を学ぶ 概要 The Art of Prolog [1] の全 24 章の内 始めの 2 章を読み 内容の要約を発表する形式で学習した

More information

kantan_C_1_iro3.indd

kantan_C_1_iro3.indd 1 章 C# の学習を始める前に プログラムの 01 基本 Keyword プログラムプログラミング言語 プログラムとは プログラムとは コンピューターへの命令の集まりです 学校の先生が プリントを持ってきて と生徒に指示した場合を考えてみましょう 先生をプログラマー ( プログラムの作成者 ) 生徒をコンピューターとしたとき プリントを持ってきて という指示がプログラムです 人間とは違い コンピューターは曖昧な指示を理解できません

More information

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦   形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, オートマトン 形式言語及び演習 1 有限オートマトンとは 酒井正彦 wwwtrscssinagoya-uacjp/~sakai/lecture/automata/ 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, } 形式言語 : 数学モデルに基づいて定義された言語 認識機械 : 文字列が該当言語に属するか? 文字列 機械 受理

More information

マウス操作だけで本格プログラミングを - 世界のナベアツをコンピュータで - プログラムというと普通は英語みたいな言葉で作ることになりますが 今回はマウスの操作だけで作ってみます Baltie, SGP System 操作説明ビデオなどは 高校 情

マウス操作だけで本格プログラミングを - 世界のナベアツをコンピュータで - プログラムというと普通は英語みたいな言葉で作ることになりますが 今回はマウスの操作だけで作ってみます Baltie, SGP System   操作説明ビデオなどは 高校 情 マウス操作だけで本格プログラミングを - 世界のナベアツをコンピュータで - プログラムというと普通は英語みたいな言葉で作ることになりますが 今回はマウスの操作だけで作ってみます Baltie, SGP System http://www.sgpsys.com/en/ 操作説明ビデオなどは 高校 情報科 の教材 指導案作ってみました http://www.beyondbb.jp/ Zip の教材内に入っています

More information

コンピュータ工学講義プリント (7 月 17 日 ) 今回の講義では フローチャートについて学ぶ フローチャートとはフローチャートは コンピュータプログラムの処理の流れを視覚的に表し 処理の全体像を把握しやすくするために書く図である 日本語では流れ図という 図 1 は ユーザーに 0 以上の整数 n

コンピュータ工学講義プリント (7 月 17 日 ) 今回の講義では フローチャートについて学ぶ フローチャートとはフローチャートは コンピュータプログラムの処理の流れを視覚的に表し 処理の全体像を把握しやすくするために書く図である 日本語では流れ図という 図 1 は ユーザーに 0 以上の整数 n コンピュータ工学講義プリント (7 月 17 日 ) 今回の講義では フローチャートについて学ぶ フローチャートとはフローチャートは コンピュータプログラムの処理の流れを視覚的に表し 処理の全体像を把握しやすくするために書く図である 日本語では流れ図という 図 1 は ユーザーに 0 以上の整数 n を入力してもらい その後 1 から n までの全ての整数の合計 sum を計算し 最後にその sum

More information

Microsoft PowerPoint Java基本技術PrintOut.ppt [互換モード]

Microsoft PowerPoint Java基本技術PrintOut.ppt [互換モード] 第 3 回 Java 基本技術講義 クラス構造と生成 33 クラスの概念 前回の基本文法でも少し出てきたが, オブジェクト指向プログラミングは という概念をうまく活用した手法である. C 言語で言う関数に似ている オブジェクト指向プログラミングはこれら状態と振る舞いを持つオブジェクトの概念をソフトウェア開発の中に適用し 様々な機能を実現する クラス= = いろんなプログラムで使いまわせる 34 クラスの概念

More information

数学の世界

数学の世界 東京女子大学文理学部数学の世界 (2002 年度 ) 永島孝 17 6 行列式の基本法則と効率的な計算法 基本法則 三次以上の行列式についても, 二次の場合と同様な法則がなりたつ ここには三次の場合を例示するが, 四次以上でも同様である 1 単位行列の行列式の値は 1 である すなわち 1 0 0 0 1 0 1 0 0 1 2 二つの列を入れ替えると行列式の値は 1 倍になる 例えば a 13 a

More information

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦   正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語 オートマトン 形式言語及び演習 3. 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ とは ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械 : 言語を記号列で定義 - 記述しやすい ( ユーザフレンドリ ) 例 :01 + 10 - UNIX の grep コマンド - UNIX の

More information

今回のプログラミングの課題 ( 前回の課題で取り上げた )data.txt の要素をソートして sorted.txt というファイルに書出す ソート (sort) とは : 数の場合 小さいものから大きなもの ( 昇順 ) もしくは 大きなものから小さなもの ( 降順 ) になるよう 並び替えること

今回のプログラミングの課題 ( 前回の課題で取り上げた )data.txt の要素をソートして sorted.txt というファイルに書出す ソート (sort) とは : 数の場合 小さいものから大きなもの ( 昇順 ) もしくは 大きなものから小さなもの ( 降順 ) になるよう 並び替えること C プログラミング演習 1( 再 ) 4 講義では C プログラミングの基本を学び 演習では やや実践的なプログラミングを通して学ぶ 今回のプログラミングの課題 ( 前回の課題で取り上げた )data.txt の要素をソートして sorted.txt というファイルに書出す ソート (sort) とは : 数の場合 小さいものから大きなもの ( 昇順 ) もしくは 大きなものから小さなもの ( 降順

More information

日本語「~ておく」の用法について

日本語「~ておく」の用法について 論文要旨 日本語 ~ ておく の用法について 全体構造及び意味構造を中心に 4D502 徐梓競 第一章はじめに研究背景 目的 方法本論文は 一見単純に見られる ~ておく の用法に関して その複雑な用法とその全体構造 及び意味構造について分析 考察を行ったものである 研究方法としては 各種辞書 文法辞典 参考書 教科書 先行研究として ~ておく の用法についてどのようなもの挙げ どのようにまとめているかをできる得る限り詳細に

More information

Java Scriptプログラミング入門 3.6~ 茨城大学工学部情報工学科 08T4018Y 小幡智裕

Java Scriptプログラミング入門 3.6~ 茨城大学工学部情報工学科 08T4018Y  小幡智裕 Java Script プログラミング入門 3-6~3-7 茨城大学工学部情報工学科 08T4018Y 小幡智裕 3-6 組み込み関数 組み込み関数とは JavaScript の内部にあらかじめ用意されている関数のこと ユーザ定義の関数と同様に 関数名のみで呼び出すことができる 3-6-1 文字列を式として評価する関数 eval() 関数 引数 : string 式として評価する文字列 戻り値 :

More information

書式に示すように表示したい文字列をダブルクォーテーション (") の間に書けば良い ダブルクォーテーションで囲まれた文字列は 文字列リテラル と呼ばれる プログラム中では以下のように用いる プログラム例 1 printf(" 情報処理基礎 "); printf("c 言語の練習 "); printf

書式に示すように表示したい文字列をダブルクォーテーション () の間に書けば良い ダブルクォーテーションで囲まれた文字列は 文字列リテラル と呼ばれる プログラム中では以下のように用いる プログラム例 1 printf( 情報処理基礎 ); printf(c 言語の練習 ); printf 情報処理基礎 C 言語についてプログラミング言語は 1950 年以前の機械語 アセンブリ言語 ( アセンブラ ) の開発を始めとして 現在までに非常に多くの言語が開発 発表された 情報処理基礎で習う C 言語は 1972 年にアメリカの AT&T ベル研究所でオペレーションシステムである UNIX を作成するために開発された C 言語は現在使われている多数のプログラミング言語に大きな影響を与えている

More information

JavaプログラミングⅠ

JavaプログラミングⅠ Java プログラミング Ⅰ 2 回目 ようこそ Java へ 今日の講義で学ぶ内容 画面へのメッセージの表示 文字や文字列 数値を表現するリテラル 制御コードを表すエスケープシーケンス 画面出力の基本形 ソースファイル名 : クラス名.java class クラス名 System.out.println(" ここに出力したい文字列 1 行目 "); System.out.println(" ここに出力したい文字列

More information

Microsoft PowerPoint - exp2-02_intro.ppt [互換モード]

Microsoft PowerPoint - exp2-02_intro.ppt [互換モード] 情報工学実験 II 実験 2 アルゴリズム ( リスト構造とハッシュ ) 実験を始める前に... C 言語を復習しよう 0. プログラム書ける? 1. アドレスとポインタ 2. 構造体 3. 構造体とポインタ 0. プログラム書ける? 講義を聴いているだけで OK? 言語の要素技術を覚えれば OK? 目的のプログラム? 要素技術 データ型 配列 文字列 関数 オブジェクト クラス ポインタ 2 0.

More information

構造化プログラミングと データ抽象

構造化プログラミングと データ抽象 計算の理論 後半第 3 回 λ 計算と型システム 本日の内容 λ 計算の表現力 ( 前回のつづき ) 前回の復習 不動点演算子と再帰 λ 計算の重要な性質 チャーチ ロッサー性 簡約戦略 型付き λ 計算 ブール値 組 ブール値と組の表現 ( 復習 ) true, false を受け取り 対応する要素を返す関数 として表現 T = λt.λf.t F = λt.λf.f if e 1 then e

More information

構造化プログラミングと データ抽象

構造化プログラミングと データ抽象 計算の理論 後半第 3 回 λ 計算と型システム 本日の内容 λ 計算の表現力 ( 前回の復習 ) データの表現 不動点演算子と再帰 λ 計算の重要な性質 チャーチ ロッサー性 簡約戦略 型付き λ 計算 ブール値 組 ブール値と組の表現 true, false を受け取り 対応する要素を返す関数 として表現 T = λt.λf.t F = λt.λf.f if e 1 then e 2 else

More information

Microsoft Word - no11.docx

Microsoft Word - no11.docx 3. 関数 3.1 関数関数は数学の関数と同じようなイメージを持つと良いでしょう 例えば三角関数の様に一つの実数値 ( 角度 ) から値を求めますし 対数関数の様に二つの値から一つの値を出すものもあるでしょう これをイメージしてもらえば結構です つまり 何らかの値を渡し それをもとに何かの作業や計算を行い その結果を返すのが関数です C 言語の関数も基本は同じです 0 cos 1 cos(0) =

More information

喨微勃挹稉弑

喨微勃挹稉弑 == 全微分方程式 == 全微分とは 変数の関数 z=f(, ) について,, の増分を Δ, Δ とするとき, z の増分 Δz は Δz z Δ+ z Δ で表されます. この式において, Δ 0, Δ 0 となる極限を形式的に dz= z d+ z d (1) で表し, dz を z の全微分といいます. z は z の に関する偏導関数で, を定数と見なし て, で微分したものを表し, 方向の傾きに対応します.

More information

Microsoft PowerPoint - logic ppt [互換モード]

Microsoft PowerPoint - logic ppt [互換モード] 寄せられた質問 : 演習問題について この講義の範囲に含まれる適切な演習問題が載っている参考書がありますか? できれば解答や解説が付いているものがあると良いのですが 第 回の授業の中で 演習問題に取り組む方法を説明しますこの授業は 回だけ行うもので 書籍の1 冊分に比べると少ない分量しかカバーしていません 回の講義の概観 : 1 完全性と不完全性 命題論理 命題論理 ( 真理値 ) ( 公理と推論規則

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション ロボットの計画と制御 マルコフ決定過程 確率ロボティクス 14 章 http://www.probabilistic-robotics.org/ 1 14.1 動機付けロボットの行動選択のための確率的なアルゴリズム 目的 予想される不確かさを最小化したい. ロボットの動作につての不確かさ (MDP で考える ) 決定論的な要素 ロボット工学の理論の多くは, 動作の影響は決定論的であるという仮定のもとに成り立っている.

More information

Microsoft Word ã‡»ã…«ã‡ªã…¼ã…‹ã…žã…‹ã…³ã†¨åłºæœ›å•¤(佒芤喋çfl�)

Microsoft Word ã‡»ã…«ã‡ªã…¼ã…‹ã…žã…‹ã…³ã†¨åłºæœ›å•¤(佒芤喋çfl�) Cellulr uo nd heir eigenlues 東洋大学総合情報学部 佐藤忠一 Tdzu So Depren o Inorion Siene nd rs Toyo Uniersiy. まえがき 一次元セルオ-トマトンは数学的には記号列上の行列の固有値問題である 固有値問題の行列はふつう複素数体上の行列である 量子力学における固有値問題も無限次元ではあるが関数環上の行列でその成分は可換環である

More information

nlp1-05.key

nlp1-05.key 実用的な構文解析 自然言語処理論 I 今までの例に挙げた文法は非常に単純 実用的な文法 いろいろな文に対応しなければならない それだけ規則の数も増える 5. 文法 3( 素性構造と ) 規則を効率的に管理する必要がある 1 2 一致の例 英語における一致 (agreement) 数 ( 単数形, 複数形 ) 人称 (1 人称,2 人称,3 人称 ) 名詞句の例 a desk the desks a

More information

微分方程式による現象記述と解きかた

微分方程式による現象記述と解きかた 微分方程式による現象記述と解きかた 土木工学 : 公共諸施設 構造物の有用目的にむけた合理的な実現をはかる方法 ( 技術 ) に関する学 橋梁 トンネル ダム 道路 港湾 治水利水施設 安全化 利便化 快適化 合法則的 経済的 自然および人口素材によって作られた 質量保存則 構造物の自然的な性質 作用 ( 外力による応答 ) エネルギー則 の解明 社会的諸現象のうち マスとしての移動 流通 運動量則

More information

プログラミング実習I

プログラミング実習I プログラミング実習 I 05 関数 (1) 人間システム工学科井村誠孝 m.imura@kwansei.ac.jp 関数とは p.162 数学的には入力に対して出力が決まるもの C 言語では入出力が定まったひとまとまりの処理 入力や出力はあるときもないときもある main() も関数の一種 何かの仕事をこなしてくれる魔法のブラックボックス 例 : printf() 関数中で行われている処理の詳細を使う側は知らないが,

More information

             論文の内容の要旨

             論文の内容の要旨 論文の内容の要旨 論文題目 Superposition of macroscopically distinct states in quantum many-body systems ( 量子多体系におけるマクロに異なる状態の重ね合わせ ) 氏名森前智行 本論文では 量子多体系におけるマクロに異なる状態の重ねあわせを研究する 状態の重ね合わせ というのは古典論には無い量子論独特の概念であり 数学的には

More information

計算機アーキテクチャ

計算機アーキテクチャ 計算機アーキテクチャ 第 11 回命令実行の流れ 2014 年 6 月 20 日 電気情報工学科 田島孝治 1 授業スケジュール ( 前期 ) 2 回日付タイトル 1 4/7 コンピュータ技術の歴史と コンピュータアーキテクチャ 2 4/14 ノイマン型コンピュータ 3 4/21 コンピュータのハードウェア 4 4/28 数と文字の表現 5 5/12 固定小数点数と浮動小数点表現 6 5/19 計算アーキテクチャ

More information

Microsoft Word - 11 進化ゲーム

Microsoft Word - 11 進化ゲーム . 進化ゲーム 0. ゲームの理論の分類 これまで授業で取り扱ってきたゲームは 協 ゲームと呼ばれるものである これはプレイヤー同士が独立して意思決定する状況を表すゲームであり ふつう ゲーム理論 といえば 非協力ゲームを表す これに対して プレイヤー同士が協力するという前提のもとに提携形成のパタンや利得配分の在り方を分析するゲームを協 ゲームという もっとも 社会現象への応用可能性も大きいはずなのに

More information

様々なミクロ計量モデル†

様々なミクロ計量モデル† 担当 : 長倉大輔 ( ながくらだいすけ ) この資料は私の講義において使用するために作成した資料です WEB ページ上で公開しており 自由に参照して頂いて構いません ただし 内容について 一応検証してありますが もし間違いがあった場合でもそれによって生じるいかなる損害 不利益について責任を負いかねますのでご了承ください 間違いは発見次第 継続的に直していますが まだ存在する可能性があります 1 カウントデータモデル

More information

数学の学び方のヒント

数学の学び方のヒント 数学 Ⅱ における微分単元の 指導法の改善に関する研究 2017 年 10 月北数教旭川大会で発表した内容です 北海道札幌国際情報高等学校和田文興 1 Ⅰ. 研究の動機と背景 高校では極限を厳密に定義できず, 曖昧でわかりにくい. 私自身は, はじめて微分と出会ったとき, 極限の考え方等が納得できなかった. y () a h 接線 a 傾き (a) 2 Ⅰ. 研究の動機と背景 微分の指導改善に関する優れた先行研究がいくつかあるが,

More information

プログラミングA

プログラミングA プログラミング A 第 5 回 場合に応じた処理 繰り返し 2019 年 5 月 13 日 東邦大学金岡晃 場合に応じた処理 1 こういうプログラムを作りたい 5 教科のテスト 100 点以上各科目の点数の合計が 100 点未満 おめでとう! これで 100 点越えのプレゼントを獲得! というメッセージを出力 残念!100 点越えのプレゼントまであと ** 点! というメッセージを出力 5 教科の点数の合計が

More information

Microsoft PowerPoint - 08LR-conflicts.ppt [互換モード]

Microsoft PowerPoint - 08LR-conflicts.ppt [互換モード] 属性文法 コンパイラ理論 8 LR 構文解析補足 : 属性文法と conflicts 櫻井彰人 Racc (Yacc 系のcc) は属性文法的 非終端記号は 値 (semantic value) を持つ パーザーは パーザースタックをreduceするとき ( 使う規則を X ::= s とする ) s に付随する semantic value (Racc では配列 valueにある ) を用いて action

More information

Microsoft PowerPoint - mp11-02.pptx

Microsoft PowerPoint - mp11-02.pptx 数理計画法第 2 回 塩浦昭義情報科学研究科准教授 shioura@dais.is.tohoku.ac.jp http://www.dais.is.tohoku.ac.jp/~shioura/teaching 前回の復習 数理計画とは? 数理計画 ( 復習 ) 数理計画問題とは? 狭義には : 数理 ( 数学 ) を使って計画を立てるための問題 広義には : 与えられた評価尺度に関して最も良い解を求める問題

More information

補足 中学で学習したフレミング左手の法則 ( 電 磁 力 ) と関連付けると覚えやすい 電磁力は電流と磁界の外積で表される 力 F 磁 電磁力 F li 右ねじの回転の向き電 li ( l は導線の長さ ) 補足 有向線分とベクトル有向線分 : 矢印の位

補足 中学で学習したフレミング左手の法則 ( 電 磁 力 ) と関連付けると覚えやすい 電磁力は電流と磁界の外積で表される 力 F 磁 電磁力 F li 右ねじの回転の向き電 li ( l は導線の長さ ) 補足 有向線分とベクトル有向線分 : 矢印の位 http://totemt.sur.ne.p 外積 ( ベクトル積 ) の活用 ( 面積, 法線ベクトル, 平面の方程式 ) 3 次元空間の つのベクトルの積が つのベクトルを与えるようなベクトルの掛け算 ベクトルの積がベクトルを与えることからベクトル積とも呼ばれる これに対し内積は符号と大きさをもつ量 ( スカラー量 ) を与えるので, スカラー積とも呼ばれる 外積を使うと, 平行四辺形や三角形の面積,

More information

Sort-of-List-Map(A)

Sort-of-List-Map(A) Java オブジェクト集合のソートとラムダ式の初歩 山本富士男 2016-4-23 この資料は Java での コレクション Coections と ジェネリクス Generics に関してさらに深く学ぶためのものです 以下の事項を学びます レポート課題が 5 ページの末尾にあります 名称のない内部クラスである 匿名クラス を使う 一般のオブジェクトの集合 (List や Map など ) を何らかの基準でソートする

More information

Microsoft Word - VBA基礎(6).docx

Microsoft Word - VBA基礎(6).docx あるクラスの算数の平均点と理科の平均点を読み込み 総点を計算するプログラムを考えてみましょう 一クラスだけ読み込む場合は test50 のようなプログラムになります プログラムの流れとしては非常に簡単です Sub test50() a = InputBox(" バナナ組の算数の平均点を入力してください ") b = InputBox(" バナナ組の理科の平均点を入力してください ") MsgBox

More information

C プログラミング演習 1( 再 ) 2 講義では C プログラミングの基本を学び 演習では やや実践的なプログラミングを通して学ぶ

C プログラミング演習 1( 再 ) 2 講義では C プログラミングの基本を学び 演習では やや実践的なプログラミングを通して学ぶ C プログラミング演習 1( 再 ) 2 講義では C プログラミングの基本を学び 演習では やや実践的なプログラミングを通して学ぶ 今回のプログラミングの課題 次のステップによって 徐々に難易度の高いプログラムを作成する ( 参照用の番号は よくわかる C 言語 のページ番号 ) 1. キーボード入力された整数 10 個の中から最大のものを答える 2. 整数を要素とする配列 (p.57-59) に初期値を与えておき

More information

紀要_第8号-表紙

紀要_第8号-表紙 二重否定除去と矛盾の公理の関係に関する一考察 中 原 陽 三 A Study on the Relationship between the two Axioms; the Double Negative Elimination and the Principle of Explosion Yozo NAKAHARA Keywords: Minimal logic Double negative elimination

More information

Microsoft Word - intl_finance_09_lecturenote

Microsoft Word - intl_finance_09_lecturenote ドルの需要ドルの供給国際金融論 29 秋講義メモ 第 2 章為替レートの決定理論 : アセット アプローチ ( 教科書第 4 章 ) イントロダクション円 ドル レート 円で測ったドルの価格 他の製品と価格と同様に, ドルの需要と供給の相互作用で為替レートは決まる. ところで, ドルが需要されたり供給されたりするのはどんな時? 米国製品 サービスの輸入 ( ドルの需要 ), 自国製品 サービスの輸出

More information

Microsoft Word - 佐々木和彦_A-050(校了)

Microsoft Word - 佐々木和彦_A-050(校了) 教育総研発 A-050 号 知識が活かされる英語の指導とは ~ 使い途 あっての知識 ~ 代々木ゼミナール英語講師 佐々木和彦 文法や構文など 英語の知識を生徒に与えると そのような知識を与える前よりも生徒の読解スピードが圧倒的に遅くなることがあります 特に 教えられた知識を使おうとする真面目な生徒にそのような傾向があります もちろん 今までいい加減に読んでいた英文を それまでは意識したことがなかったルールや知識を意識しながら読むのですから

More information

国際数学・理科教育動向調査(TIMSS2015)のポイント

国際数学・理科教育動向調査(TIMSS2015)のポイント ティムズ国際数学 理科教育動向調査 (TIMSS2015) のポイント 調査概要 国際教育到達度評価学会 (IEA) が 児童生徒の算数 数学 理科の到達度を国際的な尺度によって測定し 児童生徒の学習環境等との関係を明らかにするために実施した 小学校は 50 か ( 約 27 万人 ) 中学校は 40 か ( 約 25 万人 ) が参加した 一部の国で 調査対象と異なる学年が調査を受けているため それらの国については含めていない

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 平成 28 年度全国学力 学習状況調査 中学校数学 2 特徴的な問題 A 問題より A B C 垂線の作図方法について理解しているかどうか 3 関連問題 問題番号 問題の概要 全国正答率 三重県 公立 正答率 H24A 4 (1) 角の二等分線の作図の方法で作図された直線がもつ性質として, 正しい記述を選ぶ 58.2% 56.9% H26A 4 (2) 線分の垂直二等分線の作図の方法で作図される直線について,

More information

<4D F736F F F696E74202D208CA48B868FD089EE288FDA82B582A294C5292E B8CDD8AB B83685D>

<4D F736F F F696E74202D208CA48B868FD089EE288FDA82B582A294C5292E B8CDD8AB B83685D> フィルタリングルール最適化問題の解法ル最適化問題の解法 神奈川大学理学部情報科学科 田中研究室 インターネットの仕組み IP アドレス - パケット 00 送り先 IPアドレス発信元 IPアドレスを含む 確実に相手に届く ルータ ルータ 00 IP アドレス ルータ自宅.55.5. ルータ 大学.7.5.0 インターネットの仕組み パケット - ルータ 00 00 ルータ パケット 00 000 00

More information

JAPLA研究会資料 2010/9/ Excel_

JAPLA研究会資料 2010/9/ Excel_ JAPLA 研究会資料 2010/12/4 Sudoku_Lab.doc 数独 on Excel_J を楽しむ -J Sudoku でどうやって数独の問題を解くか - 西川利男 3. 数独 on Excel_J で楽しむ数独パズルが まだ根強く人気を保っている 3 大新聞には 毎日あきもせず連載されている 数独が出だした頃 マイ ワイフが相当凝っていたが やめてしまった ところが 絵の方がうまくいかないのであろうか

More information

<4D F736F F F696E74202D B835E8AEE91622D566F6C322D B A C682CD2E >

<4D F736F F F696E74202D B835E8AEE91622D566F6C322D B A C682CD2E > コンピュータ基礎 アルゴリズムとは - 人間の作業を通じて考察する 成蹊大学理工学部情報科学科 アルゴリズム (algorithm, 算法 ) A well-ordered collection of unambiguous and effectively computable operations that, when executed, produces a result and halts in

More information

nlp1-04a.key

nlp1-04a.key 自然言語処理論 I. 文法 ( 構文解析 ) その 構文解析 sytctic lysis, prsig 文の構文的な構造を決定すること句構造文法が使われることが多い文法による構文木は一般に複数ある 構文木の違い = 解釈の違い 構文解析の目的 句構造文法の規則を使って, 文を生成できる構文木を全て見つけだすこと 文法が入力文を生成できるかどうかを調べるだけではない pro I 構文解析とは 構文木の違い

More information

始めに, 最下位共通先祖を求めるための関数 LcaDFS( int v ) の処理を記述する. この関数は値を返さない再帰的な void 関数で, 点 v を根とする木 T の部分木を深さ優先探索する. 整数の引数 v は, 木 T の点を示す点番号で, 配列 NodeSpace[ ] へのカーソル

始めに, 最下位共通先祖を求めるための関数 LcaDFS( int v ) の処理を記述する. この関数は値を返さない再帰的な void 関数で, 点 v を根とする木 T の部分木を深さ優先探索する. 整数の引数 v は, 木 T の点を示す点番号で, 配列 NodeSpace[ ] へのカーソル 概略設計書 作成者築山修治作成日 2012 年 10 月 1 日 概要 ( どのような入力に対して, どのような出力をするかの概要説明 ) * 木 T および質問点対の集合 P が与えられたとき, 各質問点対 p = (v,w) P の最下位共通先祖 ( すなわち木 T において点 v と w の共通の先祖 a で,a の真の子孫には v と w の共通の先祖が無いような点 ) を見出す関数である.

More information

プログラミングA

プログラミングA プログラミング A 第 5 回 場合に応じた処理 繰り返し 2017 年 5 月 15 日 東邦大学金岡晃 前回の復習 (1) このプログラムを作成し実行してください 1 前回の復習 (2) このプログラムを作成し実行してください 2 前回の復習 (3) 3 前回の復習 演算子 代入演算子 インクリメント シフト演算子 型変換 4 場合に応じた処理 5 こういうプログラムを作りたい 5 教科のテスト

More information

040402.ユニットテスト

040402.ユニットテスト 2. ユニットテスト ユニットテスト ( 単体テスト ) ユニットテストとはユニットテストはプログラムの最小単位であるモジュールの品質をテストすることであり その目的は結合テスト前にモジュール内のエラーを発見することである テストは機能テストと構造テストの2つの観点から行う モジュールはプログラムを構成する要素であるから 単体では動作しない ドライバとスタブというテスト支援ツールを使用してテストを行う

More information

2-1 / 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリ

2-1 / 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリ 2-1 / 32 4. 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリティ n を持つ関数記号からなる Σ の部分集合 例 : 群 Σ G = {e, i, } (e Σ

More information

Microsoft Word - thesis.doc

Microsoft Word - thesis.doc 剛体の基礎理論 -. 剛体の基礎理論初めに本論文で大域的に使用する記号を定義する. 使用する記号トルク撃力力角運動量角速度姿勢対角化された慣性テンソル慣性テンソル運動量速度位置質量時間 J W f F P p .. 質点の並進運動 質点は位置 と速度 P を用いる. ニュートンの運動方程式 という状態を持つ. 但し ここでは速度ではなく運動量 F P F.... より質点の運動は既に明らかであり 質点の状態ベクトル

More information

オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦 正規言語の性質 反復補題正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると

オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦   正規言語の性質 反復補題正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ 正規言語の性質 正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると仮定してを使い 矛盾を導く 閉包性正規言語を演算により組み合わせて得られる言語が正規言語となる演算について調べる

More information

1 ICT Foundation 命題論理の基礎 Copyright 2010, IT Gatekeeper Project Ohiw a Lab. All rights reserved.

1 ICT Foundation 命題論理の基礎 Copyright 2010, IT Gatekeeper Project Ohiw a Lab. All rights reserved. 1 ICT Foundation 命題論理の基礎 Copyright 2010, IT Gatekeeper Project Ohiw a Lab. All rights reserved. 2 論理学を学習する理由 コンピュータ科学の基礎として コンピュータに使われている論理回路を理解するための基礎となります今回は基礎的な論理回路を紹介する程度にとどめるプログラミングにも重要な概念 大学生の一般常識として

More information

nlp1-12.key

nlp1-12.key 自然言語処理論 I 12. テキスト処理 ( 文字列照合と検索 ) 情報検索 information retrieval (IR) 広義の情報検索 情報源からユーザの持つ問題 ( 情報要求 ) を解決できる情報を見つけ出すこと 狭義の情報検索 文書集合の中から ユーザの検索質問に適合する文書を見つけ出すこと 適合文書 : 検索質問の答えが書いてある文書 テキスト検索 (text retrieval)

More information

COMET II のプログラミング ここでは機械語レベルプログラミングを学びます 1

COMET II のプログラミング ここでは機械語レベルプログラミングを学びます 1 COMET II のプログラミング ここでは機械語レベルプログラミングを学びます 1 ここでは機械命令レベルプログラミングを学びます 機械命令の形式は学びましたね機械命令を並べたプログラムを作ります 2 その前に プログラミング言語について 4 プログラミング言語について 高級言語 (Java とか C とか ) と機械命令レベルの言語 ( アセンブリ言語 ) があります 5 プログラミング言語について

More information

ポインタ変数

ポインタ変数 プログラミング及び実習 5 馬青 1 文字処理 数値処理 : 整数 浮動小数点数 単一の文字は と ( シングルクォーテーション ) で囲んで表現される 文字のデータ型は char または int である int を用いたほうが ライブラリの関数の引数の型と一致する 以下は全部 int の使用に統一する 従って int ch; で文字変数を宣言しておくと ch= A ; のように ch に文字 A

More information

行列、ベクトル

行列、ベクトル 行列 (Mtri) と行列式 (Determinnt). 行列 (Mtri) の演算. 和 差 積.. 行列とは.. 行列の和差 ( 加減算 ).. 行列の積 ( 乗算 ). 転置行列 対称行列 正方行列. 単位行列. 行列式 (Determinnt) と逆行列. 行列式. 逆行列. 多元一次連立方程式のコンピュータによる解法. コンピュータによる逆行列の計算.. 定数項の異なる複数の方程式.. 逆行列の計算

More information

ic3_cf_p1-70_1018.indd

ic3_cf_p1-70_1018.indd 章オペレーティングシステム()の基いソフトウェアで 基本ソフトウェア とも呼ばれます 第礎第 章 オペレーティングシステム () の基礎 - の役割と動作 ここでは コンピューターの基本的な構成やオペレーティングシステムの基本的な役割と操作を学習します -- コンピューターの基本構成 現代社会では さまざまな種類のコンピューター機器が各分野で利用されています 身近なものでは パソコン タブレット スマートフォンなどがありますが

More information

2011年度 東京大・文系数学

2011年度 東京大・文系数学 東京大学 ( 文系 ) 前期日程問題 解答解説のページへ x の 次関数 f( x) = x + x + cx+ d が, つの条件 f () =, f ( ) =, ( x + cx+ d) dx= をすべて満たしているとする このような f( x) の中で定積分 I = { f ( x) } dx を最小にするものを求め, そのときの I の値を求めよ ただし, f ( x) は f ( x)

More information

3-4 switch 文 switch 文は 単一の式の値によって実行する内容を決める ( 変える ) 時に用いる 例えば if 文を使って次のようなプログラムを作ったとする /* 3 で割った余りを求める */ #include <stdio.h> main() { int a, b; } pri

3-4 switch 文 switch 文は 単一の式の値によって実行する内容を決める ( 変える ) 時に用いる 例えば if 文を使って次のようなプログラムを作ったとする /* 3 で割った余りを求める */ #include <stdio.h> main() { int a, b; } pri 3-4 switch 文 switch 文は 単一の式の値によって実行する内容を決める ( 変える ) 時に用いる 例えば if 文を使って次のようなプログラムを作ったとする /* 3 で割った余りを求める */ int a, b; b = a % 3; if (b== 0) printf( %d は 3 で割り切れます n, a); if (b == 1) printf( %d を 3 で割った余りは

More information

2 年 5 月 9 日 ( 水曜 3 限 )/6 5. リンダール メカニズムと公共財の自発的供給 5. リンダール メカニズムとフリーライダー問題 本章では 4 章で導かれた公共財の供給関数や各個人の公共財に対する需要関数などを用い ての議論が進められる すなわち 公共財の供給関数 () (4-3) や 個人 の公共財に対する需要関数 ) (4-3) ( などが用いられる ( ) なお は公共財の量

More information

プログラミング入門1

プログラミング入門1 プログラミング入門 1 第 5 回 繰り返し (while ループ ) 授業開始前に ログオン後 不要なファイルを削除し て待機してください Java 1 第 5 回 2 参考書について 参考書は自分にあったものをぜひ手元において自習してください 授業の WEB 教材は勉強の入り口へみなさんを案内するのが目的でつくられている これで十分という訳ではない 第 1 回に紹介した本以外にも良書がたくさんある

More information

課題研究の進め方 これは,10 年経験者研修講座の各教科の課題研究の研修で使っている資料をまとめたものです 課題研究の進め方 と 課題研究報告書の書き方 について, 教科を限定せずに一般的に紹介してありますので, 校内研修などにご活用ください

課題研究の進め方 これは,10 年経験者研修講座の各教科の課題研究の研修で使っている資料をまとめたものです 課題研究の進め方 と 課題研究報告書の書き方 について, 教科を限定せずに一般的に紹介してありますので, 校内研修などにご活用ください 課題研究の進め方 これは,10 年経験者研修講座の各教科の課題研究の研修で使っている資料をまとめたものです 課題研究の進め方 と 課題研究報告書の書き方 について, 教科を限定せずに一般的に紹介してありますので, 校内研修などにご活用ください 課題研究の進め方 Ⅰ 課題研究の進め方 1 課題研究 のねらい日頃の教育実践を通して研究すべき課題を設定し, その究明を図ることにより, 教員としての資質の向上を図る

More information

Java講座

Java講座 ~ 第 1 回 ~ 情報科学部コンピュータ科学科 2 年竹中優 プログラムを書く上で Hello world 基礎事項 演算子 構文 2 コメントアウト (//, /* */, /** */) をしよう! インデントをしよう! 変数などにはわかりやすい名前をつけよう! 要するに 他人が見て理解しやすいコードを書こうということです 3 1. Eclipse を起動 2. ファイル 新規 javaプロジェクト

More information

例 e 指数関数的に減衰する信号を h( a < + a a すると, それらのラプラス変換は, H ( ) { e } e インパルス応答が h( a < ( ただし a >, U( ) { } となるシステムにステップ信号 ( y( のラプラス変換 Y () は, Y ( ) H ( ) X (

例 e 指数関数的に減衰する信号を h( a < + a a すると, それらのラプラス変換は, H ( ) { e } e インパルス応答が h( a < ( ただし a >, U( ) { } となるシステムにステップ信号 ( y( のラプラス変換 Y () は, Y ( ) H ( ) X ( 第 週ラプラス変換 教科書 p.34~ 目標ラプラス変換の定義と意味を理解する フーリエ変換や Z 変換と並ぶ 信号解析やシステム設計における重要なツール ラプラス変換は波動現象や電気回路など様々な分野で 微分方程式を解くために利用されてきた ラプラス変換を用いることで微分方程式は代数方程式に変換される また 工学上使われる主要な関数のラプラス変換は簡単な形の関数で表されるので これを ラプラス変換表

More information

Microsoft Word ws03Munchhausen2.doc

Microsoft Word ws03Munchhausen2.doc 2 0 0 9 年度第 2 学期共通教育科目 哲学基礎 B 認識するとはどういうことか? 第三回講義 Was bisher geschah 1 ミュンヒハウゼンのトリレンマ 2 トリレンマ 課題 予想される反論 ミュンヒハウゼンのトリレンマは トリレンマという論理法則にもとづいた論証であるので 基礎付け批判にならない を批判しなさい 注 1 : ミュンヒハウゼンのトリレンマの議論への批判 クラフトは

More information

"éı”ç·ıå½¢ 微勃挹稉弑

"éı”ç·ıå½¢ 微勃挹稉弑 == 1 階線形微分方程式 == 次の形の常微分方程式を1 階線形常微分方程式といいます. '+P()=Q() (1) 方程式 (1) の右辺 : Q() を 0 とおいてできる同次方程式 ( この同次方程式は, 変数分離形になり比較的容易に解けます ) '+P()=0 () の1つの解を とすると, 方程式 (1) の一般解は =( Q() +C) (3) で求められます. 参考書には 上記の の代わりに,

More information

Microsoft PowerPoint - 3.pptx

Microsoft PowerPoint - 3.pptx 条件分岐 ( if 文 ) 第 2 回の講義資料で出題した練習問題や演習問題の計算は, 勿論電卓でもでき, わざわざプログラムを作ってまでするほどの計算ではありませんでした. プログラムによる計算と電卓の計算の きな違いの つが, プログラムには, 条件による処理の分岐, 繰り返しがあることです. まず今回は, 条件による処理の分岐 ( 処理の切り替え と う が適切かもしれません ) の書き について学んでいきます.

More information

Microsoft PowerPoint - mp11-06.pptx

Microsoft PowerPoint - mp11-06.pptx 数理計画法第 6 回 塩浦昭義情報科学研究科准教授 shioura@dais.is.tohoku.ac.jp http://www.dais.is.tohoku.ac.jp/~shioura/teaching 第 5 章組合せ計画 5.2 分枝限定法 組合せ計画問題 組合せ計画問題とは : 有限個の もの の組合せの中から, 目的関数を最小または最大にする組合せを見つける問題 例 1: 整数計画問題全般

More information

DVIOUT-SS_Ma

DVIOUT-SS_Ma 第 章 微分方程式 ニュートンはリンゴが落ちるのを見て万有引力を発見した という有名な逸話があります 無重力の宇宙船の中ではリンゴは落ちないで静止していることを考えると 重力が働くと始め静止しているものが動き出して そのスピードはどんどん大きくなる つまり速度の変化が現れることがわかります 速度は一般に時間と共に変化します 速度の瞬間的変化の割合を加速度といい で定義しましょう 速度が変化する, つまり加速度がでなくなるためにはその原因があり

More information

学習指導要領

学習指導要領 (1) 数と式 ア数と集合 ( ア ) 実数数を実数まで拡張する意義を理解し 簡単な無理数の四則計算をすること 絶対値の意味を理解し適切な処理することができる 例題 1-3 の絶対値をはずせ 展開公式 ( a + b ) ( a - b ) = a 2 - b 2 を利用して根号を含む分数の分母を有理化することができる 例題 5 5 + 2 の分母を有理化せよ 実数の整数部分と小数部分の表し方を理解している

More information

JavaプログラミングⅠ

JavaプログラミングⅠ Java プログラミング Ⅰ 12 回目クラス 今日の講義で学ぶ内容 クラスとは クラスの宣言と利用 クラスの応用 クラス クラスとは 異なる複数の型の変数を内部にもつ型です 直観的に表現すると int 型や double 型は 1 1 つの値を管理できます int 型の変数 配列型は 2 5 8 6 3 7 同じ型の複数の変数を管理できます 配列型の変数 ( 配列変数 ) クラスは double

More information

B. モル濃度 速度定数と化学反応の速さ 1.1 段階反応 ( 単純反応 ): + I HI を例に H ヨウ化水素 HI が生成する速さ は,H と I のモル濃度をそれぞれ [ ], [ I ] [ H ] [ I ] に比例することが, 実験により, わかっている したがって, 比例定数を k

B. モル濃度 速度定数と化学反応の速さ 1.1 段階反応 ( 単純反応 ): + I HI を例に H ヨウ化水素 HI が生成する速さ は,H と I のモル濃度をそれぞれ [ ], [ I ] [ H ] [ I ] に比例することが, 実験により, わかっている したがって, 比例定数を k 反応速度 触媒 速度定数 反応次数について. 化学反応の速さの表し方 速さとは単位時間あたりの変化の大きさである 大きさの値は 0 以上ですから, 速さは 0 以上の値をとる 化学反応の速さは単位時間あたりの物質のモル濃度変化の大きさで表すのが一般的 たとえば, a + bb c (, B, は物質, a, b, c は係数 ) という反応において,, B, それぞれの反応の速さを, B, とし,

More information

コンピュータ応用・演習 情報処理システム

コンピュータ応用・演習 情報処理システム 2010 年 12 月 15 日 データエンジニアリング 演習 情報処理システム データマイニング ~ データからの自動知識獲得手法 ~ 1. 演習の目的 (1) 多種多様な膨大な量のデータを解析し, 企業の経営活動などに活用することが望まれている. 大規模データベースを有効に活用する, データマイニング技術の研究が脚光を浴びている 1 1. 演習の目的 (2) POS データを用いて顧客の購買パターンを分析する.

More information

講義の進め方 第 1 回イントロダクション ( 第 1 章 ) 第 2 ~ 7 回第 2 章 ~ 第 5 章 第 8 回中間ミニテスト (11 月 15 日 ) 第 9 回第 6 章 ~ 第 回ローム記念館 2Fの実習室で UML によるロボット制御実習 定期試験 2

講義の進め方 第 1 回イントロダクション ( 第 1 章 ) 第 2 ~ 7 回第 2 章 ~ 第 5 章 第 8 回中間ミニテスト (11 月 15 日 ) 第 9 回第 6 章 ~ 第 回ローム記念館 2Fの実習室で UML によるロボット制御実習 定期試験 2 ソフトウェア工学 第 7 回 木曜 5 限 F205 神原弘之 京都高度技術研究所 (ASTEM RI) http://www.metsa.astem.or.jp/se/ 1 講義の進め方 第 1 回イントロダクション ( 第 1 章 ) 第 2 ~ 7 回第 2 章 ~ 第 5 章 第 8 回中間ミニテスト (11 月 15 日 ) 第 9 回第 6 章 ~ 第 12 14 回ローム記念館 2Fの実習室で

More information

3,, となって欲しいのだが 実際の出力結果を確認すると両方の配列とも 10, 2, 3,, となってしまっている この結果は代入後の配列 a と b は同じものになっていることを示している つまり 代入演算子 = によるの代入は全要素のコピーではなく 先をコピーする ため 代入後の a と b は

3,, となって欲しいのだが 実際の出力結果を確認すると両方の配列とも 10, 2, 3,, となってしまっている この結果は代入後の配列 a と b は同じものになっていることを示している つまり 代入演算子 = によるの代入は全要素のコピーではなく 先をコピーする ため 代入後の a と b は 配列 2 前回には 配列の基本的な使い方と拡張 for 文について学んだ 本日は配列に付いての追加の説明として 配列のコピー 文字列配列 ガーベジコレクション 多次元配列について学んでいく 配列のコピー配列を用意し その全ての要素を別の配列にコピーすることを考える まず 以下に間違った例を示していく プログラム例 1 public class Prog07_01 int[] a = 1, 2, 3,,

More information

Microsoft PowerPoint - OS12.pptx

Microsoft PowerPoint - OS12.pptx # # この資料は 情報工学レクチャーシリーズ松尾啓志著 ( 森北出版株式会社 ) を用いて授業を行うために 名古屋工業大学松尾啓志 津邑公暁が作成しました パワーポイント 7 で最終版として保存しているため 変更はできませんが 授業でお使いなる場合は松尾 (matsuo@nitech.ac.jp) まで連絡いただければ 編集可能なバージョンをお渡しする事も可能です # 主記憶管理 : ページ置き換え方式

More information

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63>

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63> 2. 厚生経済学の ( 第 ) 基本定理 2 203 年 4 月 7 日 ( 水曜 3 限 )/8 本章では 純粋交換経済において厚生経済学の ( 第 ) 基本定理 が成立することを示す なお より一般的な生産技術のケースについては 4.5 補論 2 で議論する 2. 予算集合と最適消費点 ( 完全 ) 競争市場で達成される資源配分がパレート効率的であることを示すための準備として 個人の最適化行動を検討する

More information

ファイナンスのための数学基礎 第1回 オリエンテーション、ベクトル

ファイナンスのための数学基礎 第1回 オリエンテーション、ベクトル 時系列分析 変量時系列モデルとその性質 担当 : 長倉大輔 ( ながくらだいすけ 時系列モデル 時系列モデルとは時系列データを生み出すメカニズムとなるものである これは実際には未知である 私たちにできるのは観測された時系列データからその背後にある時系列モデルを推測 推定するだけである 以下ではいくつかの代表的な時系列モデルを考察する 自己回帰モデル (Auoregressive Model もっとも頻繁に使われる時系列モデルは自己回帰モデル

More information

Microsoft Word _VBAProg1.docx

Microsoft Word _VBAProg1.docx 1. VBA とマクロ 1.1 VBA とは VBA(Visual Basic for Applications) は 1997 年に Microsoft 社がマクロを作成するために開発された言語である Windows 対応のアプリケーションを開発するためのプログラミング言語 Visual Basic をもとにしているため 次のような特徴がある 1 VBA は Excel Word, Access,

More information

T_BJPG_ _Chapter3

T_BJPG_ _Chapter3 第 3 章 研究方法 3.1 研究のデザイン本研究では 処理されたデータが数字ではない その上 本研究に処理されることは言葉や物事の実際の状況である そのために使用される研究方法は定性的記述法 (Qualitative Descriptive) である (Sudaryanto, 1992: 62). 記述する方法では研究者がデータ分類によって データに関する特徴を挙げられる それに そのデータの性質的及びほかのデータとの関係に関することを判断する

More information

Microsoft Word - Stattext12.doc

Microsoft Word - Stattext12.doc 章対応のない 群間の量的データの検定. 検定手順 この章ではデータ間に 対 の対応のないつの標本から推定される母集団間の平均値や中央値の比較を行ないます 検定手法は 図. のようにまず正規に従うかどうかを調べます 但し この場合はつの群が共に正規に従うことを調べる必要があります 次に 群とも正規ならば F 検定を用いて等分散であるかどうかを調べます 等分散の場合は t 検定 等分散でない場合はウェルチ

More information

Microsoft Word - NumericalComputation.docx

Microsoft Word - NumericalComputation.docx 数値計算入門 武尾英哉. 離散数学と数値計算 数学的解法の中には理論計算では求められないものもある. 例えば, 定積分は, まずは積分 ( 被積分関数の原始関数をみつけること できなければ値を得ることはできない. また, ある関数の所定の値における微分値を得るには, まずその関数の微分ができなければならない. さらに代数方程式の解を得るためには, 解析的に代数方程式を解く必要がある. ところが, これらは必ずしも解析的に導けるとは限らない.

More information

初めてのプログラミング

初めてのプログラミング Excel の使い方 2 ~ 数式の入力 グラフの作成 ~ 0. データ処理とグラフの作成 前回は エクセルを用いた表の作成方法について学びました 今回は エクセルを用いたデータ処理方法と グラフの作成方法について学ぶことにしましょう 1. 数式の入力 1 ここでは x, y の値を入力していきます まず 前回の講義を参考に 自動補間機能を用いて x の値を入力してみましょう 補間方法としては A2,

More information