hpprc/llmjp-kaken huggingface dataset:
文化財データベースの構築のための仏教文化の源流に関する研究

パキスタン北西辺境州の仏教寺院遺跡ザールデリーにおいて1999年の発掘調査の際に、伽藍北側の僧院区北側僧房列の1室から出土した130点を超える浮彫彫刻、建築装飾部材の精査、実測、撮影を行なった。また収集した作品に関するデータをデータベース化した。石造彫刻が発見された僧房F/2の入口外側には、炭化した入口横木の框材が原位置に残されていた。また、この僧房の東に隣接する僧房G/2には焼土層があり、この中からやはり炭化木材が検出されている。いずれも寺院造営当時、あるいはそれを下らぬ時期の部材と判断されたため、これらの一部を採取し、樹種同定および放射性炭素による年代測定を実施した。その結果、僧房F/2採取の炭化材はヒマラヤスギ、G/2採取のそれはマツ属に属するもので、また伐採年代は、F/2が前100年から紀元後140年頃、G/2が前160年から後150年頃と考えられるという。ガンダーラ地方における仏教文化はクシャーン朝(13世紀)に隆盛したが、本遺跡の場合、貨幣、年記など遺構の絶対年代を示す資料を欠くため、時代判定には彫刻の様式的研究などとあわせてこのような科学分析資料も活用する必要がある。本測定値は、建築遺構からみた寺院の造営年代がガンダーラの仏教文化が最も繁栄した時期にほぼ合致するということを示唆している。出土した石造遺物の中には、石材そのものが脆弱化しているもの、折損、剥離の甚だしいものが数多く含まれ、修理を含む適切な保存処置を施すことが必要不可欠である。そこで、石造文化財の保存、修復の専門家を招請、遺物の状態を保存科学的視点から調査し、今後の保存・修復措置についての計画案を作成した。併せて、同遺跡の彫刻作品、建築部材に使用されている石材の同定を行なった。石材は遺跡から同種のものを採取し、分析した結果、「含ざくろ石クロリトイド黒雲母白雲母片岩」と判明した。

出土した石造遺物の中には、石材そのものが脆弱化しているもの、折損、剥離の甚だしいものが数多く含まれ、修理を含む適切な保存処置を施すことが必要不可欠である。そこで、石造文化財の保存、修復の専門家を招請、遺物の状態を保存科学的視点から調査し、今後の保存・修復措置についての計画案を作成した。併せて、同遺跡の彫刻作品、建築部材に使用されている石材の同定を行なった。石材は遺跡から同種のものを採取し、分析した結果、「含ざくろ石クロリトイド黒雲母白雲母片岩」と判明した。
日中律令制の比較研究

日本がこれまで継受した中国法は、七・八世紀における唐律令法体系と、十七八世紀における明・清法であるが、この研究では、その当時、いかなる法典が輸入され、取り入れられたかをあきらかにすることを大きなテーマとした。そして、唐律令については、『令集解』に引用されている中国書を分析することによって、また、明清法については、幕府紅葉山文庫をはじめ、旧大名家文庫にどのような明清法書が蓄積されているかをあきらかにすることによって、いかなる中国の法律書が日本にはいっていたかを確認しようとこころみた。そのための作業として、古代については、律令をはじめとするさまざまな日中の古代法の本文をデータ入力し、それをもとに、唐律令制の日本律令制への影響や両者の差違についてあきらかにした。また、明清時代=近世については、江戸時代より続く文庫、例えば内閣文庫(旧紅葉山・昌平坂学問所)、名古屋蓬左文庫、加賀前田藩尊経閣文庫等を調査し、明清律や会典の架蔵情況を調べ、貴重な書籍をマイクロ化・紙焼化するとともに、その流入経路・利用情況を調査し、江戸時代の著作や和刻本を調べて江戸時代史の理解と、知識の普及情況をあきらかにした。本研究は法律書の伝来という極めて具体的な事実を追求することによって、法思想、法技術から法を中心とした文化全般の受容にまで視野を広げようとすることを目指したが、この報告書に収録した研究成果は、本研究によって得られたあらたな知見をまとめたものである。なお、入力したデータの加工や、収集したマイクロフィルムの分析については、今後も作業を継続していく必要があり、この報告書の刊行を契機として、さらに研究を進めていきたい。1、『令集解』ほかに引用される中国書(漢籍名や引用文)のデーターベースを作成した(未完)。2、国立国会図書館・国立公文書館・東大史料編纂所・宮内庁書陵部・蓬左文庫などの調査を行い、『大明律』ほかの紙焼き写真を入手し、分析研究を進めた。特に、これらの調査で蓬左文庫の明律が、朝鮮版であることが明らかとなり、今後その原本が何であるかを調べる必要が発生した。3、平成12年10月20日から26日まで、中国側研究者5名を招聘し、また平成13年3月22日から27日まで日本側研究者4名を派遣し、両地でそれぞれシンポジウム「法律制度よりみた日中の交流」を開催した(10月20日・25日於皇學館大学、3月25日於中国政法大学)。なお個別報告は、以下の通り。(1)南玉泉「秦代における国有地とその管理」、(2)徐世紅「江陵鳳凰山10号漢墓出土の木簡-漢代の契約に関する新史料-」、(3)鄭顕文「僧尼令集解からみた唐代の道僧格」、(4)楊育棠「『明志』刑法志の訂正」、(5)沈厚鐸「沈家本と日本法及び法学者」<於皇學館大学>(1)荊木美行「日本における律令研究の現段階」、(2)岡野友彦「日本中世における壁書について」、(3)大庭脩「江戸時代に輸入された明清の法書」、(4)田浦雅徳「明治初期刑法における清律の影響について」<於中国政法大学>特に田浦報告では、明治刑法への中国法の影響が、熊本藩の研究した清律によることが明らかとなった。なお、科研費の採用が10月であったため充分な成果とはいえないが、来年度以降に所期の成果を挙げたい。

