島根大学学術情報リポジトリ

苗木樹幹の膨潤・収縮量測定に対するひずみゲージ法の適用と留意点

著者	村本健 \| 中井毅尚 \| 安部久 \| 中尾哲也
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 79 - 84
発行日	2004-12-15 発行

環境配慮製品(グリーン製品)について

著者	片山裕之 \| 上原徹
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 73 - 78
発行日	2004-12-15 発行

スキャニング・画像処理技術を利用した合板の欠点検出自動化の可能性

著者	ヤコブサンダック \| 森山正浩 \| 大谷忠 \| 田中千秋 \| 瀧本義彦
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 67 - 72
発行日	2004-12-15 発行

陽極化成法によるｐ型シリコンへのマクロポアおよび針状結晶の形成

著者	原田曠嗣 \| 御手洗夕子 \| 石丸寛之 \| 松本晋 \| 森圭子
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 53 - 65
発行日	2004-12-15 発行

可動式立体表示ビューアと3次元ポインタの構成法

著者	西田雅貴 \| 阪本邦夫
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 47 - 51
発行日	2004-12-15 発行

単眼ステレオ立体視方式3次元情報ディスプレイ

著者	高木美和 \| 阪本邦夫
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 39 - 45
発行日	2004-12-15 発行

単眼カメラ画像からの指先位置計測の一手法

著者	木村理恵子 \| 阪本邦夫
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 33 - 38
発行日	2004-12-15 発行

電子模式図システムESDの試作

著者	白波瀬雅也 \| 佐藤匡正
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 25 - 32
発行日	2004-12-15 発行

非共軸Cam-clayモデルを用いた盛土基礎地盤の変形解析

著者	志比利秀 \| 亀井健史
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 17 - 24
発行日	2004-12-15 発行

流動化処理土へのフレーク状PETボトルの有効利用

著者	亀井健史 \| 松尾和俊 \| 志比利秀 \| 小木曽みちる
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 9 - 16
発行日	2004-12-15 発行

不攪乱および練返し再圧密バンコク粘土にみるせん断特性の比較

著者	亀井健史 \| 田中政典 \| 林照悟
雑誌	島根大学総合理工学部紀要. シリーズA 38 巻 pp. 1 - 7
発行日	2004-12-15 発行

Surfaces which contain helical geodesics in the 3-sphere

著者	Tamura Michiko \| 前田定廣
雑誌	島根大学総合理工学部紀要. シリーズB 37 巻 pp. 59 - 65
発行日	2004-03 発行

Lagrangian minimal surfaces with 1-Parameter family of pair of great circles in S^2 × S^2

著者	水津薫
雑誌	島根大学総合理工学部紀要. シリーズB 37 巻 pp. 49 - 58
発行日	2004-03 発行

Notes on hausdorff measure and classical capacity

著者	Kurata Hisayasu \| 相川弘明
雑誌	島根大学総合理工学部紀要. シリーズB 37 巻 pp. 15 - 48
発行日	2004-03 発行

Hausdorff measures and packing premeasures

著者	秦野薫 \| 相川弘明
雑誌	島根大学総合理工学部紀要. シリーズB 37 巻 pp. 5 - 14
発行日	2004-03 発行

Isotropic immersions with low codimension of space forms into space forms

著者	坊向伸隆
雑誌	島根大学総合理工学部紀要. シリーズB 37 巻 pp. 1 - 4
発行日	2004-03 発行

スギ苗木の樹液流量と樹幹の膨潤・収縮挙動との関係

著者	村本健 \| 中井毅尚 \| 安部久 \| 中尾哲也
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 109 - 114
発行日	2003-12-15 発行

スギ生立木における樹液流の通導路(II)

著者	田中徹 \| 中井毅尚
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 103 - 108
発行日	2003-12-15 発行

産学官連携推進のためのコーディネート活動について

著者	片山裕之 \| 八十致雄 \| 北村寿宏 \| 久保衆伍
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 95 - 102
発行日	2003-12-15 発行

