hpprc/llmjp-kaken huggingface dataset:
文化的側面から見た環境健康災害に関する研究

現在、多くのアフリカ民族が国外(アフリカ大陸以外)の地に移住している。Emmanuel Akpabio氏は、彼らが自国での生活の場や環境健康の知識・経歴を移住地においていかに計画し再現しているかを研究してきた。本研究では、ケーススタディとして英国に居住するイビビオ族に焦点をあて、彼らの民族独特の土着的観念、知識、信仰、規範、態度、行動反応に着目し、個人・コミュニティーレベルでの水・公衆衛生・精神衛生と健康との関係の境界領域の文化的観念にしぼって研究した。1イビビオ族の自国及び英国での環境健康の信仰・概念・規範・態度・知識と環境健康の行動の様々な要素の抽出し比較する。特に、過去何年も継続・または変化した概念・現実的な信仰・知識は、どのような要素で、それはなぜかということを明確化した。2個人やグループの環境健康の知識に特に関連した継続性や変化の様相を維持したり形作る主要なダイナミクス、駆動力、広い文化的特徴を理解する方法として、各人の社会的経歴や住民としての具体的経験、民族的宗教的所属、移住状況、制度的背景などを特徴づけた。3個々の環境健康の知識、方向性、実際がいかに周知、維持または修正されるのかについての知見を得るための方法として、通信情報共有のオプションやネットワークの連絡の様々な相互のチャンネルとメカニズムを調べた。4健康と健康管理の実際と再建の医学的・生態学的位置づけに関する実験結果の理論的及び実際的な意味合いについて議論した。これらの成果は、第15回世界水会議(英国・エジンバラ、平成27年5月)において、2つの論文発表として公表された。27年度が最終年度であるため、記入しない。アフリカから欧州(英国)への移者の生活の場や環境健康の知識・経歴がどのように英国において計画され再現されていくのかを理解することを目的として、平成25年度の半年間は、ナイジェリア住民の自国及び英国での環境健康の信仰・概念・規範・態度・知識と環境健康の行動の様々な要素を見出し比較することに主眼を置いて研究を行った。特に、過去何年も継続または変化した概念、現実的な信仰、知識はどのような要素で、それはなぜか、ということを理解するために、水、公衆衛生、精神衛生、健康の間の概念や関係について文化的観点に着目した。個人あるいはコミュニティーのレベルでの水・公衆衛生・精神衛生と健康との関係の境界領域の文化的観点にしぼって、これらの問題の周辺で形成される、地方独特の土着的な概念・知識、信仰、規範、態度、行動反応が、英国においても再現されるためのメカニズムや駆動力について、概念構築と文献調査を行った。空間・時間を超えてその実際を維持する地方の社会経済的、制度的、環境的ダイナミクスについても対象とした。平成25年12月4日には、グローバル生存学ワークショップ(京都大学楽友会館)において「文化的観点から見た環境健康問題:欧州に在住するナイジェリア人の研究」について研究発表を行った。平成26年3月58日には、Nexus2014水・食料・気候・エネルギー会議(米国ノースキャロライナ大学水研究所)で「ナイジェリアにおける社会的空間的不平等としての水問題の理解:文化・経済・社会制度の相互作用」と題して研究発表を行った。さらに、3月2528日には、オーストラリア・ブリスベーンで行われた「水、公衆衛生、衛生学(WASH)に関する研究ワークショップ」に参加し、研究に関連する情報収集・研究討議を行った。また、3編の論文を学術雑誌に投稿した。本研究では、ヨーロッパに居住するナイジェリア人の抱える問題を理解する目的で特に文化的観点から環境健康課題を取り扱った。イビビオ族の水・衛生設備および衛生状態に関してその地方で広く行きわたっている考え方、信条や行為を用いて英国に住む彼らの親戚縁者とを比べて有意な差異があるかどうかを調べた。主な方法は、イビビオ族の移住者達の生活圏や環境に関する健康の知識とその背景が、まったく異なる構造や社会的制度の組み合わせと異なる知識の用い方や技術によって英国においてどのように展開され、再現されるのかを理解することである。個人のいくつかの環境健康問題の考え方を定めるためのものの見方を使って特に社会経済的および広範な文化的特徴の関係分析に注意をはらった。その際、衛生設備の概念や、考え方、感染症の知識、水および水質の知識、健康と福利の考え方、子供の福祉と衛生状態、考え方や情報の共有の色々な方法、そして現代的な健康維持の色々な方法の利用なども考慮した。いくつかの地方の文化的概念は、英国の文脈の中では無用であると見做される。一方、ほかのいくつかは有用だとして存続するということが実際わかっている。本研究では、何が変わって何が変わらなかったのかという問いに焦点を当てている。これらの問題に関していくつかのインタビューと議論をするために英国に2014年7月から8月にかけて3週間滞在した。その結果をさらに検証するために2015年5月に英国を再び訪れる予定としている。本年度は成果として2編の論文を執筆し、出版された。

1イビビオ族の自国及び英国での環境健康の信仰・概念・規範・態度・知識と環境健康の行動の様々な要素の抽出し比較する。特に、過去何年も継続・または変化した概念・現実的な信仰・知識は、どのような要素で、それはなぜかということを明確化した。2個人やグループの環境健康の知識に特に関連した継続性や変化の様相を維持したり形作る主要なダイナミクス、駆動力、広い文化的特徴を理解する方法として、各人の社会的経歴や住民としての具体的経験、民族的宗教的所属、移住状況、制度的背景などを特徴づけた。3個々の環境健康の知識、方向性、実際がいかに周知、維持または修正されるのかについての知見を得るための方法として、通信情報共有のオプションやネットワークの連絡の様々な相互のチャンネルとメカニズムを調べた。4健康と健康管理の実際と再建の医学的・生態学的位置づけに関する実験結果の理論的及び実際的な意味合いについて議論した。これらの成果は、第15回世界水会議(英国・エジンバラ、平成27年5月)において、2つの論文発表として公表された。2編の論文が既に出版されており、基調講演なども3回実施している。27年度が最終年度であるため、記入しない。これまで進めてきた研究の検証を、再び英国に渡航して行い、さらに学術論文としてとりまとめる。当初設定していた4つの課題のうち、最初の7ヶ月の目標としていた1番目の課題(1)ナイジェリア住民の自国及び英国での環境健康の信仰・概念・規範・態度・知識と環境健康の行動の様々な要素を見出し比較すること。特に、過去何年も継続または変化した概念、現実的な信仰、知識はどのような要素で、それはなぜか、ということを理解するために、水、公衆衛生、精神衛生、健康の間の概念や関係について文化的観点に着目する、を順調に行うことができた。日本、米国、オーストラリアにおいて研究の構想と成果の一部を発表する機会を得た。また、3編の論文を学術雑誌に投稿した。研究の方針・計画は予定通りに進めて良いと考える。すなわち、以下の(2)(4)を行う。(2)個人やグループの環境健康の知識に特に関連した継続性や変化の様相を維持したり形作る主要なダイナミクス、駆動力、広い文化的特徴を理解する方法として、各人の個人的な社会経済的経歴や具体的な経験、住民としての経歴、民族的宗教的所属、移住状況、制度的背景などを特徴づけることを試みる。(3)個々の環境健康の知識、方向性、実際が如何に周知、維持または修正されるのかということについて知見を得るための方法として、通信情報共有のオプションやネットワークの連絡の様々な相互のチャンネルとメカニズム考調べる。(4)健康と健康管理の実際と再建の医学的・生態学的位置づけに関する実験結果の理論的及び実際的な意味合いについて議論する。
卵細胞の成長時期に応じた輸送は栄養管によってどのように制御されるか