(1)前年に引き続き、令集解に引用される中国書のデータベース化を目指して、データの入力作業を継続したほか、あらたに関連史料として、唐律疏議・唐六典の全文をデータ入力した。(2)国立公文書館・東北大学附属図書館・天理図書館などの調査を行い、おもに法律関係の書物がいつごろどのようにして中国・朝鮮から日本にもたらされたかを研究した。なお、こうした各地の文庫・図書館の調査にともない、愛知県の穂国文庫所蔵の『政事要略』など、法制史関係の写本の紙焼写真を収集した。(3)平成13年8月710日には、渡邊寛・上野秀治の2名を北京の中國政法大学法律古籍整理研究所に派遣し、同研究所のメンバーとともに、北京にある日本法制史関係の文献の調査を実施するとともに、同研究所において学術シンポジウムを行った。両氏は、それぞれ、日中の斎王制度の比較研究、日本近世の参勤交代制度について報告した。また、10月713日には、法律古籍整理研究所のメンバーが日本を訪問し、天理図書館や奈良文化財研究所において資料調査を実施するとともに、11日には、皇學館大学において学術シンポジウムを開催した。陸〓「『盟水斎判牘』から明代の判決文の「簡当為貴」の風格を見る」、劉斌「中国法制古籍の分類と特色」、李雪梅「明清碑刻法律史料と律典条例との関係」、徐世虹「王氏親子と荻生兄弟」の4発表があり、こうした基調報告をもとに討議を重ねた。1、前二年度に引き続き、『令集解』に引用される中国書のデーターベース化を目指して入力作業を継続したほか、新たにわが国古代法典の一つである『延喜式』神祇上・下のデーター入力をした。2、国立国会図書館・国立公文書館・中央大学図書館などを調査し、中国法制史関係書物の日本伝来や両国に共通する法制関係史料の研究を進めた。なお、内閣文庫所蔵の『政事要略』『令集解』などの法制史関係書物の写本の紙焼き写真を入手し、分析を進めた。3、平成14年8月25日から29日まで、清水潔・岡田登を北京の中国政法大学法律古籍整理研究所に派遣(岡田は、その後9月1日まで、洛陽・鄭州・上海を巡り、都城・古道・古墓などの調査研究を進めた)し、シンポジウム「法律制度よりみた日中の交流」を開催した。シンポジウムでは、清水が「天皇服制規定の成立-荷前奉幣における天皇御服規定-」、岡田が「日本古代交通制度研究の現状と課題-駅馬と伝馬-」を報告し、討議した。また、10月6日から12日まで、中国政法大学法律古籍整理研究所所長の徐世虹氏を招聘し、8月1日より本学史料編纂所の研究員として留学中(本学経費による)の鄭顕文両氏による基調報告を受けた同名のシンポジジウムを開催した。徐氏は、「走馬楼呉簡J22-2550号木牘補考」、鄭氏は「唐代神龍年間<散頒刑部格>残簡の文献価値について」を報告し、討議を重ねた。4、本年度は、本研究の最終年度にあたり、これまで両国で開催された6回のシンポジウム基調報告を主に、日本側7名中国側8名の論文をまとめた報告書『日中律令制の比較研究』を作成した。
水圧破砕とコア変形原理を統合した自己補償型深部地殻応力測定法の構築と実用化

本研究では、多方面で関心が高まっている、深度数kmにおける地殻応力の原位置測定を可能とする実用的な方法を提案して実証した。これによれば、水圧ポンプを組み込んだ坑内ツールを用い、坑底に設けた補助孔(ベビー孔)で水圧破砕を行うことでコンプライアンスが十分小さい加圧系を実現し、ワイヤーライン式ツールにつきまとう抑留リスクを、ドリルパイプの中でツールを昇降させることで回避し、検出が極めて困難な水圧破砕き裂の方位を用いず、ベビー孔のコアの形状を解析して地殻応力の方位を決定し、同時に得られる地殻応力差を使って水圧破砕法で得た結果を補償し、さらに、水圧破砕法が原理的に内包する測定範囲の限界を排除できる。本研究で検討する水圧破砕地殻応力計測法では、通常の水圧破砕と異なり、本体の坑井ではなく、坑底に小坑径で長さが数m程度の試験孔(ベビー孔)を新たに掘削し、その中で試験を実施する。水圧破砕に用いる坑内ツールは、ワイヤーラインを介した通信により、リアルタイムの制御とデータ取得が可能なものとする。抑留を回避するため、同ツールおよびベビー孔掘削のためのツールは全てドリルパイプ内を昇降させる。これを具体化し,本研究で作成するツールの仕様として、本体孔井をHQサイズ(φ98)、ベビー孔をBQサイズ(φ60)とし、深度2 km以上で100°C以上の泥水環境で使用でき、さらに、作業を容易にするため、試験ツールが1個あたり3 m未満の5つのユニットに分解され、それらを坑井入口で組み立てられる構造とすることにした。これに従い、初めの平成24年度に油圧供給およびキャリパーの2つのユニットを作成した。そして平成25年度には、測定制御・電圧供給、油圧水圧変換およびパッカーの機能を有する各ユニットの構造と仕様を検討し、それらを実際に作成した。一方、水圧破砕試験で得られたデータを補間し、地殻応力評価結果の信頼性を向上させるためにコア変形法を水圧破砕法と併用して用いることを本研究では想定している。しかし、コア変形法は原理の提案に留まり、理論的及び実験的な検証が不十分であった。そこで、提案者と共同して様々な検証を行っている。その一環として平成25年度には、刃先の形状と構造が異なる4つのコアビットそれぞれを用いて、一軸荷重を受ける試験片を掘削した場合のコア形状を室内実験で比較した。その結果、コア形状がビットによって変化すること、そして、その原因が内側の刃でコア表面が削られるためであることを明らかにした。また、実験結果と有限要素に基づく解析結果の比較により、コア変形が弾性的に起きていることを実証した。地殻応力測定に対する時代の要請は、かつての土木・鉱山開発の分野で対象とされてきた数十数百mの浅深度から、エネルギー開発、地震対策などの分野が必要とする数km以上の大深度へと対象が拡大している。この現状を踏まえて本研究では、深度数kmにおける地殻応力の原位置測定を可能とする実用的な方法を世界に先駆けて提案し、それを実規模試験で実証することを目指している。この目標達成に向けて平成24年度には、代表者が先に提案したBABHY方式、すなわち通常の水圧破砕と異なり、本体の坑井ではなく、坑底に小坑径で長さが数m程度の試験孔(ベビー孔)を新たに掘削し、その中で試験を行う方式を具体的に実施する上で必要となる条件を検討した。そこで、関係する研究機関および民間企業と協議を重ねた。その結果、以下の条件を基準とすることが適当と判断された。すなわち、1対象坑井径:HQサイズ、2ツール外径:φ70 mm程度(HQサイズ掘管の中を昇降できること)、3使用深度:3000 m以浅、4使用温度:100°C以上、5水圧破砕圧力:坑井内圧+50 MPa以上、6水圧破砕流量:100 cc/min以上、7パッカー加圧圧力:1020 MPa(坑内圧との差圧)、8パッカー収縮外径:φ60 mm未満(HQコアビットを通過できること)、9データ:圧力(油,水,坑内水など),流量(ピストン変位),温度(ツール内・外,モーター),ツール方位・傾斜,キャリパー変位など、10サンプリング:10 Hz以上、11制御:リアルタイムでポンプおよび切替バルブを作動できることである。また、ツールを、電源制御、油圧供給、水圧供給、パッカーおよびキャリパーの各ユニットに分割し、また、坑井入口で組立/分解ができる構造とすることとした。これらの結果に基づいて、油圧供給およびキャリパーのユニットを実際に製作した。