多元有色信号源FIR伝送路に対するブラインド収縮法

著者	河本満 \| 井上雄二郎 \| Mansour Ali \| Liu Ruey-wen
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 85 - 94
発行日	2003-12-15 発行

ラティス型光回路の合成論とその応用

著者	神宮寺要
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 75 - 84
発行日	2003-12-15 発行

プログラム構造と仕様追従性

著者	伊藤貴子 \| 門田洋太郎 \| 佐藤匡正
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 65 - 74
発行日	2003-12-15 発行

Webグラフの可視化

著者	牧野周平 \| 国保建 \| 山﨑美嘉 \| 藤田憲悦
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 53 - 64
発行日	2003-12-15 発行

不均質水理地質構造が斜面安定解析に及ぼす影響

著者	増本清 \| 片山直樹 \| 亀井健史
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 45 - 52
発行日	2003-12-15 発行

締固めた石炭灰の力学的性質

著者	亀井健史 \| 志比利秀 \| 松尾和俊
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 37 - 44
発行日	2003-12-15 発行

セメント種類の違いがセメント安定処理土の一軸圧縮特性に及ぼす影響

著者	亀井健史 \| 大本和樹 \| 松尾和俊
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 29 - 36
発行日	2003-12-15 発行

養生条件の違いが石炭灰を利用した気泡混合軽量土の一軸圧縮強さに及ぼす影響

著者	亀井健史 \| 松尾和俊
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 21 - 28
発行日	2003-12-15 発行

凍結融解作用が気泡混合軽量土の一軸圧縮強さに及ぼす影響

著者	亀井健史 \| 堀切保則
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 15 - 20
発行日	2003-12-15 発行

気泡混合軽量土の一軸圧縮強さに及ぼす温度履歴の影響

著者	亀井健史 \| 堀切保則
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 7 - 14
発行日	2003-12-15 発行

有明粘土におけるフラットダイライトメーター試験結果の解釈

著者	亀井健史 \| 田中政典
雑誌	島根大学総合理工学部紀要. シリーズA 37 巻 pp. 1 - 6
発行日	2003-12-15 発行

Space of Geodesics in Hyperbolic Spaces and Lorentz Numbers

著者	木村真琴
雑誌	島根大学総合理工学部紀要. シリーズB 36 巻 pp. 61 - 67
発行日	2003-03 発行

An Enumerative Problem Concerning Loops on a Graph

著者	泉誠 \| Mada Jun
雑誌	島根大学総合理工学部紀要. シリーズB 36 巻 pp. 57 - 60
発行日	2003-03 発行

On Complex Spheres

著者	Honda Kyoko \| Ikawa Toshihiko \| Udagawa Seiichi \| 前田定廣
雑誌	島根大学総合理工学部紀要. シリーズB 36 巻 pp. 49 - 55
発行日	2003-03 発行

An Injective CPS-translation for the Extensional λ-calculus

著者	藤田憲悦
雑誌	島根大学総合理工学部紀要. シリーズB 36 巻 pp. 39 - 48
発行日	2003-03 発行

Monotone Multiterminal Resistors and Large Networks

著者	Calvert D. Bruce \| 山﨑稀嗣
雑誌	島根大学総合理工学部紀要. シリーズB 36 巻 pp. 21 - 38
発行日	2003-03 発行

Note on Holomorphic Foliations with Turbulences on Elliptic Surfaces

著者	Fukuma Yoshiaki \| 松永弘道 \| 庄司邦孝
雑誌	島根大学総合理工学部紀要. シリーズB 36 巻 pp. 11 - 19
発行日	2003-03 発行

Circles and Hypersurfaces in Space Forms

著者	前田定廣 \| Adachi Toshiaki
雑誌	島根大学総合理工学部紀要. シリーズB 36 巻 pp. 1 - 9
発行日	2003-03 発行

