hpprc/llmjp-kaken huggingface dataset:
黒川能の音楽技法に見られる五流との影響関係に関する研究

黒川能が近世にどのような状況で演じられていたのか、ひとつの興行に至るまでの経緯、当日の様子など、当時の黒川能を取り巻いていた状況についての理解を進めた。黒川能における近世期は、五流の能やその他の諸芸能との接点を持っていた時期と考えられ、今後も謡本の読解と並行させながら文書の講読を進めていきたい。平成27年6月より出産に伴う産前産後休業、および育児休業を申請したため。当初の計画にしたがって、現行の黒川能の音楽技法の分析を進めるのと並行して、次年度以降実施する現地での調査計画を先方と調整し、予備調査を実施した。また、研究成果の発表も積極的に行い、異分野の研究者からのフィードバックも得られた。さらに、京都市立芸術大学の藤田隆則教授の研究会にも参加し、能の音楽を演出の進化という観点から、音楽のみならず国文学など異分野の研究者と共に考察を行った。本研究会への参加を通して、本研究の分析の主眼である黒川能の音楽の変化を、五流の音楽の変化と比較する観点を得ることができた。現地での謡本の集中的調査を実施する。そして、分析対象とする資料の選定を進め、黒川能の音楽技法のうち、特に謡の音楽技法が成立した背景を検討する。今年度は育児休業のため研究は中断の予定であり、来年度より再開の予定である。再開後は、現地での謡本の集中的調査を実施し、分析対象とする謡本の選定を進める。そして、黒川能の謡の音楽技法が成立した背景を検討する。平成30年度より再開させる。現地における謡本の状況の調査と、重要な謡本の写真撮影を進める。同時に、謡本の解読作業と黒川能が外部と接触をしてきたことがわかる歴史的な資料についても、購読作業を進めたい。令和元年度は対象とする謡を決めた上で、謡の詞章の黒川独自の発展の経緯について検討をする。これまでの謡本の変遷に基づきながら、詞章の変化をたどる。同時に、その謡が黒川に流入した時期についての検討を行い、その背景について考察を行いたい。初年度に引き続き、現行の黒川能の音楽技法についてより詳細な実態を把握するための分析を行う。さらに、調査先と調整を行った調査方法や日程に基づき、現地において個人所蔵の資料を収集し、分析を行なう。同時に、個人に聞き取り調査も実施し、該当資料の歴史的経緯についてできる限りの情報を収集したい。また、初年度は着手することができなかった東京文化財研究所、法政大学能楽研究所に所蔵されている、昭和60年代に能楽研究者の横道萬里雄や表章等によって集中的に収集された資料についても調査を実施し、謡本や伝書について分析を行う。なお、今年度はこれまで明らかになった現行の黒川能の音楽技法について発表を行い、コメントを得たい。6月より出産に伴う産前産後休暇および育児休業に入ったため、本年度は2ヶ月の研究期間となった。なお、5月までの研究期間に支出がなかった。平成27年度の出産に伴う育児休業により、研究を中断(申請済み)している。そのため、本年度は支出がなかった。平成27年6月より産休、および育休による中断をしているため。平成30年度より再開する。今年度は現地での調査が2回にとどまったため、旅費の支出が当初の計画より少額になったため、次年度への使用額が生じた。次年度は、現地での調査の機会を増やすとともに、物品費の使用計画に基づきながら、研究に関わる機材や書籍の計画的な購入を行いたいと思う。初年度は調査地での謝礼が当初の計画とは異なり発生しなかったため、次年度使用額が生じた。
東南アジアと欧州における人身売買対策の形成―ネットワーク分析の観点からの比較分析

反人身売買ネットワーク形成における国際機構や国家、市民社会の関係を分析対象とし、特にEUやASEAN等の地域機構の役割に着目した。深刻な人身売買問題を抱える東南アジア・大メコン川流域の国際・地域機構と市民社会とのネットワークに言及したが、地域により身近な機構であるASEANの規範普及プロセスへのアクセスがEUと異なり不十分である。それを補うように国連機関UNIAPが同地域でネットワーク形成を試みるが円滑に進んだとは言い難く、その後他の国連機関がその業務を引き継ぎUN-ACTが始まった。当該地域の文化や慣習、既存のネットワークに配慮した規範普及の在り方を今後より詳細に探求していく必要がある。本研究は、人身売買対策をめぐるネットワーク形成とその過程における国際機構、国家、市民社会の関係を分析対象としている。そこでは、EUやASEANといった地域機構がグローバル規範を地域に普及・内面化するプロセスの中でどのような役割を果たすのかについても明らかにし、とくに人権問題(人間の安全保障問題)の一つである人身売買を例に議論するものである。そして最終的に人間の安全保障をめぐるグローバル規範の普及過程における、いわゆる人権ガヴァナンスの在り方を探ることを目指している。そのなかで、本年度は当初の研究計画通り、EUおよびASEANといった地域機構に関する先行研究をフォローした。EUにおける地域ガヴァナンスの理論モデルを探求し、人身売買の事例を当てはめながら、同時にASEANにおける地域ガヴァナンスの現状を先行研究から概観し、ASEANにおける人身売買対策の限界についても考察した。それらの研究を纏めたものが共著として刊行予定である。また、人身売買問題の位置づけや形成要素を明らかにするため、広く人間の安全保障をめぐる諸問題、すなわち難民、女性、子ども、人種差別、拷問等についても探求し纏めた。この研究成果は、著書を執筆する際の重要な要素となる。また、当初の研究計画では25年度はEUでのインタビューを予定していたが、米国スタンフォード大学で客員研究員として行く機会に恵まれたたため、市民社会(NGO)が活発であり多民族国家である米国における移民等に関する調査研究にも射程を広げ、在アメリカのNGO(アムネスティ・インターナショナル等)等にインタビューを展開しながら、トランスナショナルに人が売買(移動)される人身売買問題を多角的に捉え、研究を深めているところである。これらは26年度に予定しているEUやASEANでの地域機構およびNGO(市民社会)をめぐる調査においても大変重要な素地となる。そこでは、EUやASEANといった地域機構がグローバル規範を地域に普及・内面化するプロセスの中でどのよな役割を果たすのかについて、人身売買を事例として議論するものである。さらに「人間の安全保障」をめぐるグローバル規範の普及プロセスにおける、いわゆる人権ガヴァナンスの在り方を探ることを目指すものである。これまで研究対象の一つである東南アジアのなかでも、とくに大メコン川流域における人身売買対策をめぐって、国際機構や地域機構と市民社会との連携・ネットワークについて言及してきたが、26年度および当該研究期間全体を通して、ネットワーク形成の現状や抱える問題点について、議論を展開することができた。深刻な人身売買問題を抱える同地域では、国際機構より身近な地域機構であるASEANが規範普及プロセスにまだあまりアクセスできていない状況がある。それを補うように国連等の国際機構が同地域で反人身売買の規範普及やネットワーク形成を試みるが、それも円滑に進んでいるとは言い難い。当該地域の文化や慣習に配慮した規範普及の在り方を今後より詳細に探求していく必要があると考えられる。26年度は、25年度に引き続き、人身売買を活発に研究している米国スタンフォード大学で引き続き客員研究員として研究する機会に恵まれたため、そこでの同研究者等との研究交流および市民社会とのネットワーク形成などを含め、多面的に研究を深めることができた。また、米国ニューオーリンズで開催された国際関係学会(ISA)での研究報告および日本国連学会学会誌『国連研究』において本研究の成果を発表することができた。国際関係論当初の研究計画では25年度はEUでのインタビューを予定していたが、「研究実績の概要」で述べたように、米国スタンフォード大学で研究する機会に恵まれたたため、市民社会(NGO)が活発であり多民族国家である米国における移民等に関する調査研究にも射程を広げ、在アメリカのNGOにインタビューを行った。これらは今後のEUやASEANでの地域機構およびNGO(市民社会)をめぐる調査においても大変重要な素地となるものであり、同研究を深めるものである。米国スタンフォード大学での研究および米国でのインタビュー調査等を受けて、人身売買問題および対策について多角的に分析し、研究を深めていく。また、EUやASEAN地域における地域機構およびNGO(市民社会)をめぐる調査を通して、人身売買対策をめぐるネットワーク形成とその過程における国際機構、国家、市民社会の関係をさらに分析していく。