本研究は、コウチュウ目の栄養管と呼ばれる管が卵細胞に物質を輸送する機構の解明を目的とする。生殖細胞における物質輸送の基礎的な知見の発展に貢献し、また新規の害虫防除法や希少昆虫の保全技術の開発などに応用できると考えている。輸送に関わる分子を特定するためにRNAi法で候補遺伝子を抑制し、輸送されるmRNAをin situ hybridization法により検出することで、具体的な物質輸送に関わる遺伝子や時期を解析し、最終的に輸送機構を説明できるようにする。
血管新生能と組織接着能を有する成長因子フリーハイドロゲルの創製

本年度の目的は、移植臓器および移植細胞の生着率を向上させるために、栄養・酸素の供給を担う血管を誘導するような材料の開発である。先行研究では、ヘキシル基(C6)を導入したブタ由来ゼラチンからなる多孔膜が、生体内において血管新生を誘導した。しかし、多孔膜は生体内へのインプラントにおいて、切開等の侵襲性のある手術が必要という点に課題があった。そこで、本研究では、低温流動性の高いタラ由来ゼラチン(ApGltn)に対してヘキシル基を導入したヘキシル化タラゼラチン(C6-ApGltn)を合成し、医療応用実績のあるポリエチレングリコール系架橋剤により架橋することでin situ硬化が可能なハイドロゲルとした。C6-ApGltnハイドロゲルの動的粘弾性は、オリジナルゼラチン(Org-ApGltn)ハイドロゲルと同等であった。一方、ハイドロゲル表面に対する接触角測定では、Org-ApGltnハイドロゲルと比較して、C6-ApGltnハイドロゲルに対する接触角の減少率、つまり吸水速度が有意に増加した。そこで、ピレンを用い、ハイドロゲル内部の疎水性を評価したところ、C6-ApGltnハイドロゲル内部には疎水性ポケットが存在することが示唆された。ハイドロゲル上でマウス線維芽細胞およびマクロファージを培養したところ、接着・増殖することが確認されたが、炎症性サイトカインの産生はみられなかった。一方、Org-ApGltnハイドロゲルと比較して、C6-ApGltnハイドロゲル内部への各種細胞の浸潤性が著しく上昇していた。また、ラット皮下にハイドロゲルを埋入したところ、細胞実験と同様にC6-ApGltnハイドロゲル中への細胞浸潤性の向上が確認された。これは、ヘキシル基同士の疎水性相互作用による架橋構造のランダム化により、細胞が浸潤しやすいネットワーク構造へ変化したことによると考えられた。現在までに、ヘキシル基による架橋構造のランダム化を誘導し、ハイドロゲルに対する細胞浸潤性を向上させることに成功したが、血管新生能の向上までには至らなかった。一方、細胞に対して弱い炎症を惹起させることに着目し、疎水基鎖長を長くすることでグラム陰性菌の細胞壁を構成するリポ多糖(LPS)の構造を部分的に模倣することで、炎症および血管新生を誘導できるのではないかと考えられた。予備実験において、ドデシル基(C12)を導入したタラゼラチン(C12-ApGltn)が、マウスマクロファージに対して炎症を誘導するとともに、血管新生の重要な因子である血管内皮細胞増殖因子(VEGF)産生量の著しい増加が確認された。従って、今後はC12-ApGltnからなるハイドロゲルを調製し、in vitroおよびin vivoにおける血管新生能を評価することを目的とする。グラム陰性菌の細胞壁を構成するリポ多糖(LPS)には、複数の飽和脂肪酸が二糖に結合したリピドAと呼ばれる部位が存在する。この疎水基が免疫細胞のToll様受容体4(TLR4)中の疎水性部位と相互作用することで炎症を誘導し、血管新生も誘導されると考えられる。従って、緑膿菌のリピドAを構成するドデシル基を修飾したタラゼラチン(C12-ApGltn)は同様に炎症および血管新生を誘導するのではないかと予想される。C12-ApGltnは、これまでと同様に還元アミノ化法により合成し、ポリエチレングリコール系架橋剤により架橋することでハイドロゲルとする。その後、動的粘弾性測定、接触角測定、および膨潤度測定により物理化学的性質を評価する。その後、ハイドロゲル上でマクロファージ等を培養し、炎症性サイトカインおよび血管内皮細胞増殖因子(VEGF)の定量を行うことで血管新生能を評価する。また、TLR4のLPSに対する応答性を阻害するペプチドを用い、同様に炎症性サイトカインを定量することで、C12-ApGltnによる炎症がTLR4に依存するかどうかを判定する。in vitroにおいて血管新生能が確認されたら、マウス皮下にC12-ApGltnハイドロゲルを埋入し、一定期間後における周辺組織の組織切片を免疫染色することで血管新生の定量を行う。