本研究で検討した水圧破砕地殻応力計測法では、通常の水圧破砕と異なり、本体の坑井ではなく、坑底に小坑径で長さが数m程度の試験孔(ベビー孔)を新たに掘削し、その中で試験を実施する。水圧破砕に用いる坑内ツールは、ワイヤーラインを介した通信により、リアルタイムの制御とデータ取得が可能なものとする。抑留を回避するため、同ツールおよびベビー孔掘削のためのツールは全てドリルパイプ内を昇降させる。ただし、本体孔井をHQサイズ(φ98)、ベビー孔をBQサイズ(φ60)とし、深度2 km以上で100°C以上の泥水環境で使用でき、さらに、作業を容易にするため、試験ツールが1個あたり3 m未満の5つのユニットに分解され、それらを坑井入口で組み立てられる構造とすることにした。この計画に従って最後に残った通信ユニットを今年度に具体化し、全てのユニットを整えることに成功した。さらに、それらを組み合わせて性能を確認する試験を行った。試験は、(1)地表に横置きした各ユニットを、別途用意した電線と配管で接続した状態及び(2)各ユニットを直結して水で満たされた坑井に挿入した状態のそれぞれで実施し、各ユニットが正常に機能することを確認した。一方、水圧破砕試験で得られたデータを補間し、地殻応力評価結果の信頼性を向上させるためにコア変形法を水圧破砕法と併用して用いることを本研究では想定している。そのコア変形法の検討を行った結果、応力解放で膨張したコア表面の一部がコアビットの内刃によって削られることで地殻応力を過小評価してしまうことが昨年度に明らかになった。そこで、まず掘削の過程で発生するコアの膨張変形を数値解析で明らかにした。これにより、コアの内刃の形状を修正することで、不要なコア表面の削り取りが避けられることが明らかになった。さらに、その修正方法に応じたコアビットを実際に製作できることを確認した。26年度が最終年度であるため、記入しない。ジオメカニクス26年度が最終年度であるため、記入しない。提案する手法の心臓部となる機器の開発およびコア変形法の検証が予定通りに進められた。初年度の目標であった油圧供給およびキャリパーのユニットを実際に製作することができた。本研究の最終目的は新たな手法を実用化まで持っていくことである。この最終目標に到達するには、理論および室内実験に基づく検討のみならず、研究機関および民間企業において坑井掘削および坑井を使った計測を携わった方々の経験を組み込むことが必要不可欠である。そこでJAMSTECを初めとする研究機関および民間企業との協力関係を維持して研究を進めて行く。そこで平成24年度には、JAMSTECを初めとする研究機関および民間企業との協力関係を構築した。この関係を維持して研究を進めて行く。また、平成25年度には本研究のテーマである地殻応力に関する国際会議を、代表者が議長を務めて実施する。そこで、この分野をリードする研究者と意見交換をする機会を設け、その結果を本研究にフィードバックして研究を加速する。
Mn-Mg-Fe-Si-O系のfCO_2、fH_2Oにおける相平衡

Mnーケイ酸塩鉱物を主体とした鉱床は本邦の古期岩類中に広く分布し、複雑な鉱物共生関係から地球化学的にも興味のもたれる鉱床である。一方これらの鉱物共生関係中に新しい相の発見が相次ぎ、形成場の解明が徐々に進みつつある。従来本系に他の1成分(MgOかCaO)の固溶関係の実験的研究が報告されているが、それぞれ出現する相および安定領域は異なる。又揮発性成分存在下のものでの研究はMn-Si-O系のみの実験的研究か熱力学的相平衡の検討が行われてきたのみである。変成、非変成のMn鉱床の鉱物共生はFeとMg元素が重要な役割りをはたしていることをうかがわせる。本研究ではMnSiO_3-MgSiO_3の成果をもとにFeSiO_3分子の相共生におよぼす影響を実験的に確認することを目的とした。また、このような鉱物生成の場は揮発性成分の影響を無視できず、実験はfCO_2、fH_2O制御の高温・高圧下での相平衡を検討した。Mn-Si-O系の相平衡の研究は,古期岩類中に胚胎する変成,非変成Mn鉱床の形成過程を論ずるのに重要なものである.従来本系に他の1成分(MgOかCaO)の固溶関係の実験的研究が報告されているか,それぞれ出現する相および安定領域は異る.又揮発性成分存在下のもとでの研究はMn-Si-O系のみの実験的研究が,熱力学的相平衡の検討が行われてきたのみである.変成,非変成のMn鉱床の鉱物共生はFeとMg元素が重要な役割りをはたしていることをうかがわせる.そこでこれらの組成の固溶と高温・高圧下における相平衡を検討し, Mnけい酸塩鉱床の形成過程を検討することを目的とした.pyroxmangiteとrhodoniteの安定関係も充分理解されておらず,本系にさらにCaOを加えた系の実験が天然の鉱物共生の関係を理解するのに重要であると考えられる.本研究の目的の1つである低MgO、FeO領域における相境界の決定は一応目的を達成した。しかし高圧合成実験による出現相は微結晶の場合が多く、その同定、元素分配の測定は困難のことが多い。そのため長時間の実験をこころみ、生成物の結晶生長を増大させる様検討した。Pyroxmangiteとrhodoniteの安定関係も充分理解されておらず本系にさらにCaOを加えた系の実験が天然の鉱物共生の関係を理解するのに重要であると考えられる。
面積・時間積最小化に基づく最高性能知能集積システム用VLSIプロセッサの開発