最終的には、人権問題(人間の安全保障問題)の一つである人身売買をめぐる議論を挙げながら、人権問題、人間の安全保障問題をめぐるグローバル規範の普及過程における、いわゆる人権ガヴァナンスの在り方を探ることを目指している。それらの研究成果は学会、研究会で発表し、学会誌においても論文発表する。さらにそれらを纏めたものを著書として刊行したい。それにより、国際政治学のコンストラクティヴィズムをめぐる議論や、地域機構をめぐるガヴァナンスの理論にも貢献したい。次年度使用額は、当初計画していたEU地域・ベルギーにおけるEU機構へのインタビュー、および同地域でのNGOへのインタビューを次年度に延期することによって生じたものであり、延期したこれら旅費等に必要な経費として平成26年度請求額とあわせて使用する予定である。EU機構があるベルギーでのインタビュー、およびEU地域であるイギリスにでのNGOへのインタビューに加え、当初の研究計画のとおりASEAN機構があるインドネシアでのインタビュー、およびASEAN地域であるタイ、インドネシアでのNGOや国連組織へのインタビュー調査に伴う旅費等で使用する予定である。
コレステロール体内恒常性に関与するATP依存トランスポーターの分子基盤

本研究は、ABCA1の機能および分子メカニズムを明らかにするとともに、細胞内局在、動態を細胞生物学に明らかにし、最終的には3次元構造を明らかにするために全長ABCA1を結晶化することを目的としておこなった。まずABCA1の大量発現、精製系を確立した。ABCA1のC末端にThrombin切断部位とヒスチジンタグを融合したタンパク質をバキュロウイルスベクターに組み込み、Sf9細胞に感染させた。発現量は、感染開始後48時間から72時間で最大となり、全膜タンパク質の約1%程度であった。膜画分を0.8%(w/v)のドデシルマルトシドによって可溶化し、可溶性画分からNi-NTAアガロースによって精製した。Ni-NTAアガロースを用いた精製では、純度は50%程度であった、そこで限外濾過法を用いて濃縮後に陰イオン交換クロマトグラフィーを用いてさらに精製を行った結果、最終的にABCA1を約90%の純度で精製できた。ABCA1は蛋白質として発現後、厳密な翻訳後調節を受けている。そこでその分子メカニズムを明らかにするため、ABCA1のC末端120アミノ酸を用いて酵母Two-hybrid法によりABCA1と相互作用するタンパク質をスクリーニングした。その結果、PDZタンパク質であるα1-syntrophinとLin-7が、ABCA1と相互作用することを見出した。まずマウス脳を用い、抗αl-syntrophin抗体を用いた免疫沈降実験によりα1-syntrophinとABCA1がin vivoで相互作用していることが明らかになった。さらに、培養細胞を用いた実験から、α1-syntrophinはABCA1のC末端の数アミノ酸と強固に結合すること、共発現はABCA1の分解を抑制し、ABCA1の半減期を約5倍長くすることが分かった。α1-syntrophinは特異的にABCA1の分解を抑制していると考えられる。本研究は、ABCA1の機能および分子メカニズムを(1)ABCA1がATP依存トランスポーターとして機能しているのか?(2)輸送する基質は何か?(3)高密度リポタンパク質(HDL)産生時にapoAIと直接相互作用するのか?など分子メカニズムを明らかにするとともに、細胞内局在、動態を細胞生物学に明らかにし、最終的には3次元構造を明らかにするために全長ABCA1を結晶化することを目的としていた。血中の高密度リポタンパク質が消失する遺伝病であるタンジール病で見出された変異を導入したABCA1および野生型のGFP融合タンパク質(ABCA1-GFP)を安定的に発現するHEK293細胞株を作製した。蛍光顕微鏡による融合タンパクの蛍光解析とグリコシダーゼによる糖鎖型の解析から、野生型ABCA1とABCA1-W590S変異体は細胞膜に局在し、ABCA1-R587WとABCA1-Q597R変異体は小胞体に残留することが明らかになった。R587WとQ597R2つの変異体は細胞膜に局在できないためタンジール病を引き起こすと考えられる。ATPとの相互作用を検討するため、安定発現株から膜画分を調製し、ATP類似体8-azido-[α-32P]ATPで光親和性標識した。野生型ABCA1とABCA1-W590S変異体はMn存在下8-azido-[α-32P]ATPで標識され、バナジン酸によって標識量が増加した。W590S変異体は野生型と同様にATP結合、加水分解は起こることが明らかになった。さらに、ヒトABCA1をバキュロウイルス-