一方、Org-ApGltnハイドロゲルと比較して、C6-ApGltnハイドロゲル内部への各種細胞の浸潤性が著しく上昇していた。また、ラット皮下にハイドロゲルを埋入したところ、細胞実験と同様にC6-ApGltnハイドロゲル中への細胞浸潤性の向上が確認された。これは、ヘキシル基同士の疎水性相互作用による架橋構造のランダム化により、細胞が浸潤しやすいネットワーク構造へ変化したことによると考えられた。現在までに、ヘキシル基による架橋構造のランダム化を誘導し、ハイドロゲルに対する細胞浸潤性を向上させることに成功したが、血管新生能の向上までには至らなかった。一方、細胞に対して弱い炎症を惹起させることに着目し、疎水基鎖長を長くすることでグラム陰性菌の細胞壁を構成するリポ多糖(LPS)の構造を部分的に模倣することで、炎症および血管新生を誘導できるのではないかと考えられた。予備実験において、ドデシル基(C12)を導入したタラゼラチン(C12-ApGltn)が、マウスマクロファージに対して炎症を誘導するとともに、血管新生の重要な因子である血管内皮細胞増殖因子(VEGF)産生量の著しい増加が確認された。従って、今後はC12-ApGltnからなるハイドロゲルを調製し、in vitroおよびin vivoにおける血管新生能を評価することを目的とする。グラム陰性菌の細胞壁を構成するリポ多糖(LPS)には、複数の飽和脂肪酸が二糖に結合したリピドAと呼ばれる部位が存在する。この疎水基が免疫細胞のToll様受容体4(TLR4)中の疎水性部位と相互作用することで炎症を誘導し、血管新生も誘導されると考えられる。従って、緑膿菌のリピドAを構成するドデシル基を修飾したタラゼラチン(C12-ApGltn)は同様に炎症および血管新生を誘導するのではないかと予想される。C12-ApGltnは、これまでと同様に還元アミノ化法により合成し、ポリエチレングリコール系架橋剤により架橋することでハイドロゲルとする。その後、動的粘弾性測定、接触角測定、および膨潤度測定により物理化学的性質を評価する。その後、ハイドロゲル上でマクロファージ等を培養し、炎症性サイトカインおよび血管内皮細胞増殖因子(VEGF)の定量を行うことで血管新生能を評価する。また、TLR4のLPSに対する応答性を阻害するペプチドを用い、同様に炎症性サイトカインを定量することで、C12-ApGltnによる炎症がTLR4に依存するかどうかを判定する。in vitroにおいて血管新生能が確認されたら、マウス皮下にC12-ApGltnハイドロゲルを埋入し、一定期間後における周辺組織の組織切片を免疫染色することで血管新生の定量を行う。
ドイツ語の統語的意味的生成メカニズムの実証的研究

「科研費最終研究報告」所収の収集データ以外に,以下のような知見を得た.1.ドイツ語の発話文(特に「文意味」)は,「文意味構造(「文意味」の枠組み的構造)」に基づき,(「文意味的構造」に並行する)統語構造に,動詞および他の語句が挿入されて生成される.この「生成」に関わる「規則体系」を「統語的意味的生成メカニズム」と呼ぶ.2.個々の動詞と統語構造の関係を,動詞の観点から分析する「統合価(Valenz)理論」は,現実には,個々の動詞の「意味用法(Bedeutungsvariante)」と統語構造の関係を扱っている.動詞という形態ではなく,「意味用法」を出発点として,動詞と統語構造の関連を眺めるならば,どのような統語構造に基づき,どのような語句によってどのような「文意味」が表示されるかという一般性のある問題提起が生じる.動詞の個別的「結合性」を問う視点から「文意味」形式を問う視点への転換である.3.「文意味」の,「文意味構造」に基づく形成を問う場合,発話文の「容認性」が問題なる.「容認性」とは,統語構造に挿入された具体的な語句の意味的総体に関する問題である.これは,動詞を中心としたシンタグマ的視点から,文意味構造を中心としたパラディグマ的視点(動詞以外の項に挿入される語句間の問題)への移行を意味する.この方法論は,パソコンによる,一定のコーパスからのデータ検索がなくしては不可能なものである.4.「容認性」の判断は,現実界(の人間による認識)あるいは社会文化の在り様と関わっており,「容認性」の研究は,現実界あるいは社会文化のどのような事象が人間の伝達にとって有意義であるかを明らかにすることにもなる.「科研費最終研究報告」所収の収集データ以外に,以下のような知見を得た.1.ドイツ語の発話文(特に「文意味」)は,「文意味構造(「文意味」の枠組み的構造)」に基づき,(「文意味的構造」に並行する)統語構造に,動詞および他の語句が挿入されて生成される.この「生成」に関わる「規則体系」を「統語的意味的生成メカニズム」と呼ぶ.2.個々の動詞と統語構造の関係を,動詞の観点から分析する「統合価(Valenz)理論」は,現実には,個々の動詞の「意味用法(Bedeutungsvariante)」と統語構造の関係を扱っている.動詞という形態ではなく,「意味用法」を出発点として,動詞と統語構造の関連を眺めるならば,どのような統語構造に基づき,どのような語句によってどのような「文意味」が表示されるかという一般性のある問題提起が生じる.動詞の個別的「結合性」を問う視点から「文意味」形式を問う視点への転換である.3.「文意味」の,「文意味構造」に基づく形成を問う場合,発話文の「容認性」が問題なる.「容認性」とは,統語構造に挿入された具体的な語句の意味的総体に関する問題である.これは,動詞を中心としたシンタグマ的視点から,文意味構造を中心としたパラディグマ的視点(動詞以外の項に挿入される語句間の問題)への移行を意味する.この方法論は,パソコンによる,一定のコーパスからのデータ検索がなくしては不可能なものである.4.「容認性」の判断は,現実界(の人間による認識)あるいは社会文化の在り様と関わっており,「容認性」の研究は,現実界あるいは社会文化のどのような事象が人間の伝達にとって有意義であるかを明らかにすることにもなる.◆「ドイツ語基本ドイツ動詞(約1300語)」は、まず、形態的観点(「単一動詞」か「複合動詞」か、また後者の場合、どのような「接頭辞」によるものかなど)から、約700の単一語と約600の複合動詞(それもいくつかの接頭辞に限定されている)からなるという分析結果を得た。このことより、「統語的意味的生成メカニズム」の解明には、約700の単一語の意味分析と、いくつかの「複合動詞化」規則の抽出という2側面からのアプローチが適当との判断に達した。◆単一語約700の意味分析の手始めとして、「移動」を意味用法として持つ約30の動詞を取り上げ、意味的観点(「移動」か「行為」か「変化」かなど)から分析した結果、それらの「語義的展開(比喩的用法も含み)」に高度の規則性が存在することを実証した。なお、これは、現実界の出来事の言語化に認められる「スキーマ的展開」の一モデル提示という重要性も持つ。◆複合動詞約600の意味分析の手始めとして、分離接頭辞約10の事例整理を行いつつ、分離接頭辞と基礎動詞との意味的関係を部分的に分析した結果、「文意味構造」の形成における基礎動詞と分離接頭辞との意味的関わりは、単なる「加算的」なものだけではなく(意味構造の規定という場合も含め)、「複層的な」ものも想定すべきであるとの結論に達した。これは、「特殊化」に伴う「重複」現象と言える。◆結論的に言えば、「統語的意味的生成メカニズム」の抽出という最終目的に達するための大きな枠組みを確立しえたという点が今年度の大きな成果である。

