公理による特性類の定義
2階算術と有界選択公理 (2階算術の諸体系の研究)
... 定義 3 $\Gamma$ を 2 階算術の論理式の集合として , 以下の公理図式を定義する ...$(Z)_{n}(n<l)$ の – 意性をさす . このとき, 次のことは上の定理の証明より明らか ...
5
半順序集合上のゲーム (公理的集合論)
... 帰納法を完結させるため , 任意の極限順序数 $\lambda<\mathrm{c}\mathrm{f}\beta$ について $b\mathrm{r}\lambda\in N_{\nu_{\lambda}}$ である ことを示さねぼならない. モデノレ $\langle H_{\theta},\triangleleft\rangle$ ( こおいて , $b[\lambda$ は $\lambda,$ ...
8
R. Dedekind の数学の基礎付けと集合論の公理化 (数学史の研究)
... ツェルメロの整列可能性定理の証明は，そこで与えられている，完全帰納法が可能であること の証明の，超限帰納法への転用と見られる．この際には，もちろん，超限の側では選択公理が， 他のデデキントが隠伏的に用いた公理に加えて用いられなければならないわであるが．デデキ ...
12
超算術的選択公理HACとその仲間たち (シークエント計算による証明論)
... れる . 超算術的集合の生或原理を $\mathrm{A}\mathrm{C}\mathrm{A}_{0}$ に加えた体系が $\mathrm{A}\mathrm{T}\mathrm{R}_{0}$ である . $\varphi$ を算術的 論理式としたとき , $\forall X\varphi$ を $\Pi_{1}^{1}$ 論理式と呼び , $\Pi_{1}^{1}$ ( 論理式で定義される ) ...
5
Shapley 値の公理(非加法の数理と情報 : 函数解析の視点から)
... \ldots,n\}$ の正規集合系全体とし, $\Delta_{\mathfrak{S}}$ を (X, $\mathfrak{S}$ ) 上のゲーム全体とする ...$\Phi$ の定義域は $\Delta:=$ $\bigcup_{n=1}^{\infty}\bigcup_{\mathfrak{S}\in z_{n}^{\Delta}\Leftrightarrow\sim}$ ...
7
学校数学における証明の機能としての体系化に関する研究 : 記述的公理化に基づく体系化による結果の経済性に焦点を当てて
... ついて先行研究から明らかにする。その上で， 学習における証明の機能の捉え方を考察し，論 証指導において体系化の機能に着目する意義を 示す。次に，論証指導における証明の機能とし ての体系化に必要な考え方について，先行研究 における演繹的な推論の本性，厳密さの問題， 根拠を探る活動の必要性などの観点から考察す ...
8
JAIST Repository: 中国スマートシティの分析によるロボット経済定義
... 12 日本の留学人気は 6 位くらいである。欧米留学は数が多く男性が多い、日本留学は数が少なく、女性 が多い。大臣級は年に 2 回しか海外へ行けないといったルールがあったりして、年２回となると米国、 欧州で 2 回となり、日本には行けないなど。2 年前、中国工業情報化省の依頼で日本の製造業経営につ ...
7
チーズおよび牛肉における香気寄与成分である分岐鎖アルデヒド類の特性に関する研究
... て見出された成分である。さらに，高い寄与度を示さなかったものの，ゴーダチーズにはそ の類縁体として 7 種類の分岐鎖アルデヒド類（イソメチル基を有する 10-methylundecanal， 11-methyldodecanal，13-methyltetradecanal，14-methylpentadecanal，アンテイソメチル基を有 する ...
4
戦前期経済小説の存在について―形式的定義による考察―
... れは，単に対象とする内容だけで判断している のではなく，文学作品としての水準を要求して いることによる。逆に言えば，日本の作家を具 体的に挙げてはいないものの，未熟なレベルで は該当する著作があるということになろう。特 に，「社会機構の描写」を標榜して「簡単な左 翼的公式主義」に陥った著作への批判は，プロ レタリア文学を念頭に置いていると思われる。 ...
19
公理的確率論の立場から見たゲーム理論の問題点 (確率論シンポジウム)
... 確率評価を純粋に主観的なものと見なすことによって実際にゲーム理論 はますますサベッジ(1954) に依存するようになってきている.しかし,この ようなゲーム理論の (「なんでもありうる」 といった) 空虚な命題への変質は, 道具主義的合理性の仮定に共有知識としての合理性の仮定を付け加えること ...
8
「哲学による身体の定義」 2012年９月20日（木）
... 大な身体を生かしています。ここでは、３つの側面があります。１つはプラーナ (prāṇa / प्राण )生理機能、そして １つは知覚器官、そしてもう１つは行為器官です。これ等の３つの器官が私達の粗大な身体の中で、３種類の機 ...
13
チーズおよび牛肉における香気寄与成分である分岐鎖アルデヒド類の特性に関する研究
... ないため，化合物を特定するのに有用である．この様に GC-MS は，一度の測定で香気 成分のマススペクトルと Kovats Index という 2 つの情報を得ることができるため，香 気成分の同定に有用な分析手法である．さらに，GC-MS で得られるイオンクロマトグ ラムから算出されるピーク面積値を用いて，香気成分を定量することも可能である． ...
131
目 次 第 2 編 酒 類 の 商 品 知 識 等 第 1 章 酒 類 の 商 品 知 識 等 第 1 節 酒 類 の 分 類 2 1 製 造 方 法 による 酒 類 の 分 類 2 2 酒 税 法 による 酒 類 の 分 類 2 参 考 1 酒 税 法 における 酒 類 の 定 義 3 参 考 2
... 地理的表示については、 「知的所有権の貿易関連の側面に関する協定」 （ＴＲＩＰＳ 協定）において、「世界貿易機関（ＷＴＯ）の当該加盟国の領域又はその領域内の地 域若しくは地方を原産地とする地理的表示」を保護することとされています。 ※ ＴＲＩＰＳ協定とは、ＷＴＯ設立協定の付属書の１つ（付属書１Ｃ）であり、著作権、 ...
133
データ シート Opt. SFP-TX による自動ソリューション ( コンプライアンス用 ) と DPO オプション ( デバッグ用 ) 特性評価 マージン解析において ユーザが測定パラメータを定義することが可能 DPOJET による SFP-TX の測定セットアップ SFP-TX ソリューションを
... DPOJETによるSFP-TXの測定セットアップ SFP-TXソリューションを使用すると、SFP-8431 SFP+テ ストの測定項目を簡単に選択できます。すべてのマスク、リ ミット値、測定パラメータが自動的に設定されます。また、 DPOJETで測定項目を変更したり、設定を変更したりするこ とができます。DPOJETのSFP-TXオプションでは、規格固 ...
8
酒類の地理的表示に関する表示基準 ( 案 ) 抜粋 ( 定義 ) 第 1 項次の各号に掲げる用語の定義は 当該各号に定めるところによる (3) 地理的表示 とは 酒類に関し その確立した品質 社会的評価又はその他の特性 ( 以下 酒類の特性 という ) が当該酒類の地理的な産地に主として帰せられる場
... 白山 清酒 白山菊酒呼称統制 機構 (石川酒造組合) ５者 白米、米こうじ及び石川県白山市の地下水、又はこれらと醸造アルコールを原料とし、石川 県白山市において発酵させ、こし、かつ、容器詰めしたものでなければ「白山」の産地を表 示する地理的表示を使用してはならない。ただし、白米、米こうじに用いる原料米は、農産 物検査法（昭和 26 年法律第 144 号）に基づく農産物規格規程（昭和 26 年農林水産省告示第 ...
14
マルチGNSSによる測位特性評価
... DOP の低下は測位精度の向上につ ながるものであって，衛星数の増加にともなって，結果 として，それらの衛星が全天に広がり高い測位精度が期 待される良好な衛星の配置状態となったものと思われる。 おおむね，この DOP の増減に応じて水平誤差も変動し， 衛星の配置状態が測位精度に関わるというセオリーどお ...
6
石垣島と西表島沿岸域におけるオカヤドカリ類の分布特性
... 日没前に設置し，翌朝回収した．オカヤドカリ 類では，前甲長 2 mm を超えると，成体でみら れるような左鉗脚掌部の形態的特徴（Nakasone, 1988；朝倉，2004）が明瞭になり，種判別が容 易になる（水流拓馬，未発表）．そこで，本研 究では，捕獲したオカヤドカリ類のうち，前甲 長 2 mm を超える個体について，Nakasone (1988) ...
15
証明可能性の論理と解釈可能性の論理におけるレーブの公理の性質を用いたカット除去定理の証明 (シークエント計算による証明論)
... }$ のとき、次の (>ILP) の規則 I\star を考える。 $\mathrm{X}_{1}\triangleright \mathrm{Y}_{1},\cdots,$ $\mathrm{X}\mathrm{n}\triangleright \mathrm{Y}\mathrm{n},\mathrm{P}\triangleright[perp],$ $\Sigma^{+}arrow ...
12
低温処理による花木類の開花促進に関する研究 V. コデマリ(Spiraea cantoniensis LOUR.)の開花特性-香川大学学術情報リポジトリ
... velop again and cameinto flower normally，Only when the plant was treated at OOc for6 to8weeks after・flowerinitiation and then was carriedinto the greenhouse maintained at150c or abov[r] ...
10
低温処理による花木類の開花促進に関する研究 IV. ユキヤナギ(Spiraea thunbergii Sieb.)の開花特性-香川大学学術情報リポジトリ
... 1Flower buds were forImed as aninflor・eSCenCe Orinflor・eSCenCeS，COnSisted of4to5 florets，inmost axils ofleaves atthe upper parts of currIent Shoots，While vegetative buds wer・e uSuall[r] ...
6