昆虫細胞系を用いて大量発現することに成功した。本研究は、ABCA1の機能および分子メカニズムを明らかにするとともに、細胞内局在、動態を細胞生物学に明らかにし、最終的には3次元構造を明らかにするために全長ABCA1を結晶化することを目的としておこなった。まずABCA1の大量発現、精製系を確立した。ABCA1のC末端にThrombin切断部位とヒスチジンタグを融合したタンパク質をバキュロウイルスベクターに組み込み、Sf9細胞に感染させた。発現量は、感染開始後48時間から72時間で最大となり、全膜タンパク質の約1%程度であった。膜画分を0.8%(w/v)のドデシルマルトシドによって可溶化し、可溶性画分からNi-NTAアガロースによって精製した。Ni-NTAアガロースを用いた精製では、純度は50%程度であった、そこで限外濾過法を用いて濃縮後に陰イオン交換クロマトグラフィーを用いてさらに精製を行った結果、最終的にABCA1を約90%の純度で精製できた。ABCA1は蛋白質として発現後、厳密な翻訳後調節を受けている。そこでその分子メカニズムを明らかにするため、ABCA1のC末端120アミノ酸を用いて酵母Two-hybrid法によりABCA1と相互作用するタンパク質をスクリーニングした。その結果、PDZタンパク質であるα1-syntrophinとLin-7が、ABCA1と相互作用することを見出した。まずマウス脳を用い、抗α1-syntrophin抗体を用いた免疫沈降実験によりα1-syntrophinとABCA1がin vivoで相互作用していることが明らかになった。さらに、培養細胞を用いた実験から、α1-syhtrophinはABCA1のC末端の数アミノ酸と強固に結合すること、共発現はABCA1の分解を抑制し、ABCA1の半減期を約5倍長くすることが分かった。α1-syntrophinは特異的にABCA1の分解を抑制していると考えられる。
細菌呼吸鎖末端オキシダーゼの変換機構:ヘム補欠分子族の入れ替えによる変換

酢酸菌Acetobacter acetiの呼吸鎖末端オキシダーゼは振盪培養によってチトクロムa_1を、静置培養によってそれがチトクロムoを生成する。しかも、そのチトクロムa_1とチトクロムoが相互に非常に高い相同性を有し、同一のペプチドより成ることが示唆されている。本研究では、酢酸菌のこの特異な末端オキシダーゼの変換機構を解明するため、それら両オキシダーゼが単一の構造遺伝子から発現しているか否か、さらに通気培養条件によって両末端オキシダーゼの変換が起こるのか否かを明らかにすることを目的とした。1.両オキシダーゼが同一の構造遺伝子から発現するのか否かを調べるために、大腸菌チトクロムoサブユニットIの構造遺伝子の塩基配列(CyoB)から推定される保存性の高い領域と酢酸菌チトクロムa_1サブユニットIの構造遺伝子CyaAをプローブとして、振盪培養及び静置培養した菌体から調製したゲノムDNAを種々の制限酵素で処理したもののサザンブロット解析、及び両培養菌体から調整したmRNAでのノーザンブロット解析を行った。その結果、本菌はの同一の構造遺伝子からチトクロムa_1とチトクロムoをそれぞれ生成していると結論された。2.静置培養と振盪培養での末端オキシダーゼ生合成の調節機構を解明するため、各培養におけるヘム成分の発現と酸素分圧との関係を調べた。その結果、酸素分圧が増加することで、両培養ともヘムoとヘムaの変換は起こらなかったが、それらの量が大きく減少することが示された。それにともなって、酵素活性の大幅な減少もみられたが、酵素蛋白及びそのmRNAの減少はさほど大きくないことも示された。これらの結果より、本菌は同一の構造遺伝子からオキシダーゼ蛋白を生成するが、静地培養菌と振盪培養菌で合成されるヘム成分が異なっており、しかもそれらの合成はオキシダーゼ蛋白の合成とは協調していないことも示された。
東アジア諸国の成人病関連遺伝子変異に関する研究

東アジア諸国における成人病関連対策を促進することを目的として,動脈硬化性疾患関連遺伝子であるメチレンテトラヒドロ葉酸還元酵素(MTHFR)遺伝子の変異について調査研究を行った.本遺伝子のC677T(Ala--->Val)変異率は民族間の差を有するとされているが,東アジア人についての報告はまだ少なく,特に韓国人を対象とした研究報告は皆無である.研究者は115人の日本人と112人の韓国人を対象に本遺伝子変異の有無をPCR-restriction fragment length polymorphisms(RFLPs)法を用いて判定し,他の民族の報告資料との比較・検討を行った.日本人のC677T変異のアリル頻度は0.36,韓国人のアリル頻度は0.40であり,遺伝子型別の構成を見ると,日本人はC/C(正常ホモ結合体)44.0%,C/T(ヘテロ接合体)40.0%,T/T(変異ホモ接合体)16.0%であり,韓国人はそれぞれ27.0%,66.0%,7.0%であった.日本人と韓国人は遺伝的に密接な関係を持っているにもかかわらず,両民族の遺伝子型頻度が有意に異なる(chi-square=16.67,P=0.0002)結果を得たのは興味深い.また,韓国人の遺伝子型の構成の特徴として,Hardy-Weinberg equilibriumに従わない高いC/T頻度(chi-square=17.35,P=0.00003)が上げられる.このような高いC/T頻度は他の民族で報告されておらず,韓国人においてヘテロ接合体の有利性を与えた可能性も考えられる.東アジア諸国における成人病対策を促進することを目的として,動脈硬化性疾患や肥満に関わる遺伝子変異の検出を含む調査研究を行った.初年度の研究として,115人の日本人と84人の韓国人健常者を対象に,動脈硬化性疾患関連遺伝子であるメチレンテトラヒドロ葉酸還元酵素(MTHFR)遺伝子のC677T異変を調査し,その頻度と民族間の疾病構造の差異を比較・検討した.採取した血液からDNAを抽出し,PCRでMTHFR遺伝子の増幅を行い,制限酵素HinfI消化後,アガロースゲルに電気泳動することでC677T変異の有無を判定した.その結果,日本人のC677T変異のアリル頻度は0.36,韓国人のアリル頻度は0.48であり,韓国人のアリル頻度は今まで報告されたどの民族よりも高値であった.遺伝子型別の構成を見ると,日本人はC/C(正常)44.3%,C/T(ヘテロ変異)40.0%,T/T(ホモ変異)15.7%であり,韓国人はそれぞれ13.1%,77.4%,9.5%であった.韓国人のC/T変異率は最も高い数値を示したが,T/T変異率は日本人より低かった.WHO資料をもとに各民族別死亡原因を比較した結果,韓国人の高血圧性疾患による死亡率が日本人の約3.9倍,西洋人の1.85,5倍にものぼり,MTHFR遺伝子変異との関連性が疑われた.今後の研究として,中国人の試料を用いて同様の実験を行うとともに,肥満関連遺伝子と知られるβ3アドレナリンレセプター遺伝子のTrp64Arg変異率を調べる予定である.また,対象の健康診断試料から得られた血圧やBMIなどの測定値と遺伝子形を統計学的に比較・検討することで,これら遺伝子変異と成人病発症との関連性を探ることも計画している.東アジア諸国における成人病関連対策を促進することを目的として,動脈硬化性疾患関連遺伝子であるメチレンテトラヒドロ葉酸還元酵素(MTHFR)遺伝子の変異について調査研究を行った.本遺伝子のC677T(Ala--->Val)変異率は民族間の差を有するとされているが,東アジア人についての報告はまだ少なく,特に韓国人を対象とした研究報告は皆無である.研究者は115人の日本人と112人の韓国人を対象に本遺伝子変異の有無をPCR-restriction fragment length polymorphisms(RFLPs)法を用いて判定し,他の民族の報告資料との比較・検討を行った.日本人のC677T変異のアリル頻度は0.36,韓国人のアリル頻度は0.40であり,遺伝子型別の構成を見ると,日本人はC/C(正常ホモ結合体)44.0%,C/T(ヘテロ接合体)40.0%,T/T(変異ホモ接合体)16.0%であり,韓国人はそれぞれ27.0%,66.0%,7.0%であった.日本人と韓国人は遺伝的に密接な関係を持っているにもかかわらず,両民族の遺伝子型頻度が有意に異なる(chi-square=16.67,P=0.0002)結果を得たのは興味深い.また,韓国人の遺伝子型の構成の特徴として,Hardy-Weinberg equilibriumに従わない高いC/T頻度(chi-square=17.35,P=0.00003)が上げられる.このような高いC/T頻度は他の民族で報告されておらず,韓国人においてヘテロ接合体の有利性を与えた可能性も考えられる.
プロバイオティクスを利用した歯周病原細菌によるバクテレミア予防のための基礎的研究