本研究では,高安全自動車や家庭用サービスロボットなどにおいて重要となる,自動車(またはロボット)と障害物の衝突をチェックする衝突チェックVLSIプロセッサを開発し,それに基づいた衝突警報システムを構築し,その総合的評価を行うことを目的としている.このような目的のために,本年度は以下の成果を得た.1.計算量の少ないVLSI向き衝突チェックアルゴリズムの確立VLSIでの実現のためには,処理の規則性・並列性が重要となる.そこで,計算量を減少しつつ並列処理にも適合する衝突チェックアルゴリズムを提案した.自動車の表面離散点情報の表現法として精密な直方体表現と,大枠直方体表現を用いる階層的直方体表現を提案した.この表現を用いることにより,チェックの精度を段階的に高めることにより,計算量を大幅に減少できる.2.面積・時間積最小化に基づく最適設計のための連想メモリの開発前年度の研究により研究者が提案した並列性の高いVLSI向きアルゴリズムに基づいた稼働率100%の負荷分散型の並列アーキテクチャでは,全体の最適設計,例えば,面積制約下での処理時間最小化は,1個の処理要素(PE)の面積・時間積に帰着されることを見いだしている.そこで,照合演算を並列に行う連想メモリの面積・時間積最小化を実現するためのアーキテクチャとして,メモリの各ワードを複数の照合回路により共有したマルチポート連想メモリを提案した.このアーキテクチャではメモリセルの稼働率を高めることにより、同等の面積で従来の連想メモリの数倍の性能を達成できることが確認された.3.衝突チェックVLSIプロセッサの基本回路のフルカスタム試作・評価衝突チェックVLSIプロセッサの基本回路として,128ワード連想メモリとPEを0.5μmCMOS設計ルールにより試作した.動作周波数50MHzまでの動作が確認され,その性能は従来の汎用ワークステーションと比較して3桁以上高いことが実証された.本研究では,高安全自動車や家庭用サービスロボットなどにおいて重要となる,自動車(またはロボット)と障害物の衝突をチェックする衝突チェックVLSIプロセッサを開発し,それに基づいた衝突警報システムを構築し,その総合的評価を行うことを目的としている.このような目的のために,本年度は以下の成果を得た.1. VLSI向き衝突チェックアルゴリズムの確立VLSIでの実現のためには,処理の規則性・並列性が重要となる.そこで,障害物の表面離散点に対する座標変換,照合の繰り返しにより,衝突チェックを行うVLSI向き衝突チェックアルゴリズムを提案し,そのシミュレーションを行った.そのアルゴリズムにおいては,障害物と自動車の表面離散点座標の照合の演算量が膨大となる.そこで,並列照合演算が可能な連想メモリを用いたハードウェアアルゴリズムを提案した.2.面積・時間積最小化に基づく衝突チェックVLSIプロセッサの最適設計完全並列照合が可能な連想メモリに基づいた,並列プロセッサアーキテクチャを提案した.並列性の高いVLSI向きアルゴリズムに基づいた稼働率100%の負荷分散型の並列処理に着目し,複数の同一種類の処理モジュール(PE)から構成される.このクラスの並列処理においては,全体の最適設計,例えば,面積制約下での処理時間最小化は,1個のPEの面積・時間積に帰着されることを見いだし,面積・時間積最小化を指向した衝突チェックVLSIプロセッサの最適設計法を提案した.さらに,この方法は一般の並列処理プロセッサの設計法へも応用可能であることを示した.3.衝突チェックVLSIプロセッサの基本回路の試作衝突チェックVLSIプロセッサの基本回路をFPGA(書換可能集積回路)により試作し,機能レベルのチェックを行った.また,現在基本回路のフルカスタムによるチップ試作を行っている.本研究では,高安全自動車や家庭用サービスロボットなどにおいて重要となる,自動車(またはロボット)と障害物の衝突をチェックする衝突チェックVLSIプロセッサを開発し,それに基づいた衝突警報システムを構築し,その総合的評価を行うことを目的としている.このような目的のために,本年度は以下の成果を得た.1.計算量の少ないVLSI向き衝突チェックアルゴリズムの確立VLSIでの実現のためには,処理の規則性・並列性が重要となる.そこで,計算量を減少しつつ並列処理にも適合する衝突チェックアルゴリズムを提案した.自動車の表面離散点情報の表現法として精密な直方体表現と,大枠直方体表現を用いる階層的直方体表現を提案した.この表現を用いることにより,チェックの精度を段階的に高めることにより,計算量を大幅に減少できる.2.面積・時間積最小化に基づく最適設計のための連想メモリの開発前年度の研究により研究者が提案した並列性の高いVLSI向きアルゴリズムに基づいた稼働率100%の負荷分散型の並列アーキテクチャでは,全体の最適設計,例えば,面積制約下での処理時間最小化は,1個の処理要素(PE)の面積・時間積に帰着されることを見いだしている.そこで,照合演算を並列に行う連想メモリの面積・時間積最小化を実現するためのアーキテクチャとして,メモリの各ワードを複数の照合回路により共有したマルチポート連想メモリを提案した.このアーキテクチャではメモリセルの稼働率を高めることにより、同等の面積で従来の連想メモリの数倍の性能を達成できることが確認された.3.衝突チェックVLSIプロセッサの基本回路のフルカスタム試作・評価衝突チェックVLSIプロセッサの基本回路として,128ワード連想メモリとPEを0.5μmCMOS設計ルールにより試作した.動作周波数50MHzまでの動作が確認され,その性能は従来の汎用ワークステーションと比較して3桁以上高いことが実証された.
感性の非線形性を取り入れた感性モデル構築の基礎的研究

本研究の目的は感性の線形性と非線形性の特質を明確化して,非線形の感性モデルを構築することである.2002年度は以下の研究を行なった.1.感性の異文化的調査研究2001年度と今年度に,日本とスウェーデンのリンシェピン大学で同年代の学生を被験者とし,同一の感性実験材料(直方体)で実験を行ない,結果を分析した.その結果,「使いやすい」,「高級感のある」,「飽きのこない」などの言葉で具体的な差があった.例えば,使いやすいでは日本人は極端に高さの短いものと高いものの評価点が低く非線形性があるが,スウェーデン人は全体的に高いほど評価点が高く線形に近い.2.感性の非線形性を取り入れた感性モデル構築直方体や飲料の缶,牛乳パック,冷蔵庫の形態比(長さあるいは高さの比),色彩などのデザイン基本要素の感性評価実験を実施した.そのデータを因子分析,数量化理論I類,非線形回帰分析,遺伝的アルゴリズム,ラフ集合解析を用いてさまざまな角度から分析を行なった.(1)感性の意味構造と非線形性:直方体・缶・牛乳パック・冷蔵庫のCGによるモデルを用いた実験データを因子分析と数量化理論I類を用いて分析した.全般的に物理的因子,センスの因子,価値・印象の因子が得られ,物理的因子は形態比に対して線形的な関係があった.一方,価値・印象の因子はある範囲の形態比だけが高い評価で他が低いという非線形な関係があった.(2)非線形回帰分析による分析:直方体の辺の長さをバリエーションとした実験を行ない,線形と非線形の回帰分析を用いて長さと感性の関係式を求めた.感性ワードはMDSとクラスター分析を用いてマッピングと分類を行なった.立方体と最も長い直方体の評価が他よりも極端に高い/低いことで非線形性が生じており,デザイン的調和性・成熟性のワードでは立方体の評価が特に高くなっている.一方「高級感のある」など,黄金比がピークのワードもあった.(3)遺伝的アルゴリズム(Genetic Algorithm)による分析:GAは回帰分析モデルと異なり,説明変数間の関係に制約がない.この点を活用して明度(グレースケール)と形態比などの説明変数間に交互作用のあるデータを分析した.分析システムは新たに開発した.正方形で白は「高級感のある」などのワードで他の明度よりも評価値が極端に高い.長い直方体で黒は「形が良い」などで極端に高いという組み合わせ効果があった.(4)ラフ集合による分析:ラフ集合を用いた分析方法は,対象属性の組み合わせについて矛盾を最小にして重要度の高い属性集合を求めることができる.この点を用いて色彩サンプルと感性との関係を調べた.色彩の属性はL^*a^*b^*表色系の各4バリエーションがある.また被験者の性別も属性に含めた.結果として,例えば「上品な」色彩は明度・彩度・色相・性別全てに特定の値を持ち非線形性が高く,一方「鮮やかな」は明度と赤・緑の軸だけで決定される.本研究の目的は感性の線形性と非線形性の特質を明確化して,非線形の感性モデルを構築することである.2002年度は以下の研究を行なった.1.感性の異文化的調査研究2001年度と今年度に,日本とスウェーデンのリンシェピン大学で同年代の学生を被験者とし,同一の感性実験材料(直方体)で実験を行ない,結果を分析した.その結果,「使いやすい」,「高級感のある」,「飽きのこない」などの言葉で具体的な差があった.例えば,使いやすいでは日本人は極端に高さの短いものと高いものの評価点が低く非線形性があるが,スウェーデン人は全体的に高いほど評価点が高く線形に近い.2.感性の非線形性を取り入れた感性モデル構築直方体や飲料の缶,牛乳パック,冷蔵庫の形態比(長さあるいは高さの比),色彩などのデザイン基本要素の感性評価実験を実施した.そのデータを因子分析,数量化理論I類,非線形回帰分析,遺伝的アルゴリズム,ラフ集合解析を用いてさまざまな角度から分析を行なった.(1)感性の意味構造と非線形性:直方体・缶・牛乳パック・冷蔵庫のCGによるモデルを用いた実験データを因子分析と数量化理論I類を用いて分析した.全般的に物理的因子,センスの因子,価値・印象の因子が得られ,物理的因子は形態比に対して線形的な関係があった.一方,価値・印象の因子はある範囲の形態比だけが高い評価で他が低いという非線形な関係があった.(2)非線形回帰分析による分析:直方体の辺の長さをバリエーションとした実験を行ない,線形と非線形の回帰分析を用いて長さと感性の関係式を求めた.感性ワードはMDSとクラスター分析を用いてマッピングと分類を行なった.立方体と最も長い直方体の評価が他よりも極端に高い/低いことで非線形性が生じており,デザイン的調和性・成熟性のワードでは立方体の評価が特に高くなっている.一方「高級感のある」など,黄金比がピークのワードもあった.(3)遺伝的アルゴリズム(Genetic Algorithm)による分析:GAは回帰分析モデルと異なり,説明変数間の関係に制約がない.