◆ドイツ語の「統語的意味的生成メカニズム」に関する理論的整理を行うために、(1)現実界と表現内容、(2)文意味構造と構造的意味特性、(3)文意味構造と統語構造、(4)統語構造の自立性、(5)統語構造と動詞と文意味構造の関連、(6)言語表現の容認性、に関して考察を行い、次のような知見をペ-パ-にまとめた:第1点:表現内容には、一般性の高い構造的特性を持つ項が想定され、また、それぞれの項がどのような構造的特性を持つかは、その都度の表現意図に基づく。第2点:表現内容には、一般性の高い意味構造が認められる。第3点:文意味構造と統語構造の間には規則的な対応が認められる。第4点:どの統語構造が用いられるかは表現内容の文意味構造に基づき、一方的に動詞に従属するものではない。第5点:統語構造と動詞は、文意味構造の表示にとって相互自立的である(特にこの点については、語義は複合的である、動詞は常に第一義的な役割を果たすわけではない、動詞と統語構造の間に一定の結合規則が認められる、創造的な結合も可能であることも示した)。第6点:動詞と統語構造の結合は、最終的に、容認性のレベルで判断される。◆最終的報告書をまとめるために、従来の研究成果を整理しつつ、基本動詞約1300語(300語追加)に関する分析データーの入力を引き続き行い、特に、移動動詞に関する分析を行うための実証的データも可能な限り収集した。◆結論的に言えば、平成9年度の最終報告「ドイツ語の統語的意味的生成メカニズム」を作成するための基本的準備がほぼ出来上がったという点が今年度の成果である。1.本研究の目的は、ドイツ語の「統語的意味的生成メカニズム(=動詞と「統語構造」を中心とする「文意味」の生成規則体系)」の解明である。方法論的特徴は、分析対象を基本動詞1300語に限定し、実証的に分析しようとする点にある。基本動詞1300語は、約700の単一語と約600の複合語から成り立つ。したがって、ドイツ語の「生成メカニズム」の解明は、単一語約700意味分析と、「複合動詞化」規則の抽出によって行われることになる。2.基本動詞1300語に含まれる、「移動」の意味用法を持つ約30の動詞を分析した結果、それらの「語義的展開(比喩的用法も含む)」において、「統語構造」に基づく規則性が認められることを確かめた。従来からの、「統語構造」に一定の意味機能を認める仮説を支持することになる。3.複合語約600語については、接頭辞と基礎動詞との意味的関係を視野に入れつつデータを整理した結果、「文意味構造」の形成における基礎動詞と接頭辞との意味的関わりには(「統語構造」に準じるような)「意味的規則性」が認められると実証的感触を得た。4.「生成メカニズム」の理論的枠組みを整備するために、従来からの研究論文をもとめるとともに、基礎動詞約1300語全体を実証的に記述するためのデータ収集も行った。これらは「研究成果報告書」としてまとめられる。なお、「生成メカニズム」によって生成されるドイツ語表現が容認されるか否かは、現実界に対する人間の認識とも密接に関わるものであるため、今後は、「容認性」を議論の中心に置きつつ、「認知言語学」を視野に入れた形で、ドイツ語の「生成メカニズム」全体の実証的解明を目指す。
ホモキラル金属錯体の磁気-誘電機能の開拓

金属錯体を用いた新規強誘電体の開拓に関し、昨年度に引き続き以下の2項目について、検討を進めた。1.磁性金属錯体[Ni(dmit)_2]を用いた誘電体の開拓[Ni(dmit)_2]のカウンターカチオンとして、種々の超分子を導入し、常誘電性、強誘電性の探求を進めた。1,4-置換のシルロヘキサンジアンモニウムのcisおよびtrans体を基本骨格とするキラルなシクロヘキサンジアンモニウム誘導体等を合成し、新たに結晶中に導入した。これら多数の結晶について結晶構造を精査すると共に、磁性ならびに誘電性を評価した。シクロヘキサンジアンモニウムが示す、イス型-船型のコンフォメーション変化など、分子の柔軟性に注目し、誘電体の開拓を進めた。特に有望なけいについて、誘電性の異方性の起源であるアンモニウム誘導体の結晶内での運動を評価するために、ポテンシャル曲線の計算を行い、低周波数領域での誘電応答と比較した。2.Cu錯体を利用した、新規ローター型強誘電体の開拓C4対称軸を持つCu錯体の配位子として、C3対称軸を持つアダマンタン誘導体を導入し、さらに軸配位子としてDABCO等を導入することで新たな分子集合系を構築した。この物質系は結晶内で、C4軸回りの回転、C3軸回りの回転および軸配位子のC4軸回りの回転と、多様な回転モードを持つため、強誘電体開拓に有望な系である。さらに、アダマンタン誘導体にフッ素基を置換して、ポーラーな部位を導入した。現在、X線構造解析、NMR測定、磁性測定、誘電率測定を実施しており、新たな強誘電結晶の作製を目指している。金属錯体では、金属イオンおよび配位子の選択から、そのスピン状態および磁性の設計が可能である。同時に、キラルな配位子を錯体に導入する事で、対称中心の無い結晶を作製する事ができる。本研究では、ホモキラル金属錯体の磁気-誘電物性の観点から、結晶中の分子配列制御に基づいた機能設計を試みた。20年度は、キラル配位子の導入と誘電物性の相関を検討するために、希金属イオンであるテルビウム(Tb)イオンとジベンゾイルメタン(HDBM)およびホモキラル配位子R,R-1,2-diphenylethylenediamine(DPEDA)が形成する新規、錯体Tb(HDBM)_3(DPEDA)の誘電物性を検討した。結晶は、キラルな空間群であるP2_1に属し、2次の非線形光学活性であった。結晶構造は、Tbに3個のHDBMと1個のDPEDAが配位していた。単結晶を用いた誘電率の異方性の評価では、結晶軸に対応した約6倍程度の異方性が観測された。これは、ホモキラルな配位子を含むTb錯体の構造を反映した結果である。また、trans-およびcis-cyclohexsanediammonium(CHDA^<2+>)カチオンとクラウンエーテルからなる柔軟な超分子構造に着目して、その[Ni(dmit)_2]塩の作製と誘電-磁気物性に関する検討を行った。コンフォメーションの自由度が高いシクロヘキサンは、分子変形と連動した誘電応答の発現が期待でき、実際に顕著な周波数依存性を示す新規錯体(CHDA^<2+>)([18]crown-6)_2[Ni(dmit)_2]塩の作製に成功した。現在、その磁気物性および誘電物性の詳細について検討している。
日本象嵌技法の系譜 -材質・技法の科学的分析からの研究-