本研究課題では歯周炎が腸内細菌叢に与える影響を関節リウマチモデルマウスで検討する。さらに腸内細菌叢の破綻が歯周病原因菌であるP. gingivalis感染で引き起こされることが、様々な全身疾患の原因となっていると仮定して研究を行った。その結果、P. gingivalis感染が腸内菌叢の変化を引き起こし、粘膜免疫を活性化していることが明らかになった。特にP. gingivalisは直接糞便から検出されないが、Bacteroides属の増加とIgAに産生増加、そのクラススイッチに関与する酵素AIDの誘導をきたし、関節リウマチ増悪に関与していた。歯周炎やう蝕は口腔内の細菌による感染症である。う蝕は進行すると歯髄に細菌が感染し、全身に感染した細菌が移行する。また歯周炎は細菌により微小構造が破壊され、炎症を伴うことで局所の血管が拡張し、細菌が血液に侵入する状態『バクテレミア(菌血症)』を呈する。このバクテレミアを予防するための方法は、ブラッシングによる機械的プラーク除去、洗口剤などによる化学的な除去である。しかし、これらは非特異的で一時的な方法であるため、継続して行わなければ一定の効果は得られない(J Periodontol. 2007Apr;78(4):654-60.)。さらに口腔内由来細菌の感染(バクテリミア)は様々な全身疾患の原因となることも知られている。また、バクテリミアに続く全身の機能障害が原因の2次的な機械的プラーク不良をきたす(Sci Rep. 2014 May 6;4:4828.)。本研究課題では生物学的プラークコントロール(プロバイオティクス)の有効性をメタゲノム解析を用いて検討する。さらに乳酸菌プロバイオティクスによる細菌叢の変遷、特に歯周病原細菌P. gingivalis抑制をターゲットに研究を行う。本年度は動物実験モデルを用いて実験系の確立と、腸内細菌叢のターゲット細菌種の同定を行った。本研究室で確立している、関節リウマチ自然発症マウスSKGマウスに歯周病原細菌Porphyromonas gingivalisを口腔経由で感染させ、関節リウマチが早期に増悪することが明らかとなっているが、その腸内を、解剖学的、組織学的に解析した。また、次世代シークエンサーで細菌叢のメタゲノム解析を行った。また歯周炎は細菌により微小構造が破壊され、炎症を伴うことで局所の血管が拡張し、細菌が血液に侵入する状態『バクテレミア(菌血症)』を呈する(Support Care Cancer. 2013Jun;21(6):1621-7.)。本研究課題では生物学的プラークコントロール(プロバイオティクス)の有効性をメタゲノム解析を用いて検討した。さらに乳酸菌プロバイオティクスによる細菌叢の変遷、特に歯周病原細菌P. gingivalis抑制をターゲットに研究を行うこととした。特にリウマチモデルマウスSKGマウスに歯周病原細菌の1種であるP. gingivali(Pg)を感染させ、腸管粘膜の免疫応答、腸内細菌叢の解析を行った。腸内細菌叢はBacteroides属減少と、Prevotella属の増加が認められた。またIgMからIgAにクラススイッチするB cellで発現する酵素の増加が認められ、糞便中に分泌されるIgA量がPg感染群でd優位に増加していた。したがって、口腔内の病的細菌叢が、腸管細菌叢を変化させ、全身へ悪影響を及ぼしていることが示唆された。ターゲット細菌の変遷をプロバイオティクス前後で比較する。腸内細菌はお互いに相補的な役割を担っており、プロバイオティクス以外にも、健康マウスの口腔内細菌、腸内細菌をマウス腸管内に移植することでの関節リウマチ発症への市況も検討する。また細菌学的アプローチだけではなく、腸管表層の構造、特にフコースなどの糖鎖構造と自然リンパ球の関係についても検討する。歯周病態学メタゲノム解析の費用として、計上していたが、次年度に行うこととしたため翌年度分として請求した。
農地の公的管理と多様な担い手育成・確保手法に関する研究

本研究では、農地の公的管理と多様な担い手育成・確保手法に関する研究として、次の2点を中心に研究を進めた。第1は、農業経営基盤強化法の具体化にともない、認定農業者制度が発足となったが、そうした担い手確保方策の枠組みと実施状況を検討した。第2は、そうした枠組みの変更のもとで先取り的に担い手確保方策を進めていた先進地事例調査として、主に東北地域を中心に、大区画型圃場整備を契機とした担い手への一挙的農地集積方策を調査した。同時に、そうした圃場整備を契機とした担い手育成策が困難な地域として、中山間地帯における集約化方策・付加価値型農業の展開地域として、有機農業を軸とした村作りを進める宮崎県綾町も追加的に調査した。そこで得られた知見は次の3点である。第1は、認定農業者制度の動向では、食糧管理制度の不透明感から認定農業者の確保が困難化しており、現地での農政不信感が相当根強い状況となってきていること。第2に、大区画型圃場整備を契機とした担い手への農地集積手法として、「換地と利用権の一体的推進」が重要な機能を果たしており、農地保有合理化法人との連携を図ることにより、借地期間、担い手の交代、借地条件の統一化を図るなどめざましい成果を挙げつつあるが、生産調整のあり方の不透明感が集団的農地利用の契機を奪い、必ずしも面的農地利用集積にはリンクしていない傾向がみられること。第3に、中山間地帯における付加価値型農業展開の場合、自治体・農協による活性化方策が重要な機能を果たしているが、そうした事業の展開のためには開発公社等の別組織を必要としてきていること、同時に、付加価値型展開に加えて、土地利用型担い手の育成ないし公社直営型の補完システムが必要となっていることが明かとなった。
B型肝炎ウイルス組換え遺伝子型の網羅的検討