山陰地方の中山間地域における高齢者の住居環境について

著者	小林定教 \| 岡本英生
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 89 - 96
発行日	2002-12-24 発行

木毛材の熱伝導特性について

著者	小林定教 \| 寺久保匡志
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 83 - 88
発行日	2002-12-24 発行

スギ生立木の成長に及ぼす水分利用効率の影響

著者	荒木高宏 \| 中井毅尚 \| 中尾哲也 \| 安部久
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 77 - 82
発行日	2002-12-24 発行

スギ生立木における樹液流の通導路

著者	田中徹 \| 中井毅尚
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 71 - 76
発行日	2002-12-24 発行

大学における教育を通しての環境問題対応と、その効果の定量化方法

著者	片山裕之 \| 伊藤勝久 \| 古津年章 \| 井口隆史 \| 作野広和 \| 内田治
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 61 - 70
発行日	2002-12-24 発行

地盤解析にみる分岐概念と非共軸性を考慮した構成方程式の工学的意義

著者	志比利秀 \| 亀井健史
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 51 - 60
発行日	2002-12-24 発行

有限変形有限要素法による平面ひずみ非排水圧縮条件下におけるすべり面の推定

著者	亀井健史 \| 志比利秀 \| 永吉雄大
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 43 - 50
発行日	2002-12-24 発行

土の粒度分析結果に及ぼす試験条件の影響

著者	亀井健史
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 33 - 42
発行日	2002-12-24 発行

石炭灰を利用した気泡混合軽量土の一軸圧縮特性に及ぼす混練水の影響

著者	亀井健史 \| 松尾和俊 \| 志比利秀
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 25 - 32
発行日	2002-12-24 発行

セメント安定処理土の強度変形特性

著者	亀井健史 \| 大本和樹 \| 志比利秀 \| 松尾和俊
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 17 - 24
発行日	2002-12-24 発行

セメント安定処理土の一軸圧縮強さに及ぼす配合条件の影響

著者	亀井健史 \| 大本和樹 \| 志比利秀 \| 松尾和俊
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 9 - 15
発行日	2002-12-24 発行

易固化性溶媒を用いるアンモニアの抽出光度法の開発

著者	藤永薫 \| 川西史恵 \| 清家泰 \| 奥村稔
雑誌	島根大学総合理工学部紀要. シリーズA 36 巻 pp. 1 - 8
発行日	2002-12-24 発行

Announcement

著者
雑誌	島根大学総合理工学部紀要. シリーズA 30 巻 pp. 0 -
発行日	1997-03-25 発行

Generating Functions of Eulerian and Separtating Eulerian Subgraphs

著者	泉誠
雑誌	島根大学総合理工学部紀要. シリーズB 35 巻 pp. 43 - 47
発行日	2002-03 発行

Almost Complex Curves of Type(III) in the Nearly Kahler 6-Sphere

著者	Udagawa Seiichi
雑誌	島根大学総合理工学部紀要. シリーズB 35 巻 pp. 29 - 41
発行日	2002-03 発行

Circles and Totally Geodesic Kahler Submanifolds

著者	水津薫
雑誌	島根大学総合理工学部紀要. シリーズB 35 巻 pp. 23 - 28
発行日	2002-03 発行

Study of Submanifolds by Curves of Order(2)

著者	水津薫 \| 前田定廣 \| Adachi Toshiaki
雑誌	島根大学総合理工学部紀要. シリーズB 35 巻 pp. 1 - 21
発行日	2002-03 発行

圧縮-振動複合応カ下におげる木材の力学挙動と圧電現象

著者	中井毅尚
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 149 - 157
発行日	1999-12-24 発行

Partial Least Squares (PLS)法による木材の比重およぴ化学成分の推定

著者	村山美穂 \| 中井毅尚 \| 屋代眞 \| 三城昭義
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 139 - 147
発行日	1999-12-24 発行

静的曲げ試験における改造したTimoshenkoの曲げの式の適用範囲