この点を活用して明度(グレースケール)と形態比などの説明変数間に交互作用のあるデータを分析した.分析システムは新たに開発した.正方形で白は「高級感のある」などのワードで他の明度よりも評価値が極端に高い.長い直方体で黒は「形が良い」などで極端に高いという組み合わせ効果があった.(4)ラフ集合による分析:ラフ集合を用いた分析方法は,対象属性の組み合わせについて矛盾を最小にして重要度の高い属性集合を求めることができる.この点を用いて色彩サンプルと感性との関係を調べた.色彩の属性はL^*a^*b^*表色系の各4バリエーションがある.また被験者の性別も属性に含めた.結果として,例えば「上品な」色彩は明度・彩度・色相・性別全てに特定の値を持ち非線形性が高く,一方「鮮やかな」は明度と赤・緑の軸だけで決定される.本研究の目的は感性の線形性と非線形性の特質を明確化して、非線形感性モデル構築することである。今年度は、以下の2点から研究をおこなった。1.感性の異文化的調査研究日本で実施したものと同じ形態比の感性実験材料を準備して、スウェーデンのリンシェピン大学のJorgen Eklund教授、Jan Axelsson助教授の研究室で実施した。結果を、因子分析、数量化理論I類にかけて感性分析したところ、感性の因子構造では日本で得られた結果とほぼ同じ結果となることが確認できた。また、感性の線形性・非線形性の解析の結果についても、日本とスウェーデンでは異なる感性が見られたが、ほぼ同じ結果であることを確認できた。2.感性の非線形性を表現するモデルの構築直方体、冷蔵庫等の形態比色彩を変化させたグラフィックスを用いて、感性に対する形態比の影響度合いを調べる感性実験を実施して、そのデータを因子分析、数量化理論I類、非線形関数近似、ラフ集合解析にかけることにより、以下の諸点を明らかにした。(1)形態比の感性は、直方体のような抽象体と冷蔵庫のような日常品では、その因子構造が異なって抽象体では感性構造の第1因子に、シンプルな、重そうな等の物理的因子が現れ、第2因子以降に、個性的な、見慣れた等の審美的因子が現れ、逆に、冷蔵庫等の日常品の第1因子は、使いやすそう、見慣れた等の審美的因子が現れ、第2因子に物理的因子が現れることが判明した。(2)同じデータを因子ごとに数量化理論にかけたところ、カテゴリースコアの変化の仕方に因子グループとの関連が見られ、物理的因子に含まれる感性は形態比と線形的に変わるが、印象的因子に含まれる感性は形態比と線形的ではなく、ある形態比の近辺でピークになり明らかな非線形性を示した(3)形態比について非線形関数近似では、(2)の結果をさらに追認する結果を得ることができ、数量的にも感性の非線形性を確認できた。(4)色彩の感性に対するデザイン要素の組み合わせの非線形性をラフ集合解析から確認することができた。今後はさらに、非線形感性モデルの構築にむけて詳細設計に入りたい。研究発表として、すでに国際学会で発表ずみであり、感性工学会誌に発表予定である。本研究の目的は感性の線形性と非線形性の特質を明確化して,非線形の感性モデルを構築することである.2002年度は以下の研究を行なった.1.感性の異文化的調査研究2001年度と今年度に,日本とスウェーデンのリンシェピン大学で同年代の学生を被験者とし,同一の感性実験材料(直方体)で実験を行ない,結果を分析した.その結果,「使いやすい」,「高級感のある」,「飽きのこない」などの言葉で具体的な差があった.例えば,使いやすいでは日本人は極端に高さの短いものと高いものの評価点が低く非線形性があるが,スウェーデン人は全体的に高いほど評価点が高く線形に近い.
粘土結晶のナノ加工による新規触媒機能の付与