DNAデータバンクに登録されている807本のHBV全塩基配列を用いてHBV組換え遺伝子型(r-HBV)の検索を行なった。12種類のA/D、2種類のA/C、2種類のA/E、1種類のA/G、1種類のA/B/C、2種類のB/C、2種類のC/D、1種類のC/F、1種類のC/G、2種類のU/Cおよび1種類のChimp/Cの合計28種類のr-HBVの存在が明らかとなった。r-HBVの組換え好発領域はS遺伝子のC末端領域とcore遺伝子領域に多い傾向にあった。DNAデータバンクに登録されている807本のHBV全塩基配列株について300bpごとに分子系統樹の作成を行い確実な非組み換え遺伝型株641本を選出して分子系統樹を作成した。その641本をもとにsub-genotype別を含む各遺伝子型のコンセンサス配列を作成後、残りの166本のHBV全塩基配列に対してSimPlot解析を用いて組換え遺伝子型(r-HBV)株の検索を行った。SimPlot解析にて合計28種類、150株以上のr-HBVの存在が明らかとなった。遺伝子型ADの種類が最も多く12種類、30株以上のr-HBVがアフリカ、欧州、インドに分布していた。その他2種類のr-HBV A/C、2種類のr-HBV A/E、1種類のr-HBV A/GおよびA/B/C、アジアに広く分布する100株以上で最多の2種類のr-HBV B/C、北西中国に分布する2種類のr-HBV C/D、1種類のr-HBV C/FおよびC/G、2種類のU/Cおよび1種類のチンパンジーとCのr-HBVが検索された。HBV遺伝子型の組換え好発領域はS遺伝子のC末端領域とコア遺伝子領域で多い傾向にあった。アジア・アフリカ地域のHBs抗原陽性保存血清を用いてHBVの塩基配列の決定を行いr-HBVの検索によって、遺伝子型AとEが分布するコート・ジボアール国から既存の報告にない新たなr-HBV A/Eが検出された。また遺伝子型CとDが分布するネパール国から既存のG23と同一のr-HBV C/Dが検出された。治療前HBs抗原陰性で造血器悪性腫瘍に対する治療後にHBV再活性をきたした症例、および40歳以下で発症した肝細胞癌14症例[平均年齢は29.6±6.1歳(1838)、男女比は10:4、HBe抗原陽性率は50%(7)]を対象としてr-HBVの検索施行中である。またin vitro HBV複製モデルを用いてウイルス変異とウイルス複製効率についても検討中である。治療前HBs抗原陰性で造血器悪性腫瘍に対する治療後にHBV再活性をきたした4例の保存血清よりHBV-DNAを抽出し、HBV組換え遺伝子型(r-HBV)の検索を行った。またin vitro HBV複製モデルを用いてウイルス変異とウイルス複製効率について検討した。HBV遺伝子型はBj 2例、Ce 2例でありr-HBVの存在は認めなかった。CP(1762/1764)配列は全例が野性株でPC(1896)変異株は1例に認めた。In vitro HBV複製モデルを用いた再活性化例の各HBVクローン間の比較検討では、重症肝炎による死亡例の遺伝子型BjかつPC変異陽性例のHBVクローンで複製がより亢進していた。40歳以下で発症した肝細胞癌14症例を対象として保存血清よりHBV-DNAを抽出しHBVの全塩基配列の決定を行いr-HBVの検索をおこなった。14症例の平均年齢は29.6±6.1歳(1838)で男女比は10:4。HBe抗原陽性率は50%(7)であった。HBV全塩基配列を用いた系統樹解析では遺伝子型Ae, Ba(組み換え遺伝子型B/C), Ceがそれぞれ1、1、11例に認められ、残りの1例はSimPlotプログラム解析から2814番から1573番の塩基配列は遺伝子型Aeに分類され、1574番から2813番の塩基配列は遺伝子型Ceに分類される新たなr-HBV Ae/Ceであった。PreS領域において欠損変異が64%に認められヽPreS1とPreS2領域の欠損変異はそれぞれ35%と43%に認められた。X遺伝子のEnhancer II領域のC1653T変異は29%に認められた。コアプロモーター領域のA1762T/Gl764A変異は79%に認められた。プレコアのG1896A変異株は21%、野生株は57%、混在株は21%に認められた。

本邦における40歳以下のHBV関連肝細胞癌発症例ではPreS領域の欠損変異とコアプロモーター変異との関連とともにr-HBVについても考慮する必要があると考えられた。HBV genotype BjおよびCの共感染のヒト肝細胞置換キメラマウスシリーズ血清からgenotypeの経時的変化をRFLPにて確認をおこなった。これらの結果からはgenotype BjおよびCの組換えHBV遺伝子型の確認はされなかった。また本邦では現在B型肝炎ウイルス(HBV)に対するユニバーサル(UV)ワクチンの導入に向けての検討が行われているが、異なるHBV遺伝子型やvaccine escape mutant(VEM)に対する防御能を明らかにする必要がある。HBVに対するモノクロナール抗体を用いてヒト肝細胞キメラマウスにおけるHBV中和試験を行った。感染源としてHBV遺伝子型AとCの野生株,遺伝子型C-145R導入変異株を用いた。HBV116抗体およびHBV478抗体10μg投与群の遺伝子型AおよびC野生株群では全例でHBV-DNAの検出はされなかった。HBV116抗体およびHBV478抗体を1μgへ減量後においても遺伝子型AおよびC野生株HBV群ではHBV-DNAの検出はされなかった。C-145R導入変異株中和試験においては、HBV478抗体群では全例でHBV-DNAの検出はされなかったが、HBV116抗体群では全例でHBV-DNAが検出された。現在日本で使用されている遺伝子型CのHBワクチンで遺伝子型AのHBV感染防御が可能であると考えられた。また、VEM株へのHBワクチンによる感染阻止は限定的であると考えられた。
歯に矯正力を加えた時の圧迫側変性組織について