著者	吉原浩
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 131 - 138
発行日	1999-12-24 発行

ねじり試験による木材のせん断弾性係数の測定(II) : 幅変動法の検討

著者	吉原浩
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 125 - 130
発行日	1999-12-24 発行

循環型技術の体系化への試み

著者	片山裕之 \| 北村寿宏
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 109 - 123
発行日	1999-12-24 発行

GaAs基板上の長波長帯光通信用レーザの開発に向けたGaAs基板上のT1GaAsのMBE成長の試み

著者	梶川靖友 \| 朝比奈秀一
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 101 - 108
発行日	1999-12-24 発行

光励起有機金属気相成長法によるZnSeの成長メカニズムと光触媒効果

著者	藤田恭久
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 89 - 99
発行日	1999-12-24 発行

意味データモデルにおける集合値経路関数従属性

著者	曽田直樹 \| 黒岩大史 \| 小林康幸
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 73 - 88
発行日	1999-12-24 発行

MIR-OAS : 統合型蛋白質構造解析ソフトウェア

著者	濱田賢作 \| 囲和彦 \| 田中信夫
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 63 - 71
発行日	1999-12-24 発行

利用者から見たOCR誤認特性

著者	佐藤匡正 \| 岸本頼紀
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 51 - 62
発行日	1999-12-24 発行

代数によるプログラム構造の表現

著者	佐藤匡正
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 35 - 50
発行日	1999-12-24 発行

経路積分法における拡張されたBukhvostov-Lipatov模型について

著者	阪本滋郎 \| 福岡康昭
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 27 - 34
発行日	1999-12-24 発行

あるくりこみから得られた南部-Goldstoneボゾン

著者	猪野武敏
雑誌	島根大学総合理工学部紀要. シリーズA 33 巻 pp. 1 - 25
発行日	1999-12-24 発行

高速迷路探索法

著者	鷲見昌彦
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 237 - 245
発行日	1998-12-24 発行

溶射材料の切削加工

著者	臼杵年 \| 鳴瀧則彦 \| 山根八洲男
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 217 - 236
発行日	1998-12-24 発行

カルボキシメチルセルロースから調整したポリアルコールの特性

著者	上原徹 \| 松井義明 \| 古野毅 \| 片山裕之
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 205 - 216
発行日	1998-12-24 発行

廃ガス中のダイオキシン類の低滅への取り組みの現状と課題

著者	北村寿宏 \| 片山裕之
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 193 - 204
発行日	1998-12-24 発行

ねじり試験による木材のせん断弾性係数の測定の簡略化(II) : 木口面のせん断弾性係数の測定

著者	吉原浩 \| 太田正光
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 185 - 191
発行日	1998-12-24 発行

木材のせん断弾性係数の測定におけるTimoshenkoの曲げ理論の適用性

著者	吉原浩 \| 太田正光
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 177 - 184
発行日	1998-12-24 発行

四国東部三波川帯広石地域の変成岩中に見られる変成鉱物の化学組成

著者	馬渕映美
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 145 - 175
発行日	1998-12-24 発行

ヒトの歩行停止動作のシミュレーション

著者	谷口隆雄
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 131 - 144
発行日	1998-12-24 発行

低消費電カ・高速CMOS/SOIテバイス技術

著者	土屋敏章
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 111 - 129
発行日	1998-12-24 発行

シリコンテクノロジーの新しい可能性 : 多孔質シリコンの特性とその応用

著者	原田曠嗣
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 97 - 110
発行日	1998-12-24 発行

液晶ディスプレイパネル用レーザ結晶化ポリシリコン薄膜の移動度に対するプラズマ水素化の効果

著者	北原邦紀
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 85 - 96
発行日	1998-12-24 発行

X線吸収スペクトルによる吸着水素の定量

著者	久保田岳志 \| 岡本康昭 \| 朝倉清高 \| 岩澤康裕
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 71 - 84
発行日	1998-12-24 発行