ゼオライトのような高性能・高選択的触媒を得るためには、3次元のナノ空間内に活性な元素を適切に配置、配列することが必要である。これを実現するため、報告者は2次元の層状粘土を原料として層間に分子サイズのカチオンを柱として導入して架橋粘土を合成し、その触媒機能の探索してきた。本研究では、(1)フッ素雲母において固有な層間カチオンの固着を利用して金属カチオンを固着させた架橋粘土を合成し、(2)また、セピオライト粘土結晶内のMgを種々な金属カチオンと置換した金属セピオライトを合成すると共に(3)これらの新規な触媒機能を探索・評価することを目的とした。1)金属カチオン固着架橋フッ素雲母粘土:フッ素雲母の層間のNaを他の金属カチオンで交換した後、これを300°C以上で加熱するとフッ素雲母の交換サイトにカチオンが化学結合したフッ素雲母が得られる。これにアルミニウムの多核カチオンをイオン交換により層間に柱として導入してミクロ多孔体を合成した。Ba,Sr,Pb,Ca,Be,Laを固定した架橋体はほぼ同じ層間距離と表面積を持つミクロ多孔構造体である。しかし、クメンの分解活性はカチオンの種類によって全く異なり、カチオンの水和エネルギー(酸性)の序列に従っている。これは、カチオンを選ぶことにより固体酸性を制御できることを意味している。また、Liを固着した場合には天然にも稀な規則混合層粘土構造を全く人為的に作り出すことにも成功した。2)金属置換セピオライト:原料セピオライトを700°Cほどの高温にて焼成した後、Ni,Cuなどの金属塩水浴液を用いて95°Cにてイオン交換を行うと、セピオライト結晶の八面体のMgとの置換が起こり、金属置換セピオライトが合成できる。電子スペクトル、固体NMRなどの測定により構造を確認できた。また、格子のMgと置換できるカチオンはMgのイオン半径に近いNi,Znなどに限られるサイズ選択的なものである。Niセピオライトはブタノールからジブチルエーテルを合成する優れた触媒機能を示し、Znセピオライトは塩化ベンジルによるベンゼンのベンジル化のための高性能なFriedel-Crafts反応用触媒となることも見いだした。上記1と2の成果は、類例のない報告者独自の「ナノ結晶の加工法」であり、今後は触媒機能の他にも適用が期待される。
埋込型自己縮小画像コードブックとファジィ推論に基づく高倍率画像拡大法の開発

多くのディスプレイが高解像化に向かう中,高解像画像のストレージや伝送の物理的負荷が増加しており,その対策は急務である.本研究は,保存や伝送負荷の少ない低解像画像から高倍率拡大によって高解像画像を得る新しい枠組みを提案する.この枠組みでは,手元に高解像画像があることを前提とし,高解像画像を低解像画像へ変換する際に,拡大処理によっては復元できない成分を埋め込むことで,拡大時に読み出した情報で補償する.これまでに私たちが開発した,ファジィ推論を応用したコードブック画像拡大法で出発点となる縮小画像に対して事前に「仕掛け」を施すことで,これまで難しかった高倍率画像拡大における画質の高品位化を実現した.多くのディスプレイが高解像化に向かう中,高解像画像のストレージや伝送の物理的負荷が増加しており,その対策は急務である.本研究は,保存や伝送負荷の少ない低解像画像から高倍率拡大によって高解像画像を得る新しい枠組みを提案する.この枠組みでは,手元に高解像画像があることを前提とし,高解像画像を低解像画像へ変換する際に,拡大処理によっては復元できない成分を埋め込むことで,拡大時に読み出した情報で補償する.これまでに私たちが開発した,ファジィ推論を応用したコードブック画像拡大法で出発点となる縮小画像に対して事前に「仕掛け」を施すことで,これまで難しかった高倍率画像拡大における画質の高品位化を実現した.多くのディスプレイが高解像化に向かう中で,高解像画像のストレージや伝送の物理的負荷が増加しており,その対策は急務である.本研究は,保存や伝送負荷の少ない低解像画像から高倍率拡大によって高解像画像を得る新しい枠組みを提案する.この枠組みでは,手元に高解像画像があることを前提とし,高解像画像を低解像画像(縮小画像)へ変換する際に,拡大処理によっては復元できない成分を埋め込むことで,拡大時に読み出した情報で補償する.本年度においては,これまでに申請者が開発したファジィ推論を応用したコードブック画像拡大法で出発点となる縮小画像に対して事前に「仕掛け」を施すことで,これまで歯が立たなかった高倍率画像拡大における画質の高品位化を実現することを目標とし,画像特徴抽出に関する基礎理論の検討およびアルゴリズムの実装・高速化に関する以下の研究を行い,高倍率画像拡大実現の可能性を確認した.1)画像の高周波成分を抽出し,それを定義型コードブック化する高速アルゴリズムを考案し,良好な結果が得られ,これをジャーナル,国際会議等にて公表した.2)自己縮小画像中に,拡大時必要と思われる高周波成分を埋め込む手法として,まず画像の特徴のコードブック化を行い,情報を縮小画像に埋め込む手法の検証を行い,そのシミュレーションにおいて良好な結果が得られた.3)自己縮小画像に前述の手法を応用し,高品質画像拡大が可能であることを検証した.また,当該年度に得られた研究成果のさらなる高倍率化・高速化を図るため,アルゴリズムのハードウェア化を実現するアイディアを精査し,次年度以降の研究計画について検討した.多くのディスプレイが高解像化に向かう中で,高解像画像のストレージや伝送の物理的負荷が増加しており,その対策は急務である.本研究は,保存や伝送負荷の少ない低解像画像から高倍率拡大によって高解像画像を得る新しい枠組みを提案する.この枠組みでは,手元に高解像画像があることを前提とし,高解像画像を低解像画像(縮小画像)へ変換する際に,拡大処理によっては復元できない成分を埋め込むことで,拡大時に読み出した情報で補償する.本年度においては,これまでに私たちが開発したファジィ推論を応用したコードブック画像拡大法で出発点となる縮小画像に対して事前に「仕掛け」を施すことで,これまで歯が立たなかった高倍率画像拡大における画質の高品位化を実現することを目標とし,画像特徴抽出に関する基礎理論の検討およびアルゴリズムの実装・高速化に関する研究を行い,高倍率画像拡大実現の可能性を確認し,さらに自己縮小画像中のコードブック作成においてファジィ推論を最適化し,ハードウェア化しやすいように,下位ビットのパターンを組み込んだ,この結果を国際会議で発表した.また本研究を,より高速で高精度にするアイディアを精査するとともに,ハードウェア化しやすいよう手法を考案し,次年度の研究計画について検討した.具体的にはFPGAを用いたシミュレーションを行いハードウエア実装に最適な環境になるようにパラメータやビットの埋め込み方法を調整し検討中である.多くのディスプレイが高解像化に向かう中で,高解像画像のストレージや伝送の物理的負荷が増加しており,その対策は急務である.本研究は,保存や伝送負荷の少ない低解像画像から高倍率拡大によって高解像画像を得る新しい枠組みを提案する.この枠組みでは,手元に高解像画像があることを前提とし,高解像画像を低解像画像(縮小画像)へ変換する際に,拡大処理によっては復元できない成分を埋め込むことで,拡大時に読み出した情報で補償する.本年度においては,これまでに私たちが開発したファジィ推論を応用したコードブック画像拡大法で出発点となる縮小画像に対して事前に「仕掛け」を施すことで,これまで歯が立たなかった高倍率画像拡大における画質の高品位化を実現することを目標とし,画像特徴抽出に関する基礎理論の検討およびアルゴリズムの実装・高速化に関する研究を行い,高倍率画像拡大実現の可能性を確認し,さらに自己縮小画像中のコードブック作成においてファジィ推論を最適化し,ハードウェア化しやすいように,下位ビットのパターンを組み込んだ本手法を国際会議等で発表してきた.