矯正治療を行う上で、個々の歯に加える至適矯正力が解明されれば、術者側は効率の良い治療が、そして患者側にとっては不快な矯正装置の装着期間の短縮につながり、齲蝕になる率も減少することが容易に推測できる。このような観点から、矯正治療における生体反応のメカニズムを解明するため、ネコの犬歯に矯正力を加え、組織学的に研究してきた。その結果、矯正力を受けた歯根膜では、血管、破骨細胞と歯槽骨の吸収に明瞭な相互関係があることがわかった。また、破骨細胞は矯正力の大きさと関係し、特に破骨細胞と血液の供給と応力には密接な関係があることが示唆された。さらに、変性した歯根膜に面した歯槽骨の吸収には浅部の背部骨吸収が関与し、歯の移動に大きく影響する事もわかった。また、歯槽骨から歯根膜への血管及びそこに存在する歯槽骨の開口部に着目し、ネコの犬歯の歯槽窩において、骨髄腔開口部の分布及び大きさの解明を目的に組織学的検索を平成13年度に行った。すなわち以下の方法を用いて、ネコの犬歯歯槽窩近遠心の骨髄腔開口部の分布及び大きさを解明した。ネコを脱血し、上顎犬歯を含む歯周組織を一塊として切り出し2分した。その後、次亜塩素酸ナトリウムにて軟組織を除去し、水洗、乾燥した後歯を除去し、通法に従い試料にスパッターをかけ走査電子顕微鏡にて骨髄腔開口部の大きさと数を調べた。その結果、遠心歯槽窩の骨髄腔開口部は、頬側歯槽窩に比べ小さいものが多く認められた。また、骨髄腔開口部の数に関しては、頬側歯槽窩の方が少なかった。これは、頬側の歯槽骨には骨髄腔が認められず骨が薄いため、遠心歯槽骨に比べ血管の量が少ないことが一因と考えられる。平成14年度は、平成13年度の結果をコントロールとし、矯正力を加えた条件下における歯槽窩内の歯槽骨微小形態を明らかにするために開口部の数と大きさについて定量的解析を行う予定である。
画像処理を用いる低速気流の速度計測システムの開発に関する研究

本年度は、粒子状トレ-サを用いる気流速度の三次元計測に関して、システムの計測精度の検証およびソフトウェアの改良によるシステムの精度の向上を目的とした研究を行った。得られた成果は以下のとおりである。1.三次元的に流動するトレ-サ粒子群を模擬した移動装置を作成して、システムにより個々の粒子の移動速度を計測し、計算速度との比較によって計測誤差を推定した。推定された誤差は、昨年度解析した三次元対応付けの際の理論上の誤差に、撮影・画像処理時の誤差が重なったものであり、実用上問題がない程度に十分小さいことが確認された。2.透明壁体で構成される模型内部をより精度よく計測する目的で、壁体による光の屈折影響を補正する方法を考案し、システムへの組込みを行った。方法の妥当性は、別途検証実験により確認した。3,トレ-サ沈降速度をトレ-サ粒子径と関係付けて、計測速度デ-タに沈降補正を施す手順をシステムに組込んだ。その効果は、1m立方の乱流型クリ-ンル-ム模型を用いた気流の三次元計測に適用して、補正前後の発散量を計算して比較することにより確認した。煙粒子を用いた三次元計測に関しては、問題点が徐々に明らかになっているものの、現在まだ完成しておらず、今後の検討課題としたい。また、直接照明が照射される壁面近くでの流れは、トレ-サの可視化が困難なため、現在計測可能になっていない。流れの基礎方程式の数値解を援用するなどの別の方式を含めて検討中である。なお、本研究課題は本年が最終年度であるため、ここまでの成果をまとめて研究成果報告書を作成し、関連する研究者らに送付している。本年度は、粒子状トレーサを用いる速度計測に関して、システムの高解像度化に伴い、従来の方式に改良を加えることと、極低速気流の可視化に煙を用いることの可能性を検討することを目的とした。得られた結果は以下の通りである。1、粒子状トレーサを用いる可視化法に関して(1)二次元計測に必要な、異なる画像間での同一トレーサの対応付け法に関して、既存の追跡法の特性を、シミュレーションにより定量的に明らかにできた。(2)2台のカメラによる三次元計測に関して、新たにカメラ設定を完全に自由化した方法を採用し、計測に伴う誤差を実験と解析により定量化することができた。(3)上記システムに関して、学外で行った換気室模型の可視化実験結果を解析することにより、システムの有効性を実証できた。2、煙を用いる可視化法に関して(1)二次元計測に関して、可視化像空間輝度分布の周波数を高める発煙法と、新たに採用した類似パターン検策法を組み合わせることによって、従来水流の計測に用いられてきた方式の1/30の演算時間で速度計測が可能であることを示せた。(2)三次元計測に関して、煙の流脈による可視化法による計測を行い、その問題点を明らかにできた。本年度は、低速気流への追随性、得られる可視化像の解析の容易さを評価基準として、トレーサ発生法を再検討することを重点に研究を進める予定である。
ガンマ線・中性子イメージングのための結像系を用いた新しい手法の開発