日本の古墳時代から中世の家嵌遺品役200例について、実見または文献により調査し、そのうち約50例について、X線写真撮影、顕微鏡観察、X線分析を行うとともに、これら象嵌遺品の考古学的・歴史的考察もあわせて行った。日本の象嵌遺品は34世紀に中国及び朝鮮半島より伝わり、やがて5世紀には銘文大刀や象嵌太刀が多量に製造されるようになる。古墳時代のおよそ200年間の象嵌大刀が約300例発見されている。象嵌の組成成分分析の結果、金象嵌は金70%台・残りは銀、銀象嵌は純銀、銅象嵌は純銅を使用し、象嵌技法はタガネで文字・文様を彫り、金属線を嵌め込む糸象嵌で、タガネの運びの長さ・象嵌線の幅も、この時代を通じて共通している。また考古的考察からは銘文大刀は一国一群を支配する豪族、象嵌装飾大刀は一郡・一里を支配する豪族・有力者が所持していたことが判明する。象嵌大刀はこの時代・大和の一工房で独占的に動作され、地方に配付されたことが科学的・考古学的分析から明らかになった。奈良時代以降、象嵌遺品は極めて少くなるが、平安時代に採用される平象嵌技法による遺品は、すべて京都で製造されたと思われ、この時代にも象嵌は独占的に一工房で行われたことがわかる。さて、奈良時代以降にも、象嵌銘文大刀に限っていえば、飛鳥、奈良時代に中国からもたらされた三寅剣等とモデルとなってわが国で製作されるが、この時代には、既に政治性を離れて、もっぱら疾病平いや攘災などを神仏に加護するものとなっている。象嵌技法は精緻を極める。飛鳥奈良時代以降も、象嵌はやはり、特殊技術として伝えられていたことが判明した。本年度は飛鳥・奈良時代以降の象嵌資料15例を調査した。特に長野県小海町の旧家に伝世する三寅釼、奈良春日大社と和歌山速玉大社の鉄鉾を精査することができた。三寅釼は全長わずか30余センチメートルの小刀であるが、棟に「三寅釼」銘と波状文、佩表に三公・三台・北斗七星、毘沙門天など、佩裏に梵字真言、持国天が金・銀で象嵌される極めて珍らしい資料である。星座を象嵌する例は四天王寺と正倉院の七星剣があり、これらと同時代とみられるが、「三寅釼」銘・天部像の象嵌は初見である。その類例が16世紀韓国の「三寅剣」「四寅剣」にあり、寅年、寅月、寅日に造る「三寅剣」が攘災招福を願う剣であることも判明した。三寅剣の象嵌は極めて精緻で古墳時代象嵌とは大きく違うことが判明したが、この差が何を意味するものかは今後の課題である。春日大社と速玉大社の鉾はともに花唐草文を平象嵌したものであるが、その象嵌技術・鉾の形制・花唐草文の描写などから、前者は平安時代、後者は室町時代に造られたものであると判断するとともに、京都の同一工房の作であるとも推測できた。日本の象嵌技法は韓国の三国時代の百済又は伽邪の地から、古墳時代中頃(5世紀)に伝来した。以来、古墳時代を通じて、奈良県(大和)南部の特定の職能集団(工人集団)によって数百点の装飾文刀が製造された。

象嵌を科学分析すると金象嵌は金の濃度が7080%、銀の濃度が3020%を示し、銀象嵌はほぼ100%(純銀)を示し、統一的なデータが得られた。また象嵌装飾大力の象嵌文様の画一性、その時代変遷、糸象嵌技法の共通性などから、象嵌技術をもつ特定の工人集団の存在が浮かびあがる。この日本象嵌技術の特性(画一性、独占性)は、糸象嵌技法とならんで平象嵌技法が導入される平安時代以降、中世紀まで一貫した流れとしてとらえることができる。
相分離の確率平衡系モデルの確率解析

例えば0度における水と氷のように二つ以上の異なる相が共存している状況では,その異なる相を分離する境界面,いわゆる界面が観測される.本研究ではそのような界面を表す微視的なレベルでの平衡状態におけるモデルとして∇φ界面モデルと呼ばれる確率モデルを取り上げ,主として壁と相互作用する界面の漸近挙動に関して調べた.特に,以前に発見的な議論で得られていた結果の数学的に厳密な証明およびそれらの精密化を行った.例えば0度における水と氷のように二つ以上の異なる相が共存している状況では,その異なる相を分離する境界面,いわゆる界面が観測される.本研究ではそのような界面を表す微視的なレベルでの平衡状態におけるモデルとして∇φ界面モデルと呼ばれる確率モデルを取り上げ,主として壁と相互作用する界面の漸近挙動に関して調べた.特に,以前に発見的な議論で得られていた結果の数学的に厳密な証明およびそれらの精密化を行った.例えばO度における水と氷といったような相転移が起きている状況で現れる異なる二相を分離する境界面の確率モデルとして▽φ界面モデルを取り上げ,特に界面と壁との相互作用に関するエントロピー的反発の問題に関連して界面の上下に壁を置いたもとでの場の性質についての研究を行った.▽φ界面モデルでは系の平衡状態を表すGibbs測度は相互作用ポテンシャルが2次関数の場合はd次元格子上の零質量Gauss場として与えられ長距離相関を持つことが知られている.以前に行った研究によって系がGauss的で高次(3次元以上)の場合においては界面が上下の壁の間にとどまるという事象の実現確率の精密な評価が得られていたが,これに197080年台に場の理論の研究で開発された相関関数に対するBrydges-Frohlich-Spencerのランダムウォーク表現や各種の相関不等式およびピン止めランダムウォークの多重点の評価を用いることによって,上下に制限を加えた場合は場の相関関数が指数的減衰をすることを示し,更に壁の高さを無限大とする極限を取った場合について場の相関長(correlation length)およびふ散の正確な漸近挙勲を得た.これらはBricmontらによって得られていた発見的な議論による荒い評価の数学的に厳密な証明を与え,かつその精密化になっている.また系がGauss的で2次元の場合についても分散の精密な評価と相関関数が指数的減衰をすることが証明できたが相関長の漸近挙動についてはまだ上下からの荒い評価のみしか得られていない.これに関しては研究を継続することとした.例えば0度における水と氷といったような相転移が起きている状況で現れる異なる二相を分離する境界面の確率モデルとして▽φ界面モデルを取り上げ,特に界面と壁との相互作用に関するエントロピー的反発の問題に関連して次の研究を行った.エントロピー的反発において界面が壁上に存在すると条件付けることは,負のときに無限大の値をとり正のときには0となるような自己ポテンシャルを加えた場合のGibbs測度を考えることに対応する.そこで界面を正の方向へ押しやるようなより一般の自己ポテンシャルを加えた場合の界面の挙動について調べた.結論として,場の持つ長距離相関を反映して,任意の非増加関数を自己ポテンシャルとして加えた場合に少なくとも正に条件付けた時と同じだけ界面が持ち上がることを証明した.これはLebowitzらによって以前に得られていた評価の精密化を与え,例えば負のときに無限大ではなく正の値をとり正のときには0となる自己ポテンシャルを加えた場合においても界面は常に非局在となることを意味している.また界面が壁上に存在すると条件付けたときと同じだけ持ち上がるための自己ポテンシャルの十分条件を与えた.これらの結果は現在論文を専門誌に投稿中である.例えば0度における水と氷といったような相転移が起きている状況で現れる異なる二相を分離する境界面の確率モデルとして▽φ界面モデルを取り上げ,特に界面と壁との相互作用に関するエントロピー的反発の問題に関連して界面の上下に壁を置いたもとでの場の性質についての研究を行った.これまでに行った研究で系がGauss的で高次元(3次元以上)の場合には,界面の上下に制限を加えた場合は場の相関関数が指数的に減衰することを証明し,更に壁の高さを無限大とする極限を取った場合について場の相関長(correlation length)および分散の正確な漸近挙動を得ていたが,これらの結果を2次元の場合でも証明することが出来た.d次元の▽φ界面モデルはd+1次元空間における相分離界面を表すので2次元の場合が最も物理的に興味があるものであり,また高次元の場合と比べ2次元では場の揺動が大きくなるという特徴があり各種の量の漸近挙動が大きく変わるため,高次元の場合に比べより精密な議論が必要となる.得られた結果は以前にBricmontらによって示されていた発見的な議論による荒い評価の数学的に厳密な証明かつその精密化になっている.
IIIーV化合物半導体薄膜の相安定性に関する熱力学的解析