さらに本研究を,より高速で高精度に,より汎用的に対応するアイディアを精査するとともに,ハードウェア化しやすいよう手法を考案し,具体的な手法としては,従来からあるFPGAを用いたシミュレーションを行いハードウェア実装に最適な環境になるようにパラメータやビットの埋め込み方法を調整し,良好な結果を確認することができた.本研究の目的である「埋込型自己縮小画像コードブックとファジィ推論に基づく高倍率画像拡大法の開発」は実現された.26年度が最終年度であるため、記入しない。総合領域26年度が最終年度であるため、記入しない。埋込型自己縮小画像コードブックとファジィ推論に基づく高倍率画像拡大法の開発をする為の研究として,おおむね順調に推移しているが,ファジィ推論を有効に活用することによりさらに良好な成果が期待出来るものと考えられる.昨年の課題であった本手法に,ファジィ推論を有効に活用し,より良い結果が得られている.さらにそれがハードウェア化しやすい手法となった.26年度が最終年度であるため、記入しない。自己縮小画像により消失している重要成分を検証する為に,最適なパラメータの推定及び,周波数空間に制限がある画像に対する高周波成分の埋め込み手法を検証していく.今まで得られたアルゴリズムや,自己縮小画像拡大手法をより高速化にし,よりハードウェア化しやすい手法を構築することにより当初の研究目的を達成できると考えられる.26年度が最終年度であるため、記入しない。ファジィ推論を用いた往復型画像拡大を定式化し,単純なグレースケールの標準画像を用い検証を行うと共に,ハードウェアアクセラレーションの実現のため、H24年度の基金助成金使用残額もハードウェアアクセラレータの設計や試作品の作製に充てる.さらに,主観的・客観的評価を行い,カラー画へも対応していく.
エントロピー立体制御による不斉触媒反応の開発:キラル架橋反応の新展開

キラル架橋反応の特長を生かして、不斉触媒反応を構築するための研究を行い、以下の成果を得た。1)キラル触媒の形状と架橋への反応点を決めるため、PD架橋のメチル基の位置およびメチル以外の置換基を有する架橋で、光メタ付加反応、ロジウムカルベノイドの芳香族またはオレフィンへの付加、ケテンオレフィン付加を行い、置換基はPDの2つのメチル基のいずれかにあることが条件であり、その大きさはイソプロピル基よりも小さいことが条件であることが判った。2)架橋部上のキラル中心の導入と活性化エントロピーの差の誘起の関係を明らかにするため、キラルパータベーション項を新たに定義し、ロジウムカルベノイドの芳香族への分子内付加反応の解析を行った。架橋部の試薬側のキラリティーはエンタルピー的な加速効果が両立体異性体生成プロセスにある一方、基質側のキラリティーは片方のプロセスをエントロピー的に加速し、もう方を減速することが分かった。その差は、メチル基1つで30euにも達し、エントロピー立体制御の主因として確定できた。3)キラル触媒としてシクロデキストリンを用い、フェノキシラジカルの2量化の立体選択性を検討した。生成物はほぼ1:1のジアステレオマー混合物であり、その収率は最高47%であった。この反応にβシクロデキストリンを加えると、収率は若干低下するが、立体選択性は向上し、2位の置換基がベンゾイルオキシ基の時に47%過剰率を達成した。4)キラル架橋反応の研究から、ジアゾ化合物の気相熱分解により生成したケテンのオレフィンへの付加における立体化学は400°Cと高温にもかかわらず、99%以上の純度で生成物が得られた。ジアゾ化合物を用いるキラル架橋不斉合成から多くの光学活性物質を実際に合成し立体選択的水素化過程を経る昆虫フェロモン・スペラピロンの形式合成や新しいヒドロホウ素を適用したポリケチドの部分合成に成功した。2,4-ペンタンジオール架橋反応の特長を生かして、不斉触媒反応を構築するための研究を行い、以下の成果を得た。1)キラル触媒の形状と架橋への反応点を決めるため、PD架橋のメチル基の位置およびメチル以外の置換基を有する架橋で、光メタ付加反応、ロジウムカルベノイドの芳香族またはオレフィンへの付加、ケテンオレフィン付加を行った。その結果、置換基はPDの2つのメチル基のいずれかにあることが条件であり、その大きさはイソプロピル基よりも小さいことが条件であることが判った。この結果は本年度の春季年会で発表するほか、論文投稿予定である。2)架橋部上のキラル中心の導入と活性化エントロピーの差の誘起の関係を明らかにするため、キラルパータベーションファクターを新たに定義し、その有効性を証明した。この結果は現在論文投稿中である。3)キラル触媒としてシクロデキストリンを用い、光付加およびフェノキシラジカルの2量化の立体選択性を検討した。現在のところ分子内付加の収率が低く、立体選択性を明確にするに至っていないが、アキラル架橋部とキラル触媒との相互作用についてNMRを用いて明らかにした。なお、光付加反応に関しては1)の研究の知見からメタ付加より[2+2]付加の方が適していることを見いだしている。4)キラル触媒として、親水性疎水性の両性を持つ堅牢な空孔を持つ化合物を光学活性ternaphthotetroleから合成し、水中の配位能力を決定した。

昨年に引き続き架橋部の構造と分子内付加速度の関連を検討した。不斉源部の速度に対する影響を調べるため導入したキラル摂動項は、本年度はその温度依存性も含めて解析を行った。ロジウムカルベノイドの芳香族への分子内付加反応は、架橋部の試薬側のキラリティーはエンタルピー的な加速効果が両立体異性体生成プロセスにあり、高い立体選択性を生まない一方、基質側のキラリティーは片方のプロセスをエントロピー的に加速し、もう一方を減速することが分かった。その差は、メチル基1つで30euにも達し、エントロピー立体制御の主因として確定できた。同様の研究をカルベノイドとオレフィンの反応にも行い、現在、結果がまとまりつつある。フェノールラジカルの2量化反応は、昨年の研究で立体選択性が非常に高く出ることが分かっていたが、今年度はフェノール部に置換基を導入し、2量化の収率向上を試みた。現在の所、従来の最高収率(31%)を凌駕することができていない。光付加反応は主に芳香族とオレフィンのメタ付加に関して検討し、架橋部のコンフォメーションと反応量子収率との関係を求めた。架橋部の内、試薬部あるいは基質部に近い位置の不斉中心は2つのプロセスを加速あるいは減速して立体選択性を誘起するのに対し、中央の置換基はいずれも加速するため、反応収率の向上には寄与するが、立体選択性には影響を与えないことが分かった。この結果は現在論文として投稿中である。光[2+2]付加反応は新しい原料合成段階であり、昨年から進展はない。なお、別途購入したNMR(ECA-600)が不調で、水中の基質とシクロデキストリンの相互作用の検討は15年度に行うことに予定変更した。2分子のフェノール誘導体を2位に置換基を持つプロパンジオールで架橋し、水とエーテルの二層系でフェロシアン化ナトリウムを用いて酸化した。生成したジラジカルのカプリングはプンメラー型生成物とポリマー状の物質であった。プンメラー型生成物はほぼ1:1のジアステレオマー混合物であり、その収率は最高47%であった。この反応に光学活性なβシクロデキストリンを加えると、収率は若干低下するが、立体選択性が向上し、2位の置換基がベンゾイルオキシ基の時に47%過剰率を達成した。収率が低下するのは末端にあるフェノール基が包摂され、立体選択性が誘起されたのは中央部のベンゾイル基が包摂されたためと考えられる。一方、副生するポリマーは、プンメラー型生成物の位置異性体が生成し、その後分解するためと決定した。架橋部自体がキラルな反応の研究も継続して行った。ジアゾ化合物のフラッシュ熱分解により生成したケテンのオレフィンへの付加における立体化学は400°Cと高温にもかかわらずよく制御でき、99%以上の純度で生成物が得られた。この研究は、初めての気相不斉合成に相当する。ジアゾ化合物を用いるキラル架橋不斉合成はシクロプロパン化やブックナー反応(ベンゼノイド化合物の環拡大反応)で多くの光学活性物質を実際に合成し、またその反応を行った。特にブックナー反応の生成物から、立体選択的水素化過程を経る昆虫フェロモン、スペラピロンの形式合成や新しいヒドロホウ素を適用したポリケチドの部分合成に成功した。また、キラル架橋反応の新しい例として水酸基により制御されたディールスアルダー型の反応を行い、高立体区別を達成すると同時に、新奇な転位反応も見いだした。
確率システムの開発及び検証の形式手法

