理論及び応用を教授研究
林地の収益還元価評定に関する理論的及び応用的研究
... 林地の収益還元価評 定 に関す る理論的及び応用的研究 増 とすべ きであり ,「 基準」の言 う様 に「還元利回 り」 を適宜操作 してこれに対応するのは不合理であり課 りで ある。何故なら ,危 険性 が存在 しているため還元利率 を それだけ低めると言 うことは,複 利計算の構造 からして , 還元期間が長ければ長い程幾何級数的に危険 (従 って火 災保険料 )が[r] ...
22
「判別分析の新理論」と応用研究としての「癌の遺伝子解析」 : なぜ1970年から行われた研究が成功しなかったのか？
... ける統計科学の総合的研究」と12月3日の筑波大学での「大規模複雑データの理論と方法論， 及び，関連分野の応用」シンポジュームで発表したが（新村2017b; 2017c），それ以上に有効 な情報を得た（石井，2017）。筆者が分析した6種類のMicroarrayデータを含む10種類以上で， ...
32
HOKUGA: 世界経済の動学的応用一般均衡モデル-Dynamic GTAP Model-の理論構造
... に 応用一般 衡モデル（Applied General Equilibrium Model）は産業連関表，貿易統計等の データおよび計量経済的手法等により推計された各種パラメータの数値等を用い，会計的定義式， 経済主体の最適化行動から導出された行動方程式，および財や生産要素の市場 衡式などから理 論的に構築された経済の一般 衡状況をベースモデルとし，財政政策，貿易政策，環境政策等の ...などの ...
74
教育に関する理念 到達目標 基本方針 1) 教育に関する理念専攻分野に関する高度の専門的知識 能力の修得に加え 複数の学科目等を通して体系的に学修課題を履修するコースワーク等により 本学のカリキュラムポリシーに即した高次の教育 研究を行う 医学に関する理論および応用を教授研究し 新たな学知を創造し
... 学修課題を履修するコースワーク等により、本学のカリキュラムポリシーに即した高次の教育、 研究を行う。医学に関する理論および応用を教授研究し、新たな学知を創造し、グローバルに 発信することを通して医学の発展、人類の福祉に貢献する人間性豊かな研究者ならびに研究指 ...
10
関西大学大学院学則 昭和 35 年 4 月 1 日 制定 第 1 章総則 ( 目的 ) 第 1 条本大学院は 学術の理論及び応用を教授研究し その深奥を究めて 人類文化の進展に寄与することを目的とする ( 自己点検及び評価 ) 第 1 条の2 本大学院は 教育研究水準の向上を図り 前条の目的を達成す
... 研究テーマ）及びB（各研究テーマ）またはプロジェクト演習A（各研究テーマ）及びB （各研究テーマ）を含む所定の授業科目を履修し、その単位を修得しなければならない。 社会学専攻課題研究コース博士課程前期課程においては、指導教員の担当する課題研究A ...
136
PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... The 28th Annual Conference of the Japanese Society for Artificial Intelligence, 2014 1D4-OS-11a-4 基数制約の SAT 符号化を用いた MaxSAT ソルバーの試作 Building a MaxSAT Solver with SAT Encodings for Cardinality Constraints 越村 三幸 ∗1 ...
4
PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... (3) また，今回は計算時間として 600 秒と比較的短い時間しか 与えていないことも原因の一つとして考えられる． 7. まとめ 本稿では，登録後コース時間割問題に対して基数制約を用 いた制約モデルと SAT ソルバーを用いた解法を提案した． 2 つの SAT 符号化法と，組込み基数制約を用いた 7 つの組合 せの比較を行ったところ， Sat4j(SAT) × ...
4
PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... ト最小化ゲームとみなせる． no-regret dynamics において， MW 法を no-regret 法として用 いると，アルゴリズム 3 が得られる．特徴は，得られる解と coarse correlated equiliburium との差を任意の小さい値にでき ...
4
PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... ∗2 九州大学大学院システム情報科学研究院 Faculty of Information Science and Electrical Engineering Boolean Satisfiability Problem (SAT) determines whether there exists a variable assignment that makes a propo- sitional Boolean ...
4
PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... 連絡先 : 長谷川 隆三，九州大学大学院システム情報科学研究 院，〒 819-0395 福岡市西区元岡 744 ， 092-802-3608 [7] Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, and Ryuzo Hasegawa. QMaxSAT: A Partial Max-SAT Solver. Journal on Satisfiability, Boolean ...
1
PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... This paper extends the result of [1] to ROBDDs with de- scending variable-order and shows that the ROBDD from a mixed-radix base expanded PB constraint is also of poly- nomial size (for [r] ...
4
応用社会学研究 社会的現実の情報化 仮想現実化 俊 博 後期ボードリヤールとヴィリリオ 水 1 社会理論的な気づきをもたらすこともまた多い はじめに 1. 1 原 こうしたことから これまで拙稿 水原 2014, 問題の所在 2015 では 後期ボードリヤールの社会理論
... 第 3 段階の「悪による情報システムの攪乱」に ついては、ヴィリリオと後期ボードリヤールは見 解を異にするように思われる。ヴィリリオは後期 ボードリヤールと同様に、情報ネットワーク＝仮 想現実が問題を抱え、不安定化すると、小さくな い被害をもたらすと考える。ヴィリリオによれば、 その要因は、情報通信技術によるグローバルな移 送の絶対速度のリアルタイム（同時）性である。 ...
8
Ⅲ 各基準の概評及び提言 1 理念 目的 < 概評 > 貴大学は 建学の精神を踏まえ 大学は キリスト教による人格教育を基礎として 広く知識を授けるとともに深く専門の学芸を教授研究し 知的 道徳的及び応用的能力を展開させ もって世界文化の創造と人類の福祉に寄与すること また 大学院は キリスト教によ
... 教員組織の編制方針と編制実態については、概ね整合しているといえ、各学部・ 研究科の専任教員数は、大学設置基準等に定められた必要専任教員数を確保し、必 要とされる教授数も充足している。専任教員の年齢構成は、概ね各世代にわたって バランスよく配置しているが、一部の学部・研究科については偏りがみられる。さ らに、大学全体として女性教員比率や外国人教員比率が低く、非専任教員比率も半 ...
34
Vol.51 , No.1(2002)072上野 康弘「世親の pakaja 理論批判-一因二果の応用-」
... VSC : Commentary of Vaisesikasutra, ed.[r] ...
3
弾塑性接合要素のトラス置換による定式化 : 有効強度理論の一応用例
... elements with clifferent stress strain relations. The yielding condition of the joint element is determined by, two. factors :one takes account of possible combination in the order of th[r] ...
10
荷重の確率過程の組み合わせにおける超過確率の理論解とその応用に関する考察
... This paper presents an analytical procedure and solutions of exceedance probability of a threshold being ex- ceeded in a reference period for combinatiens of a specific class of stochast[r] ...
11
横浜創英大学大学院学則 ( 案 ) 第 1 章総則 ( 目的 ) 第 1 条横浜創英大学大学院 ( 以下 本学大学院 という ) は 広い視野に立って理論及び応用について教授し 深奥を究め 高い学識と実務能力を養い 高度の専門性が求められる職業を担うための専門知識を培い 地域社会に貢献する人材を育成
... 第４０条 論文審査は、論文を受理した後一ヵ年以内に終了するものとし、最終試験は論 文を中心としてこれに関連ある科目の学識と研究能力について筆記または口頭で 行うものとする。この論文審査および最終試験は研究科委員会により選出された 委員で組織する学位論文審査委員会が行い、学位論文審査委員長はその結果を研 ...
14
習熟理論の歩行への応用
... In engi- neering, especially in IE (Industrial Engineering), the concept of Learning Curve 4as applied to many. problems[r] ...
7
理論分子科学研究系
... -3) 研究活動の概略と主な成果 a) サイズの大きい分子が与える外部空間および内部空間は新しい機能発現として有用である。このために，フラーレ ンの内部空間に捕獲された金属原子やクラスターの位置と回転運動の制御と機能化，外部修飾による金属内包フ ラーレンの反応性，フラーレン骨格に空孔を作ることによる分子の貯蔵，IPR 則（Isolated pentagon rule）を満足し ...
18
理論・計算分子科学研究領域
... 度によくやっているように見えます。理論研究では幸いにも，大きなグループは，とても成功したプログラムを遂行 するためには，通常は必要ないか，または望ましくないです。 分子研での情熱的な２日間にわたって説明されたことを聴いて，それらの研究プログラムの質と多様性に，私は非 ...
10