本研究では、エピタキシャル薄膜の相平衡について、整合歪を考慮した熱力学的解析を行った。解析に際しては、(i)液相は正則溶体近似、化合物相は副格子モデルによって自由エネルギ-を記述する;(ii)エピタキシャル成長した薄膜にミスフィット転位が入る臨界の厚さは、歪エネルギ-があるエネルギ-バリア-に達した時に生ずるとした。従って、歪エネルギ-は臨界膜厚までは一定であるが、それ以上では転位の導入により減少する。以上の前提のもとに相平衡の計算を行い、次の結果を得た。バルク材で出現するGa(As,Sb)化合物の2相分離は、LPE成長させた薄膜では歪エネルギ-のためGaAs側に偏り、膜厚が小さい程その変化は大きい。この系のバルク材は、広い組成範囲にわたって2相分離が存在するので、均一固溶体の成長は、GaAs側とGaSb側の非常に限られた組成範囲でのみ限定される。しかし、エピタキシャル成長では、InPがGa(As_<0.51>Sb_<0.49>)と整合するために、この組成近傍での成長であり、約700°C付近では1μm程度までコヒ-レント成長できる。しかし、より低温での成長では均一固溶体は得られず2相分離する。膜厚が薄くなると、バルクの2相分離線のサミット温度が上昇し、基板に格子整合する安定な組成とひずみエネルギ-の高い組成とに2相分離する傾向がある。(4)以上の解析をII族(Zn,Cd,Hg)とV族(S,Se,Te)の化合物半導体へも適用出来る様に、バルク材の2相分離の熱力学的解析を行った。現在の半導体作製技術の中で、III族(Al、Ga、In)とV族(P、As、Sb)より生成されるZincblende型の化合物半導体デバイスは、高い電子移動度と高い発光効率を有するので、その重要性は益々大きくなっている。これら化合物半導体薄膜の作成の際に、基板とエピタキシャル層との格子歪みが、その薄膜成長やデバイス特性に大きく影響することが知られている。そこで本研究は、基板と化合物層の間に発生する整合歪が相平衡に及ぼす影響について定量的に把握することを目的とし、熱力学的見地より解析を行なった。今年度は、特に種々の基板上に液相エビタキシャル成長を行なった場合の薄膜の相平衡の理論計算を行なった。熱力学解析の際に、液相と化合物相の自由エネルギ-をそれぞれ正則溶体モデルと副格子モデルにより近似し、さらに化合物相には基板と化合物間の格子定数の差に寄因して発生する歪みエネルギ-を組成と膜厚の関数として付加えた。これよりGaAs基板及びInP基板にGa(As、Sb)をLPE成長させた時の相平衡を計算した結果、次に示すようにバルク材と薄膜での相平衡は大きく異なることが判明した。バルク材で出現するGa(As、Sb)化合物の2相分離は、LPE成長させた薄膜では歪みエネルギ-のためにGaSb側に偏り、膜厚が小さいほどその変化は大きい。Inpの格子定数(0.58688nm)はGaAs(0.56534nm)とGaSb(0.60954nm)の中間であるために、GaAs_<0.5>Sb_<0.5>近傍で、歪みエネルギ-の寄与が小さくなり、そのため、この組成近傍で均一固溶体が生成するという興味深い結果が得られた。

III族(Al,Ga,In)とV族(P,As,Sb)より成るZincblende型の化合物半導体は、LPE,VPE,MOCVD,MBEなど種々のエピタキシャル成長によって薄膜にされるが、基板とエピタキシャル層とに発生する格子歪が、薄膜の特性や安定性に大きな影響を与える。本研究では、エピタキシャル薄膜の相平衡について、整合歪を考慮した熱力学的解析を行った。解析に際しては、(i)液相は正則溶体近似、化合物相は副格子モデルによって自由エネルギ-を記述する;(ii)エピタキシャル成長した薄膜にミスフィット転位が入る臨界の厚さは、歪エネルギ-があるエネルギ-バリア-に達した時に生ずるとした。従って、歪エネルギ-は臨界膜厚までは一定であるが、それ以上では転位の導入により減少する。以上の前提のもとに相平衡の計算を行い、次の結果を得た。この系のバルク材は、広い組成範囲にわたって2相分離が存在するので、均一固溶体の成長は、GaAs側とGaSb側の非常に限られた組成範囲でのみ限定される。しかし、エピタキシャル成長では、InPがGa(As_<0.51>Sb_<0.49>)と整合するために、この組成近傍での成長が可能であり、約700°C付近では1μm程度までコヒ-レント成長できる。しかし、より低温での成長では均一固溶体は得られず2相分離する。膜厚が薄くなると、バルクの2相分離線のサミット温度が上昇し、基板に格子整合する安定な組成とひずみエネルギ-の高い組成とに2相分離する傾向がある。(3)以上の解析をII族(Zn,Cd,Hg)とV族(S,Se,Te)の化合物半導体へも適用出来る様に、バルク材の2相分離の熱力学的解析を行った。
偏微分方程式の解の性質に関する研究