光学設計ソフトZemax OpticStudioと、それを稼働させるパソコンを購入し、ガンマ線イメージング検出器用の反射鏡結像系の設計を行った。また、ガンマ線検出器として、CsIシンチレータを購入した。CsIは、計画当初の1体のものから変更し、1cm立方のもの4個を購入した。Zemax OpticStudioの購入費用が見積もり時より増えたための調整である。そのため、粒子シミュレーションも一部やり直して、全体として、現在手元にあるシンチレータと光検出器の組み合わせによるガンマ線カメラの設計が完成した。4つのCsIの配置を工夫することで、コンプトン散乱を起こす部分、その後の2次ガンマ線を全吸収して全エネルギーを測定する部分を、別のシンチレータに行わせることにより、より鮮明な画像と、その再構成を目指すデザインとなった。光学設計ソフトの購入を、当初1年目の予定だったものを2年目にしたため、光学系の設計に関しては遅れていた。昨年度の予算を一部繰り越して、今年度、光学設計ソフト、パソコンの購入を完了し、光学系の設計を行ったため、遅れは取り戻せた。また、ガンマ線検出用のCsIシンチレータも予算内で購入できるものを見つけて購入したため、最終年度に検出器の作製、測定を行うことができる。最終年度には、設計した結像系を作成し、ガンマ線源を用いて、コンプトンカメラを作成する。ガンマ線・中性子イメージング検出器を開発する本研究計画のうち、当初2017年度には、シンチレータの発光を読み取るイメージング検出器部分の開発を行う計画であった。しかし、イメージング検出器を設計するための、コンピュータと光学設計ソフトを同時に購入することが難しくなったため、入射ガンマ線や中性子が高エネルギー反応によって検出される、シンチレータ部分の開発を2017年度に行った。特にガンマ線の方向検出においては、ガンマ線のシンチレータ内での反応部分を最適化することが、大きな開発要素である。そして、その開発には、研究室の既存の設備であるワークステーションおよび高エネルギーシミュレーションキット「Geant4」のみが必要であるため、2017年度は、この開発を行った。コンプトン散乱事象から、ガンマ線の到来方向を決定する「コンプトンカメラ」では、コンプトン散乱を正確に再現することに重点をおき、エネルギー分解能の高い半導体検出器を用い、最初の反応がコンプトン散乱、2番目の反応は光電吸収である事象のみを選ぶ方法をとることが多い。しかしそれでは検出効率が非常に低い。本研究では検出効率の高いカメラを設計することが大きな目標なので、2番目の反応もコンプトン散乱で、多重コンプトン散乱の後、最後には全エネルギーをシンチレータに付与する事象も取得することを目指している。このため、もっとも効率的なシンチレータの形状を開発した。これらの反応で生成した光子を結像させる部分の設計を、2018年度以降行う。光学設計ソフトとコンピュータを、同時に購入することが困難になったため、中性子、ガンマ線カメラ開発のうち、光学部分の設計を2018年度以降に行うように変更した。いっぽう、ガンマ線とシンチレータの反応部分の設計を2017年度に行ったため、計画全体が遅れることはなく、順調に進展している。2018年度にコンピュータと光学設計ソフトを購入し、結像系の設計を行う。決定された形状に基づいて、ミラーおよび周辺の光学系を実際に作製し、2017年度に設計したシンチレータ部分も作製して、検出器を完成させる。これを用いてデータ収集を行い、シミュレーションとの比較、データからシミュレーションへのフィードバックを行い、シンチレータおよび光学系のさらなる改良を行う。コンピュータとソフトの購入を、2018年度に行うこととしたため、次年度使用額が生じた。
薬物吸収部位としての口腔粘膜の評価:薬物透過障壁能の物理科学的解析

薬物投与部位としての口腔粘膜に対する基礎的知見を得ることを目的として本研究を行った。ハムスター頬袋を用いて、角質化口腔粘膜の薬物透過障壁能の評価を行い、透過性は薬物の親油性のみならず分子サイズによっても制御されることを明らかにした。また、角質層剥離により特に低親油性薬物の透過性が増大すること、口腔粘膜から剥離した角質層シートが口腔粘膜全厚と同様の障壁能を示すことから、角質化口腔粘膜の透過障壁は角質層であることを明らかにした。口腔内部位差についても、透過性は角質層の厚さに反比例することを明らかにし、角質層の薬物透過障壁としての機能が裏づけられた。次に、角質化口腔粘膜から角質層脂質抽出を除去したところ、低親油性薬物の透過性が増大し、角質層細胞間隙脂質が透過障壁の本体であることを明らかにした。さらに、薬物の角質層透過経路について、経細胞経路、細胞間隙水相経路、細胞間隙脂質相経路の3種類を考慮して解析した結果、細胞間隙脂質相経路のみを考慮すれば良いという結論に達した。そこで、角質層脂質のモデル脂質混合物をグラスフィルターに塗布して作成した膜を用いて、薬物透過性を検討し、この膜が口腔粘膜角質層のモデルとして使用できること、吸収促進剤のスクリーニングに使用できることを示唆する結果を得た。口腔粘膜にも特殊輸送機構が存在することが、D-グルコースについて、ヒト口腔全体によるバッカル吸収試験により見出されているが、その存在部位など詳細については未解明であった。本研究では、ヒト口腔の各部位に適用可能な環流セルを考案・作成して検討を行い、D-グルコースに対する特殊輸送系が舌背に存在することを明らかにした。このセルは受動輸送による吸収の部位差についても解析可能な極めて有用なものであることがわかった。
細胞周期調節に働く癌遺伝子および関連遺伝子に関する研究

研究代表者および8名の研究分担者の本年度の研究実績は次の通りである。〔花岡〕酵母においてG1期からS期への移行に必須な遺伝子(GST1)に対するヒト相同遺伝子を、KB細胞cDNAライブラリーから単離し、GTP結合蛋白質のコンセンサス配列を有することを示した。〔井出〕GO/G1期変異株のひとつであるtsJT16株を解析し、許容温度で合成され、制限温度では合成されない蛋白質を1つだけ見出した。〔西島〕CHO-K1細胞からレブリカ法により、イノシトール輸送欠損株を分離した。そのうちの1株は、Na^+依存性のイノシトール取り込み活性を欠損していた。〔松本〕マウスコフィリンcDNAを新たに単離し、ブタのものと比較したところ、同じく166アミノ酸からなり、2アミノ酸残基に置換があるのみという。よい依存性を示した。〔野瀬〕TPAによりc-fosが強力に誘導されるマウス骨芽細胞株から、TPAで誘導されるcDNAクローンを8個分離した。うち3個はメタロチオネインII、1個はオステオポンチン、他の4個は互いに独立の未知の遺伝子であった。〔田矢〕N-myc蛋白質のC末端近傍にあるロイシン、ジッパー構造の、トランスフォーミング能における重要性を部位独異的突然変異により実験的に証明した。〔関口〕G1期に変異をもつハムスター温度感受性変異株tsBN462の変異,を相補するヒトの遺伝子cDNA(CCG1)を分離し、遺伝子産物を同定するための抗体を作製した。〔関水〕大腸菌の染色体DNAの複製開始蛋白質であるDnaA蛋白質の抗体を用いて、ウェスタンプロット解析により、出芽酵母およびマウスエールリッヒ腹水癌細胞抽出液中にDnaAと分子量の類似した蛋白質を見出した。〔矢倉〕DNA複製起点配列を分離するためのHeLa細胞へのプラスミドDNA導入法の検討、および複製起点とプロモーター配列がセットになったものを効率よく分離できるベクターの改良を行った。よい依存性を示した。
多機能型システムを持ったプログラミング言語のための型付き中間言語の設計