今年度の研究成果は下記の通り.1.確率システムのモデルの一般化である確率的多重関係と通常の二項多重関係との間のガロア接続が3つ得られた.確率システムの検証手法の実用化には,モデルの大胆な抽象化が不可欠である.ガロア接続は抽象化の健全さを保証する抽象解釈のベースとなる相互関係であり,具体集合,抽象集合と呼ばれる2つの半順序集合と,抽象化,詳細化に相当する2つの単調写像によって定義される.抽象化写像が具体集合の任意の上限を保つとき,詳細化写像は一意に定まる.本研究では具体集合を確率的多重関係として,抽象集合を「全域的な上向きに閉じた有限二項多重関係」としたガロア接続を2つ((1)及び(2)とする),抽象集合を「底を含む和と下向きに閉じた有限な底付き二項多重関係」としたガロア接続を1つ((3)とする)発見した.2.完備べき等左半環の演算はプログラムにおける基本的な演算に対応している.上記のガロア接続に現れる3つのモデルがいずれも完備べき等左半環をなすことから,抽象化・詳細化によって保たれる演算や性質について調べた.その結果,3つのガロア接続のうち(3)を用いた抽象化が最も有用であることが分かった.その理由は次の(ア)(ウ)による.(ア)(1)(3)における抽象化写像は全て完備べき等左半環準同型.(イ)(1)の場合,抽象化前には一般に成り立たない性質(右分配則)が,抽象化後には常に成り立つ一方,(2),(3)ではこのような現象が起きない.(ウ)(1),(3)の場合,詳細化写像が完備べき等左半環の演算の1つである"1"を保つ.1はプログラムにおいてはSkip(何もしないプログラム)に相当する.(1)(3),いずれの場合も詳細化写像が他の演算を保つかは分かっていない.今後は,この点を調査するとともに,より適切な抽象領域とガロア接続について検討する.また,得られたガロア接続を実際の検証に適用した上でその検証能力を調べる.本年度の研究成果は以下の通り.1.完備べき等左半環の確率的多重関係モデルを2つ提案した.2つのモデルはいずれもMcIverらが与えた確率システムのモデルを一般化したものである.具体的には,(1)左全域的かつ任意の凸で閉じた確率的多重関係全体,(2)0を含む上向きかつ任意の凸で閉じた確率的多重関係全体,がそれぞれ,右0を保つ完備べき等左半環をなすことを示した.完備べき等半環は,右有向上限,右+,右0を保つ完備べき等左半環であるが,(1),(2)はともに右有向上限,右+を保つとは限らない.それを指し示す反例も含め,以上の結果を国内外のワークショップで報告した.これにより確率システムのモデルに対する理解がより深まったといえる.また,McIverらの確率システムのモデルと特殊な上向きに閉じた二項多重関係全体との間の抽象化について,自然な構成法を含む幾つかの手法によりガロア接続を得た.しかし,いずれの場合も抽象化したものは二項関係と同型であり,抽象化前には一般に成り立たない性質が抽象化後には成り立ってしまうため,有用な抽象化とはいえない.今後は二項多重関係に係る条件を再考した上で,確率システムのモデルとの間の適切なガロア接続を探索する.2.*-連続なべき等左半環とD-連続なべき等左半環の間にある種のイデアル完備化によって随伴関係が得られるための十分条件を明らかにした.※また,当初の予定通りイギリス・Sheffield大学を3週間訪問し,G.Struth氏から自動定理証明に関する知見の提供を受けた.今年度の研究成果は下記の通り.1.確率システムのモデルの一般化である確率的多重関係と通常の二項多重関係との間のガロア接続が3つ得られた.確率システムの検証手法の実用化には,モデルの大胆な抽象化が不可欠である.ガロア接続は抽象化の健全さを保証する抽象解釈のベースとなる相互関係であり,具体集合,抽象集合と呼ばれる2つの半順序集合と,抽象化,詳細化に相当する2つの単調写像によって定義される.抽象化写像が具体集合の任意の上限を保つとき,詳細化写像は一意に定まる.本研究では具体集合を確率的多重関係として,抽象集合を「全域的な上向きに閉じた有限二項多重関係」としたガロア接続を2つ((1)及び(2)とする),抽象集合を「底を含む和と下向きに閉じた有限な底付き二項多重関係」としたガロア接続を1つ((3)とする)発見した.2.完備べき等左半環の演算はプログラムにおける基本的な演算に対応している.上記のガロア接続に現れる3つのモデルがいずれも完備べき等左半環をなすことから,抽象化・詳細化によって保たれる演算や性質について調べた.その結果,3つのガロア接続のうち(3)を用いた抽象化が最も有用であることが分かった.その理由は次の(ア)(ウ)による.(ア)(1)(3)における抽象化写像は全て完備べき等左半環準同型.(イ)(1)の場合,抽象化前には一般に成り立たない性質(右分配則)が,抽象化後には常に成り立つ一方,(2),(3)ではこのような現象が起きない.(ウ)(1),(3)の場合,詳細化写像が完備べき等左半環の演算の1つである"1"を保つ.

1はプログラムにおいてはSkip(何もしないプログラム)に相当する.(1)(3),いずれの場合も詳細化写像が他の演算を保つかは分かっていない.今後は,この点を調査するとともに,より適切な抽象領域とガロア接続について検討する.また,得られたガロア接続を実際の検証に適用した上でその検証能力を調べる.