(1)新しいphase functionを導入し従来解の漸近的挙動が明らかにされていなった長距離型の非局所的非線形項を持つSchrodenger方程式の解の漸近的ふるまいを明らかにした。この結果はすでにAmer. J. Math. 1998, SUT J. Math. 1998において発表されている。また解析関数の空間を有効に用いることによりこの結果を長距離型の局所的非線形項を持つ場合に拡張した。この結果はすでにHokkaido Math. J. 1998, Dis. Conti. Dyna. Sys. 1999において発表されている。(3)分散型発展方程式の代表的な例の1つとして知られているModifiedBeinjamin-Ono方程式解の漸近的ふるまいを示した。この結果はすでにTrans. A.M.S. 1999,において発表されている。非線形項をcriticalな部分とそうでない部分とにわけcriticalな部分を扱うときに新しいphase functionを導入した。(1)新しいphase functionを導入しCritical nonlinearSchrodinger方程式の解の漸近的ふるまいを明らかにした。この結果はすでにAmer.J.Math.1998,SLAM J.Math.Anal.1998において発表されている。(2) (1)における方法と方程式の変換を組み合わせることにより従来解の漸近的挙動が明らかにされていなった長距離型の非局所的非線形項を持つCritical nonlinear Schrodinger方程式の解の漸近的ふるまいを明らかにした。この結果はすでにSUT J.Math.1998において発表されている。この結果はすでにHokkaido Math.J.1998,Dis.Conti.Dyna.Sys.1999において発表されている。(3)新しい関数空間を導入しAry関数の性質を詳しく調べることによりgeneralized Korteweg-de Vries方程式の解の時間に対する漸近的ふるまいを証明した。この結果はすでにJ.Funct.Anal.1998,において発表されている。(4)分散型発展方程式の代表的な例の1つとして知られているModifiedBeinjamin-Ono方程式解の漸近的ふるまいを示した。この結果はすでにTrans.A.M.S.1999,において発表されている。非線形項をcriticalな部分とそうでない部分とにわけaiticalな部分を扱うときに新しいphase functionを導入した。
法秩序形成プロセスに対する判断過程統制の研究

本研究は、「法律」および行政立法と呼ばれる「法規命令」と「行政規則」の制定過程に対する司法的統制の在り方の探求を研究課題とする。初年度にあたる平成30年度は、行政・立法裁量に対する判断過程統制に関する日本の判例・学説に関連する文献を収集し、精読すること、さらには次年度以降に予定されているドイツ公法学に関する研究遂行のための体制を整えることを中心的な作業として行い、研究の方向性を定めた。そこでまず着手されたのは、わが国の憲法学で発展した違憲審査基準論と判断過程統制の相違を明らかにすることであった。違憲審査基準論という思考枠組みの思想的な源泉を辿ることを試みた結果、当該基準論は、アメリカ公法学におけるリーガル・プロセス学派のアプローチに着想を得たものであることが確認された。これは、法問題と事実問題を峻別し、事実認定という作業における《法形成を支える事実(legislative facts)》と《法適用のためになされる事実(adjudicative facts)》の区別を最大の特徴とし、基本的には、前者の認定は立法府の役割であり後者の認定は司法府・行政機関の役割だとする。このような区別がもつ本来の狙いは、拡張傾向にあった司法府の権限を抑制するという点にあったが、わが国においては、ある種の実体的な価値秩序論と組み合わされることにより、違憲審査基準論に結実したという経緯が確認された。以上の成果は研究会で報告され、日本やドイツにおける議論における位置づけ等について貴重なコメントを得ることが出来た。本年度は研究の初年度にあたるため、まずは研究体制を整え、研究全体の方向性を考える必要性に直面したため、当初予定に比べると、他の研究者へのヒアリング等の機会を持つよりも文献の収集等に時間と費用を要した。それゆえ、本年度で遂行された研究成果を公表する段階にまでは十分に至っていない部分が多く残されているが、全体的に見れば想定の範囲内であるため、おおむね順調と評価できる。今後は積み残された課題として、わが国における行政裁量の判断過程統制にかかる議論状況の分析をさらに進めると同時に、ドイツ公法学での議論状況の把握に努める。次年度中にはドイツへと渡航し、現地の研究者から研究課題にかかる近時の動向についてヒアリング調査を実施し、研究の推進に役立てる。
インスリン糖取り込み促進作用におけるフォスファチジルイノシトール代謝の重要性

インスリンによる糖輸送促進にはphosphatidylinositol(PI)3-kinase活性化が必須であり、その下流のシグナルとしてはPI3,4,5-P_3が最も重要と考えられているが、PI3,4-P_2の関与も否定できない。これらPIの糖輸送促進機構における役割を検証するため、PI3,4,5-P_3からPI3,4-P_2を生ぜしめるSH2-containing inositol 5'-phosphatase(SHIP)のwild-type(wt-SHIP)、さらには細胞膜移行シグナルを付加したミリストイル化SHIP(myr-SHIP)を3T3-L1脂肪細胞に過剰発現させ、インスリン刺激による糖輸送を検討した。LacZ(コントロール)、wt-SHIP、myr-SHIP過剰発現には、組換えアデノウイルスを用いた。SHIPの蛋白レベルでの発現はウエスタンブロットで、活性はCHO細胞に発現させたSHIPを粗精製後in vitroの系でアッセイし、5'-phosphatase活性をもつSHIPの過剰発現を確認した。糖輸送活性は、10^<-9>10^<-7>Mインスリン存在・非存在下の2-deoxy glucose取り込みで検討した。各細胞での糖輸送担体GLUT4の総発現量や、10^<-7>Mインスリン依存性のGLUT4 translocationは、total lysateやインスリン非処理・処理後の細胞膜分画でのウエスタンブロットで検討した。LacZに比べ、wt-SHIPあるいはmyr-SHIP過剰発現3T3-L1脂肪細胞では、10^<-7>Mインスリン存在下での糖取込みはそれぞれ平均1.7倍、2.7倍増加した。また、LacZに比べ、wt-SHIPおよびmyr-SHIP過剰発現3T3-L1脂肪細胞では、細胞での総GLUT4発現量自体に特に差はなかったが、10^<-7>Mインスリン存在下での細胞膜分画でのGLUT4発現量は、SHIP特にmry-SHIP発現細胞で増加する傾向にあった。SHIP特にmyr-SHIPの過剰発現下では、細胞膜上のPI3,4,5-P_3が減少しPI3,4-P_2が増加することが推測される。本研究での検討の結果、インスリンによる糖輸送促進機構、すなわちGLUT4 translocationには、PI3-kinase下流のシグナルとしてPI3,4-P_2がより重要な役割を果たしている可能性が示唆された。インスリンによる糖輸送促進にはPI(3)K(phosphatidylinositol-3-kinase)活性化が必須である。下流のシグナルとしてはPI(3,4,5)P_3が最も重要と考えられているが、PI(3,4)P_2の役割も否定できない。そこで、これらPI(phosphatidylinositol)の糖輸送促進機構における役割を検証するため、PIP_3からPIP_2を生ぜしめるSHIP(SH2-containing inositol 5-phosphatase)を3T3-L1脂肪細胞に過剰発現させ、インスリン刺激による糖輸送を検討した。