昨年に続き、今後のOCamlの発展に合ったデザインを検討した。フロントエンド(パーザや前処理および型推論)とバックエンド(コードの生成・変換と最適化)が常に発展を続けており、全てを同時に変更するのが難しい。対応策として、OCamlのモジュールシステムを活用し、型抽象によって各部の独立性を高めた上で部分的な変換を段階的に導入する方針を固めた。また、それと平行して、型システムの様々なバグを直した。特に再帰モジュールとファンクター(モジュール間の関数)や実モジュールの抽象化から得られたシグネチャー(モジュールの型)の組み合わせにより健全でないモジュールが前から作れていたことが発覚し、その問題の理解を深めながら理論と実装を修正した。同様にクラスの全称化のときに起きていた健全性の問題を修正した。健全性の問題が実際に実行時の型の不整合により未定義な動作を許してしまうので、その修正は重要だが、それを未然に防げる方法の必要性が再確認できた。OCaml自体を一つの中間言語とみなすこともできる。岐阜大学の今井敬吾と一緒に、OCamlでの線形型やセッション型のエンコーディングを提唱した。型システムを拡張するのではなく、現在の型システムとモナドなどを使い、値が線形的に使われることが保証できる。プログラム検証の面で、産業技術総合研究所のReynald Affeldtや学生の田中一成とQi Xuanruiと一緒に簡潔データ構造の木を扱ういくつかのアルゴリズムの検証を行った。簡潔データ構造は大量のデータを復号化なしでコンパクトに表現できるこてで、大量のデータを扱うときに役に立つが、安全性も求められる。検証はCoqで行ったが、今後はOCamlでコンパイルされたコードとCoqで証明されたプログラムの関係を証明できり方法を確率して、実行されるコードまでが保証される機構を目指したい。研究計画に書いてあるOCamlの型付き中間言語の導入を目指しながら、今年は主に現在の型システムの把握と型付き中間言語導入のための調整を行った。OCamlの型システムが複雑で、実装に使われる道具が必ずしも通常の理論の紹介に沿っていないため、それを正確に把握する必要がある。例えば、型変数のスコープや一般化に単一化などで変わる導入レベルという数値が使われていて、それについての研究論文はない。しかも、この値は型変数以外にも、型定義のスコープの判定にも使われており、型システムの健全性で重要な役割を果している。しかしながら、モジュールシステムとの干渉が詳しく調べられておらず、実際にファンクター(モジュール間の関数)を使うと正しく動かない場合を見付けた。今後、そういうことが起きないように、モジュールにおける型変数レベルの明確な定義を導入し、システムを修正し、既存プログラムへの影響を最低限に抑えた。新しい定義は中間言語との相性がよくて、スムーズな導入を可能にするはずだ。それ以外にも、GADTの網羅性に関わる問題を修正した。網羅性は通常型システムの一部と認識されないが、バグがあると正しくないプログラムが実行され、予期できない動作が起きる可能性がある。これをどう中間言語で扱うかについて検討した。また、フランスでPierrick Coudercに会い、彼が進めている型付け語の構文木の型の再確認を行うプロジェクトについて議論した。このプロジェクトはこちらのプロジェクトと補完的な関係にあり、バックエンドでの変換には対応していないが、フロントエンドのバグの発見に貢献できるものだ。中間言語の理論的な設計がまだ完成しておらず、実装を始めていない。しかし、下調べが進んでおり、実装方針も確認できた。OCamlの開発形態が以前と変わった影響を受けて、実装方針を変えることになった。具体的には、今までOCamlは数人の研究者が蜜に連絡を取り、開発を行っていたが、2016年の暮れから、GitHubにコードを移し、多くの人が貢献できるようにした。結果的には、外部から提供されるコードが多くなり、特に型検証器は今までと違い、その変遷を知らない人が手を加えるようになった。それを考えると本プロジェクトがより重要になるが、中間言語の新規導入だけでなく、型検証器自体をより安全で拡張しやすい形に変更する必要性が明確になった。その問題についてOCamlの他の開発者と相談し、制約解消をベースにした型検証器とその出力としての中間言語を作ることになった。そのために言語全体の明確な定義が必要なので、今年度はそれを手掛けた。Leo Whiteのアイデアを元に、モジュールシステムの形式化を始めた。また、再帰型とオブジェクトおよび多相ヴァリアントがOCamlのコア言語の重要な特徴なので、既に作ってあった構造的多相性と再帰型を含めたコア言語をベースにして、それをよりOCamlに近づけるための準備を始めた。ただ、OCamlのコア言語がラベル付き引数やGADTなど、それ以外の多くの機能を持っているので、それら全部を含めた定義を形式化しなければならず、まだ完成していない。その傍らで、現行の型検証器の修正や拡張を続けているので、その変更も反映して行かなければならない。特にGADTに関する様々な改良が型検証の定義に関わるので、慎重に進めている。目標に型検証器の刷新が加えられたことで、デザインを考えなおす必要があった。

対応策として、OCamlのモジュールシステムを活用し、型抽象によって各部の独立性を高めた上で部分的な変換を段階的に導入する方針を固めた。また、それと平行して、型システムの様々なバグを直した。特に再帰モジュールとファンクター(モジュール間の関数)や実モジュールの抽象化から得られたシグネチャー(モジュールの型)の組み合わせにより健全でないモジュールが前から作れていたことが発覚し、その問題の理解を深めながら理論と実装を修正した。同様にクラスの全称化のときに起きていた健全性の問題を修正した。健全性の問題が実際に実行時の型の不整合により未定義な動作を許してしまうので、その修正は重要だが、それを未然に防げる方法の必要性が再確認できた。OCaml自体を一つの中間言語とみなすこともできる。岐阜大学の今井敬吾と一緒に、OCamlでの線形型やセッション型のエンコーディングを提唱した。型システムを拡張するのではなく、現在の型システムとモナドなどを使い、値が線形的に使われることが保証できる。プログラム検証の面で、産業技術総合研究所のReynald Affeldtや学生の田中一成とQi Xuanruiと一緒に簡潔データ構造の木を扱ういくつかのアルゴリズムの検証を行った。簡潔データ構造は大量のデータを復号化なしでコンパクトに表現できるこてで、大量のデータを扱うときに役に立つが、安全性も求められる。検証はCoqで行ったが、今後はOCamlでコンパイルされたコードとCoqで証明されたプログラムの関係を証明できり方法を確率して、実行されるコードまでが保証される機構を目指したい。当初の予定どおり、中間言語の設計と実装を完成させる予定である。また、可能な範囲内でCoqでの検証も検討する。場合によってPierrick Coudercとの協力も考える。バックエンドでの変換について、OCaml Labsが開発するflambdaという枠組みに型の概念をもっと入れるとも検討している。概要に書いたように、今後は言語仕様を完成させ、制約解消に基いた型検証器と型付き中間言語を作る予定である。そのために、フランスのINRIAのFrancois PottierやDidier RemyとイギリスのOCamlLabsの方たちの協力が得られる。年度末の学会出席のために残した金額が大き過ぎた。今年度は予定より海外出張が少かったので、余剰金ができたが、元々最終年度の予算が少く見積ってあったので、来年度は旅費などとして使用する予定である。次年度の旅費に当てる予定である。