短距離相互作用をもつスピノール-スピノール系についての収束のための方策

著者	猪野武敏
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 65 - 69
発行日	1998-12-24 発行

[解説]鉄鋼の浸炭機構と炭化物形成

著者	野田泰稔 \| 北村寿宏 \| 金山信幸
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 37 - 63
発行日	1998-12-24 発行

化学輸送法によるII-VIおよびI-III-VI_2族化合物半導体の結晶成長(2) : 熱カ学的考察

著者	野田泰稔 \| 古川吉孝 \| 中澤重厚
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 19 - 36
発行日	1998-12-24 発行

化学輸送法によるII-VIおよびI-III-VI_2族化合物半導体の結晶成長(1) : 輸送実験

著者	野田泰稔 \| 古川吉孝 \| 増本剛
雑誌	島根大学総合理工学部紀要. シリーズA 32 巻 pp. 1 - 17
発行日	1998-12-24 発行

環境調和型製鉄法へのアプローチ : 奥出雲の『企業たたら』の歴史に学ぶ鉄鋼業の環境対応技術の方向

著者	北村寿宏 \| 片山裕之 \| 高橋一郎
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 291 - 301
発行日	1997-12-26 発行

マイクロ波プラスマCVDにより製造されたダイヤモンドコーテッドセラミック工具の切削性能とその摩耗

著者	臼杵年 \| 鳴瀧則彦 \| 伊藤利通 \| 山根八洲男
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 275 - 290
発行日	1997-12-26 発行

木材の曲げ試験におげる複数の弾性定数の測定

著者	吉原浩
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 265 - 274
発行日	1997-12-26 発行

木材の弾性定数および降伏応力の決定法

著者	吉原浩 \| 太田正光
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 259 - 263
発行日	1997-12-26 発行

プログラム変数の命名 : 変数はどのように命名されているか

著者	佐藤匡正
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 243 - 258
発行日	1997-12-26 発行

大佐山超苦鉄質岩体中のテクトニック・ブロックを構成するコスモクロアおよび関連鉱物の化学組成

著者	阪本志津枝
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 217 - 241
発行日	1997-12-26 発行

紀伊半島西部龍門山地域の三波川変成帯

著者	石川憲一
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 201 - 216
発行日	1997-12-26 発行

Injection法による複合粒子の合成

著者	中村浩之 \| 陶山容子
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 181 - 200
発行日	1997-12-26 発行

ラダー近似で解ける相対論的束縛模型とそれがラダー近似について意味すること

著者	猪野武敏
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 165 - 179
発行日	1997-12-26 発行

半導体量子構造における波動関数工学の新しい流れ

著者	梶川靖友
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 155 - 163
発行日	1997-12-26 発行

In-situエリプソメトリの応用と展開

著者	森谷明弘 \| 北村寿宏
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 139 - 154
発行日	1997-12-26 発行

GaAs-on-Si電子デバイスの現状と展望

著者	森谷明弘
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 119 - 137
発行日	1997-12-26 発行

相間リアクトルの最適化による並列接続線形サイリスタ整流回路の電源高調波電源低減法

著者	田中俊彦 \| 小塩修嗣
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 105 - 117
発行日	1997-12-26 発行

プッシュプル高周波インバーターの短絡モード動作を用いた放電ランプ始動点灯回路

著者	舩曳繁之
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 93 - 104
発行日	1997-12-26 発行

ロボット・マニピュレータの省エネルギー運転法

著者	泉照之
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 71 - 91
発行日	1997-12-26 発行

平板における振動インテンシテイ計測に関する研究

著者	周海 \| 泉照之 \| 小島直哉
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 57 - 70
発行日	1997-12-26 発行

クレーン系の制振制御

著者	吉田和信
雑誌	島根大学総合理工学部紀要. シリーズA 31 巻 pp. 39 - 55
発行日	1997-12-26 発行

（旧組織）大学院総合理工学研究科