さらに、PI代謝は細胞膜上で行われていることが想定されるため、細胞膜移行シグナルを付加したミリストイル化SHIP(m-SHIP)も作製し、wild-type SHIP(w-SHIP)との違いも検討した。3T3-L1脂肪細胞に、LacZ(コントロール)、w-SHIPやm-SHIPcDNAを組み込んだアデノウイルスを感染させ、35日後に実験に供した。w-SHIP・m-SHIP過剰発現をウエスタンブロットで確認後、糖輸送活性は、10^<-9>10^<-7>Mインスリン存在・非存在下の2-deoxy glucose取り込み量で測定した。さらに、各細胞全体でのGLUT4発現量や、10^<-7>Mインスリン依存性のGLUT4 translocationを検討するため、total lysateやインスリン非処理・処理後の細胞膜分画を用いてウエスタンブロットを施行した。コントロール細胞に比べ、w-SHIPあるいはm-SHIP過剰発現3T3-L1脂肪細胞では、10^<-7>Mインスリン存在下での糖取込みはそれぞれ平均1.7倍、2.7倍増加した。また、コントロール細胞に比べ、w-SHIPおよびm-SHIP過剰発現3T3-L1脂肪細胞では、細胞全体でのGLUT4発現量自体には特に差はなかったが、10^<-7>Mインスリン存在下での細胞膜分画でのGLUT4発現量は、SHIP特にm-SHIP発現細胞で増加する傾向にあった。SHIP特にm-SHIPの過剰発現下では、細胞膜上のPIP_3が減少しPIP_2が増加することが推測される。以上の検討の結果、インスリンによる糖輸送促進機構、すなわちGLUT4 translocationには、PI(3)K下流のシグナルとしてPIP_2がより重要な役割を果たしている可能性が示唆された。インスリンによる糖輸送促進にはphosphatidylinositol(PI)3-kinase活性化が必須であり、その下流のシグナルとしてはPI 3,4,5-P_3が最も重要とされているが、PI 3,4-P_2の関与も否定できない。これらPIの糖輸送促進機構における役割を検証する目的で、PI 3,4,5-P_3からPI 3,4-P_2を生ぜしめるSH2-containing inositol 5'-phosphatase(SHIP)を3T3-L1脂肪細胞に過剰発現させ、インスリン刺激による糖輸送を検討した。wild-type SHIP(wt-SHIP)、細胞膜移行シグナルを付加したミリストイル化SHIP(myr-SHIP)の組換えアデノウイルスベクターを作製し、3T3-L1脂肪細胞に過剰発現させると、インスリン依存性糖取り込みはむしろ促進されることをまず見出した。次に、CHO細胞に発現させたSHIPを粗精製後、in vitroで[3'-^<32>P]PI 3,4,5-P_3の[3'-^<32>P]PI 3,4-P_2への脱リン酸化を示すことにより、SHIPの5'-phosphatase活性を確認した。
超並列計算機アーキテクチャと宣言型言語に関する研究

(1)我々の研究室で開発したデータフロー意味論を基礎とする宣言型言語Vおよびその処理系をGao教授らが推進しているスレッド実行モデルに基づく言語処理系(Threaded-C;C言語を元にして並列処理のための記述要素を追加し拡張した言語)と結合する研究を進め、その具体化を行った。V言語コンパイラの中間言語であるDVMC(Datarol Virtual Machine Code)をEARTH-MANNAマシンのコードに変換する手法を開発した。この変換システムを用いてV言語プログラムをEARTH-MANNAマシン上で走行させ、V言語処理系構成法が異種並列マシン上へ移植できることを明らかにした。V言語処理系とThreaed-C処理系との結合を図ることにより、Threaed-Cを媒介としてV言語を各種の商用超並列計算機で実行可能とすることができる。(2)Kacsuk教授のグループとの共同研究において、Kacsuk教授らが提案している並列Prolog処理モデルLogic Flowを当研究室で開発している細粒度並列計算機のアーキテクチャDatarol-IIおよびそのプロトタイプ実験機KUMP/Dの上に論理型言語Prologの並列処理系を実装する研究を行った。この研究においてDatarol-IIならびにKUMP/Dのアーキテクチャが基礎とするマルチスレッド実行機構によってLog Flowモデルを実現するために基礎検討を行い、その実行機構の詳細を明らかにした。Logic Flowから細粒度スレッド処理モデルであるDVMCコードへの変換法を与え、Logic Flowと細粒度並列実行マシンモデルDatarolとの親和性を明らかにした。(3)並列定理証明系および制約プログラミングの研究に関して、その理論ベースを与えると期待されるモデル生成に基づく定理証明系(MGTP)の実装法の研究を行った。この研究を通して、CASE分割方式による定理証明手順のアルゴリズムを明らかにし、また、区間制約をMGTPに取り込む手法を明らかにした。本研究の目的は、細粒度スレッド処理による超並列計算機構を明らかにし、このモデルによる超並列計算機のアーキテクチャ、ソフトウェア・言語方式の実現法を具体化することである。本年度は、主に以下のような研究を行い一定の成果を得た。1.ハンガリー国立研究所のKacsuk教授のグループとの共同研究において、Kacsuk教授らが提案している論理型言語Prologの並列実行モデルLogic Flowを当研究室で開発している細粒度並列計算機のアーキテクチャDatarol-IIおよびそのプロトタイプ実験機KUMP/Dの上に実装する研究を行った。この研究において、Datarol-IIならびにKUMP/Dのアーキテクチャが基礎とする細粒度マルチスレッド実行機構によってLog Flowモデルを実現するために基礎検討を行い、その実行機構の詳細を明らかにした。(本成果を国際会議(ISHPC97,LNCS1336)で発表した。)この実行モデルの有効性を評価するためのシミュレータ設計を行った。次年度には、このシミュレータを用いて方式の有効性を示す予定である。2.米国のDelaware大学Gao教授のグループとの共同研究において、我々の研究室で開発した、データフロー意味論を基礎とする宣言型言語Vおよびその処理系をGao教授らが推進しているスレッド実行モデルに基づく言語処理系(Threaded-C)と結合する研究を進め、その具体化を行った。V言語処理系とThreaed-C処理系との結合を図ることにより、Threaed-Cを媒介としてV言語を各種の商用超並列計算機で実行可能とすることが出来る。次年度はV言語処理系とThreeaed-Cとの結合実験を行い、方式の有効性を評価する。3.ドイツのKahrsluhe大学Haehnle助教授との共同研究において、論理型プログラミング言語、推論・定理証明系の実装を並列計算機上に実装する研究を進め、並列実行のためのオーバーヘッドを削減する効率的実装法の理論的検討を行ない、その有効性を示した。