hpprc/llmjp-kaken huggingface dataset:
寡占と情報の経済分析

本研究の目的は,寡占市場のワ-キングとパフォ-マンスを情報経済学の立場から分析することであった。特に、寡占企業間の水平的情報交換の厚生効果、ならびに垂直的統合の影響が本研究の中心課題であった。1930年代には不完全競争の経済学が発展し,1970年代には不確実性と情報の経済学が登場し、そして1980年代にはゲ-ムの理論の新展開が見られた。本研究は,これら3つの経済学の流れの総合化を目指すものであった。平成3年度においては、平成2年度の暫定的研究結果を著書・論文の形にまとめることに意を用いた。酒井泰弘は『寡占と情報の理論』(東洋経済新報社)を刊行した。同著の狙いは、不完全情の視点から、不完全競争を再検討したもので、この分野における本邦最初の本格的著作である。それは8章,299ペ-ジから成り、ク-ルノ-型の市場,ベルトラン型の市場およびシュタッケルベルク型の市場において、情報伝達・情報交換の社会厚生効果を休系的に分析するものであった。阿比留正弘は『応用ミクロ経済学』(共著,有斐閣)を出版した。同著は、情報経済学とゲ-ム理論の1応用分野として近年とみに発展しつつある産業組織論を体系的に概説したものである。同著において,阿比留は第6章を担当し,企業の垂直的統合の社会厚生効果を論じた。酒井泰弘と阿比留正弘の2人は学会活動を盛んに行い、理論計量経済学会全国大会、同西部部会、日本リスク研究学会、年次総会、生活経済学会全国大会、同関東学会、箱根コンファレンス、伊豆コンファレンスなどに出席し、寡占と情報の経済分析に関する論文報告を行った。また筑波大学と福岡大学においてセミナ-を随時開き、各自の研究を発展させることができた。本研究の目的は、寡占市場のワ-キングとパフォ-マンスを情報経済学の立場から解明することであり、とくに、寡占企業間の水平的情報交換の厚生効果を、垂直的統合の影響を立ち入って究明することであった。本研究は平成元年度と2年度の2年間にわたる。元年度においては、本研究を積極的に推進するため、寡占と情報に関する図書1セット、ならびにコンピュ-タ周辺機器、事務備品の購入を行った。そして、資料整理と計算機使用補助のための一般および学生若干名の短期雇用を行った。酒井は、ク-ルノ-およびベルトラン寡占企業間の水平的情報交換の社会効果を重点的に研究し、阿比留は寡占企業間の垂直的統合の影響を主として分析した。各自の成果は理論計量経済学会全国大会や同学会西部部会や、慶応経済学会箱根コンファレンスや研究会、セミナ-において報告した。また、主要成果を学術論文の形において公刊することにも意をそそぎ、Journal of Economics,Economic Studies Quartalyなどの英文雑誌に公表することができた。酒井と阿比留は研究打合せと資料調査のため、東京、大阪、九州方面へ数回出張した。また、筑波大学や福岡大学において、本研究に関係するセミナ-と研究会を10回程度開くことができた。本年度の研究はどちらかといえば理論的な基礎固めの研究であった。次年度においては、研究の重点を政策的・実証的分析の方に移し、寡占企業間の水平的・垂直的情報交換が、日本の産業政策上どういう意義を持つかを具体的に考察したいと思う。
極性非プロトン溶媒の高分子化と相間移動触媒としての利用

高分子相間移動触媒は、学問的興味からだけでなく、生成物の分離ならびに触媒の回収を容易にするという省資源、省エネルギ-の面から工業的にも非常に重要である。しかしながら、現在までに報告されている触媒の多くは、オニウム塩やクラウンエ-テル等の低分子相間移動触媒を架橋高分子に担持させたものであり、その活性は一般に対応する低分子触媒に劣り、かつ高価であったり、安定性に乏しい等の欠点がある。そこで、極性非プロトン溶媒がクラウンエ-テルと同様にアルカリ金属カチオンに強い相互作用を持つことに注目し、これらの活性点を持つポリスチレンを対応する新規のビニルモノマ-から合成し、その相間移動触媒活性を評価した。その結果、これらの高分子は水相-有機相二相系の求核置換反応の触媒として非常に優れていることが分かった。一方、低分子類縁体には、そのような触媒活性は、ほとんど見られなかった。このことは、合成化学への寄与とともに、高分子効果の発現の面から注目に値するものである。この事実は、これらの高分子の共重合組成とアルカリ金属カチオン抽出能、及び触媒活性の関係の詳細な検討から、生体触媒である酵素と同様に官能基の協同作用によるキレ-トの生成、及び活性点周りの疎水場の形成による、アニオンの脱溶媒和のため解釈される。これらの高分子触媒は、付加反応、脱離反応、酸化、還元反応の触媒としても有効であり、また回収、再使用しても、活性の低下は、わずかであった。さらに、これらの触媒反応に及ぼす実験的因子について研究した。以上の知見は、この種の高分子触媒の設計並びに触媒反応の条件設定に重要な指針を与えるものと確信する。まず、極性非プロトン溶媒であるジメチルスルホキシド、NNージメチルホルムアミド、N.Nージメチルアセトアミド、Nーメチルピロリドン、およびテトラメチル尿素の構造をスチレンのパラ位をもつ新規モノマーの合成を行った。次いでこれらのモノマーとスチレンのラジカル共重合により標題の高分子を合成した。これらの可溶性の高分子は、リチウム、ナトリウム、およびカリウム等のアルカリ金属カチオンに対して抽出能を持ち、その抽出能は、活性点密度の高い高分子ほど大きいことがわかった。一方、低分子では、このような抽出能は見られなかった。このことは、高分子中では、活性点は、常に近くに存在し、それらが、カチオンに協同時に相互作用し、キレートを形成し、水相から有機相へカチオンを抽出するとして理解される。これらの高分子の相間移動触媒活性は、トルエンー水二相系でのハロゲン化アルキルと種々の求核試薬の反応における生成物の収率より評価した。その結果、これらの反応は、低分子や単独重合体では促進されないが、スチレンとの共重合体には触媒作用を受ける。このことは、触媒活性に及ぼす重要な因子として、抽出能だけではなく、活性点まわりの疎水的反応場の形成があることを示している。以上のように、低分子では見られない触媒活性が、高分子化することで発現されたことは、高分子効果の面から興味深い。さらに、これらの構造をもつ不溶性の高分子も合成され、その構成と活性についても検討がなされている。又、ナイロン66やポリ尿素も、部分的にアルキル化することにより相間移動触媒として働くことがわかった。極性非プロトン溶媒であるジメチルスルホキシド、N,Nージメチルホルムアミド、およびテトラメチル尿素の構造をスチレンのパラ位にもつモノマ-とスチレン、およびジビニルベンゼンの三元共重合により、種々の組成をもつゲル型架橋高分子を合成した。これらは、リチウム、ナトリウム、カリウム等のアルカリ金属カチオンに対し吸着能をもち、その吸着能は、活性点密度が高い高分子ほど、大きいことがわかった。

このことは、高分子中での活性点は、カチオンに協同的に相互作用してキレ-トを形成していることを示すものと考えられる。これらの高分子の相間移動触媒活性は、有機相ー水相の二相系でのハロゲン化アルキルと種々の求核試薬の反応における速度定数から評価した。その結果、これらの反応においてその活性は活性点密度のみに依存するのではなく、活性点まわりの疎水的反応場の形成に大きく支配されることが明らかとなった。さらにこれらの触媒反応における実験的なパラメ-タ-、すなわち反応系の攪拌速度、触媒の粒子径、架橋度高分子と活性点の位置関係、さらには有機溶媒の影響について詳細に研究した。その結果、これらの触媒反応の速度論的基本過程は、試薬の触媒表面への移動、および吸着、次いで粒子内での拡散、さらに試薬同志の反応からなることが明らかにされた。以上の結果は、この種の高分子触媒の設計、ならびに反応条件の設定に重要な指針を与えてくれたものと確信する。さらに現在は、水の非存在下での固ー固ー液三相系における上記の高分子の相間移動触媒作用について検討中である。
脳損傷後に生じる社会的行動障害の多面的・縦断的研究－構造・機能画像を用いて－

び漫性軸索損傷の脳梁損傷について、体積が低下するだけでなく、残存する白質繊維も障害されていることが判明し、この値と、認知機能の処理速度が相関することが分かった。また、社会認知機能のうち、特に他者の情動を推測する能力が、患者の社会参加、特に認知的自立と相関することが判明した。また、慢性期の脳幹体積から、急性期の重症度を推測可能であることが分かった。平成26年度は、MRI装置自体を更新する必要があったため、新規の撮像は大幅に遅れた。そのため、既存のデータの解析を優先した。まず、既にMRI撮像と神経心理検査を終了したびまん性軸索損傷例10名、および性別・年齢を統制した健常被験者12例について、Voxel Based Morphometry法を利用し、灰白質・白質の体積低下部位を検出した。白質では脳梁に顕著な体積減少を認め、その部位については、Diffusion Tensor Imaging法を利用してFractional Anisotropy (FA)値を算出した。びまん性軸索損傷症例では、Wechsler Adult Intelligence Scale-IIIにおけるProcessing Speedの成績が健常者と比較し2SD以上の低下を認めたため、その値と脳梁体積とFA値の相関を確認すると、それぞれ相関係数0.82 (p=0.004), 0.846 (p=0.002)となり、脳梁の損傷が処理速度に強く影響していることが示唆された。一方で、二次性ナルコレプシーをきたしたびまん性軸索損傷の一例については、ケーススタディを行った。性別・年齢をマッチさせた12例の健常者との比較では、従来ナルコレプシーの原因とされてきた視床下部の体積低下、左扁桃体、脳梁体積の低下をそれぞれ、Zスコア換算で2.56 (p=0.005), 2.70 (p=0.003), 2.21 (p=0.013)認め、一方で右の扁桃体には体積の有意差は認めなかった。また全灰白質・白質体積には有意な差が無かったことから、ナルコレプシーが脳全体の体積からすると非常に小さいこれらの領域の損傷が原因として生じていることが推測された。この結果については、既に学術雑誌に投稿し、受理されている(J Clin Sleep Med. 2015 Feb 10.)。本研究は、脳損傷後に生じる高次脳機能障害について、社会行動障害を含めた症候学的特徴とその神経基盤を、局所脳損傷・び漫性軸索損傷の二型の外傷性脳損傷で主に検討することを目標としている。平成26年度は、MRIの修理が必要となり、症例数の蓄積が計画通りに進まなかった。本年は、症例数の蓄積に注力し、結果、局在損傷11例、びまん性軸索損傷12例、合併(びまん性軸索損傷+粗大な損傷例)3例、計26例のMRI撮像・心理検査を行った。現在、び漫性軸索損傷については、総計20例に達したため、resting state functional MRIおよびtractographyを利用してコネクトーム解析などを行っているところである。予備的検討では、脳梁の機能不全を反映し、左右半球の機能的・構造的連結が低下していることが示唆されているが、今後統計解析手法などを改良し、発表していく予定としている。また、昨年度に報告した睡眠障害については、一般的睡眠障害尺度を全症例で取得しており、今後解析を進める予定としている。症例数の蓄積が、平成27年度はおおむね順調に進んだと考える。研究代表者の勤務する各医療機関で、新規症例を一定のペースで積み重ねることができ、研究協力機関との連携も、話し合いを重ねる中でスムーズに行うことができるよう工夫した成果と考える。解析自体は、現在も進めつつあるが、一定数症例を蓄積してからとなるため、平成28年度に主に行っていく予定としている。外傷性脳損傷の脳画像所見:びまん性軸索損傷の特徴である脳梁体積低下について、拡散強調画像を利用したtractographyを用いてFractional Anisotropy値: FAと、認知機能検査との関連を検討した。結果、脳梁膨大部の体積が低下している症例ほど、同部位のFA値も低下しており、FA値とWechsler Adult Intelligence Scale (WAIS)-IIIの処理速度が強い関連を示した。予後因子について:従来外傷性脳損傷の重症度判定には、搬入時のGlasgow Coma Scale得点や、外傷後健忘期間などの意識障害関連のスコアが用いられてきた。これらを後方視的にとらえるため、脳損傷患者における慢性期の脳幹体積と、急性期におけるGCS得点、外傷後健忘期間の関連について検討を行った。現在解析中であるが、び漫性軸索損傷においては、脳幹体積の低下と急性期の指標が非常に強く相関していることが判明している。PET研究:外傷性脳損傷患者に対し、アミロイドPETを施行した。現在症例蓄積中であるが、今のところ、基底核、視床といった深部灰白質にアミロイドの沈着を認める症例が多い。今後、統計解析を行い、学術誌への発表を予定している。

既存の3TMRI装置が損傷し、MRI装置自体を交換する必要があったため、新たな撮像が大幅に遅延した。新しいMRI装置での撮像開始にあたり、アーチファクトの軽減など様々な細かい調整を必要とし、そのため、新しい被験者への撮像開始を遅らせざるを得なかった。そのため、これまで撮像していたデータを単独で解析することとし、その解析を優先した結果、報告に値するいくつかの結果を得ることができたため、その意味では大きな遅れにはなっていないと考えられる。慢性期症例については、順調に症例の蓄積が行えている一方で、急性期から亜急性期の症例については、まだ症例数の蓄積は不十分である。外傷性脳損傷は、急性期は救急病院に運ばれることが多いため、現在救急病院との話し合いを行っているところであり、早急に協力体制を作り上げたいと考えている。それ以外の点については、基本的に順調に進んでおり、症例の蓄積を現状通り進めながら、本年度後半以降は、解析についても鋭意進めていく予定としている。神経心理学現在新しいMRI装置が順調に稼働しており、脳損傷症例の紹介なども順調に集まっており、当初の予定通りに進行することが可能であると考えている。症例数が予定に満たなかったため、謝金費用に残金が発生した。主に謝金に使用していく予定としている。
明治・大正期の文学とメディア、国語・思想状況との諸関係に関する研究

明治三十年代から大正初期の時期に着目し、国語政策、文学の表現上の変遷、近代文学の歴史化の動向と、文学者の芸術家と認知に関する相互関連性を探求して、具体的には次のことを明らかにした。1.明治3040年代の国語政策に於いては、〈標準語〉と〈言文一致〉による国語の統一が目指され、旧来の文語や方言は撲滅の対象となるが、周知の通りそれは実現されず、結局、〈標準語〉と〈言文一致〉は、方言や文語をいつでもそれらに〈翻訳〉しうる言葉として位置づけられること。つまり撲滅より〈翻訳〉が国語の実際的な役割になってゆくこと。2.こうした〈翻訳〉という機制からみると、明治末期以降の小説が、会話文に於いて方言を盛んに採用し、しかも、その方言の発話者に対して地の文で内面描写を施す際には、その方言で書かれても不思議ではない内的言語を整った〈言文一致〉体に〈翻訳〉してしまうようになる事態は重要な意味をもっており、いわば1の国語政策の未完結から生み出された〈翻訳〉という言語状況を、最もよく体現し、支えていること。3.他方、明治末期から大正期にかけて、近代の文学作品が本格的な歴史化の対象になり始め、近代文学史が刊行されるといった状況の中で、言文一致の創始者が誰かといった議論が盛んになるとともに、たまたま早すぎる死を迎える国木田独歩が、そのころに特に肥大化した新聞メディアに於いて、言文一致の完成者として大々的に葬送されること。4.また更に同じ時期に、時の首相・西園寺公望をはじめとする政府関係者による文士招待や、芸術院の創設に関するの議論が盛んになり、そうした中で文学者の側から、自分たちを芸術家と見なすための定義が数多く提出され始め、それが2と3で指摘した事態を利用しつつなされること。つまり、文学者が芸術家として相応しいのは、言文一致の使い手であり、しかもそれに十分な歴史的背景があるからだ、といった位置づけがなされていくこと。近代日本の国語として、話し言葉としての〈標準語〉と、書き言葉としての〈言文一致〉体の採用が決定され、それらを国家の言語に相応しい形態にすべく整備してゆく明治三十年代から大正初期の時期に着目し、国語政策、国語に関する各種の出版物、文学に関する出版物の相互関連性を問題にすることで、次のことを明らかにした。1,この時期の国語政策は、上田万年や保科孝一などの、東京帝国大学の国語研究所と言語学会のメンバーを中心に形成されるが、その主要なイデオロギーは、単に近世国語の音声語中心主義的な言語観を継承するだけでなく、現在に於いて話されている言葉の重視という新たな言語観をそれに付け加えたものであること。2,1で述べた言語観に従って、各地の話し言葉の調査が実施されるが、こうした国語政策上の調査の他に、当時、数多く出版される口語文典が、話し言葉をほぼそのまま採取して、その文法的な法則性を明らかにするという活動を行っており、これらは必ずしも国語政策と同じ言語観と目的にたってなされたものではないにもかかわらず、結果的に国語政策に貢献する調査になってしまっていること。3,こうした国語政策に於いては、〈標準語〉と〈言文一致〉による国語の統一が目指され、旧来の文語や方言は撲滅の対象となるが、周知の通りそれは実現されず、結局〈標準語〉と〈言文一致〉は、方言や文語をいつでもそれらに〈翻訳〉しうる言葉として位置づけられること。4,こうした〈翻訳〉という機制からみると、明治末期以降の小説が、会話文に於いて方言を盛んに採用し、しかもそれを地の文の発話者の内面描写に於いて、整った〈言文一致〉体に〈翻訳〉してしまうようになる事態は重要な意味をもっており、いわば3の国語政策の未成立から生み出された〈翻訳〉という言語状況を、最もよく体現し、支えていること。

4.また更に同じ時期に、時の首相・西園寺公望をはじめとする政府関係者による文士招待や、芸術院の創設に関するの議論が盛んになり、そうした中で文学者の側から、自分たちを芸術家と見なすための定義が数多く提出され始め、それが2と3で指摘した事態を利用しつつなされること。つまり、文学者が芸術家として相応しいのは、言文一致の使い手であり、しかもそれに十分な歴史的背景があるからだ、といった位置づけがなされていくこと。
多様な温室効果ガスの大気圏からの消費に植物圏微生物が果たす新規生態系機能の発見

植物圏に生息する微生物が温室効果ガスの消費に寄与しうるかを検証するため、間接的温室効果ガスの水素を取り込む植物共生微生物に着目して研究を実施し、以下を明らかとした。高親和性水素酸化酵素の大サブユニットをコードするhhyL遺伝子が多様な植物種から検出され、高親和性水素酸化細菌が環境中の植物に広く存在することが示唆された。植物体内から分離した145株から、hhyL遺伝子を有する7株のStreptomyces属細菌が大気濃度以下にまで水素を酸化することを確認した。無菌植物に分離株を接種したところ、植物体内の局在が確認され、植物中と土壌中で細胞あたり同等の水素酸化能を示した。本研究は、水素や一酸化炭素、メタンといった大気中に極めて希薄に存在するガスの大気圏からの取り込みに植物圏微生物が果たす役割を明らかとすることを目的とする。まず当助成初年度は、植物体において大気濃度レベルの水素を消費する微生物に着目して以下の研究を実施した。1.高親和性の水素酸化活性を有する微生物の探索:シロイヌナズナおよびイネ体内から分離した145株から、高親和性水素酸化酵素の大サブユニットをコードする遺伝子hhyLを有する7株のStreptomyces属細菌を獲得した。水素を高感度に検出する微量還元ガス検出器RGDを用いて測定を行った結果、7株のうち4株が人工培地上で高親和性の水素酸化活性(Km, < 100 ppmv)を示した。2.植物圏環境を模擬したマイクロコズム試験:無菌土耕栽培したシロイヌナズナおよびイネに分離株を接種したところ、約1ヶ月後に植物体内の局在が確認された。さらに、接種した分離株は、植物体内においても、細胞あたりで土壌中と同等の水素酸化能を示した。3. hhyL遺伝子の分子生態解析:試験した野生植物6種の全てからhhyL遺伝子が検出され、高親和性の水素酸化細菌が環境中の植物体内に広く存在する可能性が示唆された。次年度は、分離した水素酸化細菌の植物体内および根圏における機能発現についてより詳細に解析するとともに、大気濃度の一酸化炭素やメタンを消費する植物圏微生物の生態解明を試みる。植生地で見られる大気中の様々なガス成分の消費現象は、“プレイヤー不明"の生態系機能となっている。「植物圏に生息する微生物の活動によって多様な温室効果ガスが消費される」との新しい生態学的原理の提案を最終目標に掲げ、本研究では、まずモデルケースとして、間接的温室効果ガスである水素を消費する植物共生微生物に着目して以下の研究を実施した。1.微生物の探索と機能解析:シロイヌナズナおよびイネ体内から分離した145株から、高親和性水素酸化酵素の大サブユニットをコードするhhyL遺伝子を有する7株のStreptomyces属細菌を獲得した。7株のうち4株は、大気濃度レベルの水素を取り込む高親和性の水素酸化活性を示した。2.植物接種試験:無菌土耕栽培したシロイヌナズナおよびイネに分離株を接種したところ、約1ヵ月後に植物体内の局在が確認された。ガス分析の結果、接種株は植物表面や植物体内においても、細胞あたりで土壌中と同等の水素酸化能を示した。3.分子生態解析: hhy遺伝子を植物種の共生菌メタゲノムから網羅的に探索した結果、試験した野生植物6種の全てから遺伝子が検出された。以上の結果より、高親和性の水素酸化細菌は植物体内や植物表面に広く存在して、大気中の希薄な水素を取り込む可能性が示唆された。本研究は、植物圏の微生物が水素の地球科学的循環に寄与する可能性を示す初めての研究である。さらに、一酸化炭素やメタンの消費に関与する各遺伝子(coxL, pmoA)についても同様の分子生態解析を行い、いくつかの植物種でこれら遺伝子を持つ微生物が存在することを明らかとした。微生物学当該年度に開始した新規課題であるが、綿密な実験計画に基づく研究実施によって「分離培養」「ガス分析」「植物接種試験」「組織切片の蛍光観察」「分子生態解析」といった異なる実験を同時並行的に推進して目標を達成した。引き続き本研究課題にかかる実験に専念するとともに、国際誌および学会での成果発表を行う。当該年度に計画していた微量還元ガス検出器RGDの購入時期が次年度に延期されたため。主な延期の理由は、分析機器の選定および高圧ガスボンベの保管手続きに時間を要したためである。次年度使用額は、当初の計画通り、微量還元ガス検出器RGDおよび分析用ソフトウェア、高圧ガスボンベ等の購入に使用する。既に機器取り扱い業者に見積もり額を算出いただいており、翌年度分も含めて助成額はすべて期間内に使用予定である。
アクティブフラッタサプレッションに関する理論及び実験研究

1.能動フラッタ制御風試模型製作及び実験設計・製作した模型はスパン1060mm,コード長300mmの矩形片持翼とし、翼型はNACA0018を使用した。弾性軸にはアルミ製一本桁を用い、桁には10個の基本翼素と舵面駆動部翼素が取り付けられている。計測量は舵面駆動角度,翼端部加速度,及び歪ゲージからの弾性変位である。この供試模型を使い、重量,慣性試験,振動試験を実施して、模型の構造弾性特性を把握したのち、本学自由傾斜風洞でフラッタ速度測定実験を行った。その結果、フラッタ試験用模型作製に関する資料と理論解析モデルを確立することができた。計測値のディジタル演算処理にはC言語を用いた。これによりアセンブラライクな仕事ができ、演算の高速化が可能となった。2.風洞での突風発生とそのモデル推定突風荷重軽減実験を考慮し上記考察を行った。突風発生には、フラッタリングフラッグと乱流格子を併用した複合方式が最も適当である。また測定データ時系列からAIC法を使い、ARMAモデルの同定を実施し、理論解析に適した2次又は3次の連続時間モデルを作製することができた。3.フラッタ制御則の理論検討初めに2次元翼フラッタ発生機構と種々の空力モデルの妥当性を検討した。この結果、翼断面重心、弾性軸及び風圧中心3者の相互位置関係により、フラッタ発生機構が異ること、捩り変数フィードバックの方が安定領域がより広く、パラメータ変動にも強いため、好ましい制御形式であることが判明した。さらにモーダルコスト解析法を使い、モデルの低次元化に関する考察を行った。一方、制御法則の低次元化とロバスト性改善に関しては、種々の理論方式を検討し、ナイキスト線図を望ましい形状に修正する方法を考案し、実用的な制御法則を誘導した。
地形図画像からの高精度数値標高モデルの自動作成とその応用

本研究課題では,目的とする「地形図画像からの高精度数値標高モデル自動作成システム」を開発するために,既開発のパイロットモデルに対して種々の性能改善を実施した。まず,パイロットモデルを多数の等高線地形図に適用して問題点の洗い出しを行った。その結果,断線等高線の自動復元手法については,(1)接続条件が甘い,(2)誤接続箇所が自動的に発見できない,(3)一度復元した断線部分の接続変更ができない,などの問題点が見出された。これに対して,接続条件を厳しくする,信頼性の低い隣接関係の生成を抑制する等の改善によって,誤接続の発生を大幅に減らすことができた。さらに,等高線データからDEMを生成する既存の補間手法についても問題点が見出されたので,新たに単調関数補間と呼ぶ手法を開発した。これは,評価実験の結果,(1)補間精度が高い,(2)不自然な瘤や凹みを生じない,(3)モルフォロジー補間などと違って等高線付近でも滑らかさを失わない,という優れた特徴を有する補間手法であることを確認した。そして,正則化法に基づいたDEM生成法としてGrimson法を代表に選んで,その性能評価実験を行った。また,グラフィック・ユーザ・インターフェイス(GUI)を駆使したユーザ・フレンドリーな処理システムとしての具体的実現として,ユーザが介在して断線接続処理が不適切な箇所を会話的に発見し,接続内容を直接指定する会話型接続処理を開発し,人間のパターン認識能力を効果的に利用した接続復元処理を実現した。これによって,従来手法では接続復元が難しい場合にも対処可能となった。今回の改良によって,一連のDEM生成処理がかなりスムーズに実行できるようになった。今後も,システムの実利用化を目指して一層の性能改善を推し進めたいと考えている。本年度は,前年度までに開発を完了したパイロットモデルをべースとして改良を加えることで,実際の使用に供し得る実用化システムを開発することを主目的として,特に,次の2項目に関して研究を進めた。1.多数の適用実験を踏まえて,パイロットモデルにおける各種処理アルゴリズムの性能改善を行う。2.システムとしての統合化を行い,ユーザ・フレンドリーなトータルシステムとしての実現を図る。まず1.については,パイロットモデルを多数の実地形図に適用して問題点の洗い出しを行った。その結果,断線等高線の自動復元手法については,(1)接続条件がまだ甘く,誤接続を行う可能性がある,(2)誤接続箇所を自動的に発見できない,(3)一度復元した断線部分の接続変更または取り消しができない,などの問題点が見い出された。これらに対して,接続条件を厳しくする,信頼性の低い隣接関係の生成を抑制する,等の改善によって,誤接続の発生を大幅に減らすことができた。また,標高値が付与された等高線群からDEMを生成する補間手法についても,不自然な瘤状パターンの発生を全く生じない画期的な補間処理である,単調関数を用いる補間手法を新たに考案し,現在その評価実験を実施中である。そして,正則化原理を用いたDEM生成法についても実用化の視点から詳細な評価実験を実施中である.次に2.については,グラフィック・ユーザ・インターフェイス(GUI)を駆使したユーザ・フレンドリーな処理システムとしての具体的実現として,ユーザが介在して断線接続が不適切な箇所を会話的に発見し,接続内容を直接指定できる会話型接続処理を開発し,人間のパターン認識能力を効果的に利用した高度な接続復元処理を実現した。本年度は,前年度までの研究成果に引き続いて,実際の使用に供し得る実用化システムの開発を主目的として,特に,次の2項目に関して研究を進めた。1.多数の適用実験を踏まえて,実用化システムに組み込む各種処理アルゴリズムの性能改善を行う。

2.システムとしての統合化を行い,ユーザ・フレンドリーなトータルシステムとしての実現を図る。まず1.については,前年度に引き続いて,開発済みのパイロットモデルを多数の地形図に適用して問題点を洗い出した。その結果,標高値が付与された等高線群からDEMを生成する補間法に関して,これまで十分だと考えられていた既存手法についても実用上はまだ問題点があることが判明した。そこで,全く新たな発想に立つ補間手法として単調関数補間を開発した。評価実験の結果,単調関数補間は,(1)補間精度が高い,(2)多項式補間などに見られる不自然な瘤や凹みを生じない,(3)モルフォロジー補間などと違って等高線付近でも滑らかさを失わない,という優れた特徴を有する手法であることを確認した。また,正則化法に基づいたDEM生成法としてGrimson法を選び,評価実験を行った。その結果,単独では膨大な処理時間を要して実用的とは言えないが,単調関数補間と併用することで実用的な補間手法となり得ることを見出した。その他,パイロットモデルを実用化システムとするために,各種の適用実験を実施して処理アルゴリズムの性能改善を継続中である。次に2.については,前年度に引き続いて,グラフィック・ユーザ・インターフェイス(GUI)を駆使したユーザ・フレンドリーな処理システムとしての具体的実現として,人間のパターン認識能力を効果的に利用した高機能な接続復元処理の改良を実施した。
小型肺腺癌のプロテオミクス解析により見出された悪性化に関わるタンパクの機能解析

肺腺癌は日本人の癌の死因1位である肺癌のなかでもっとも多い組織型である。初期癌は切除すれば治るが、進行癌は完治することは難しい。肺腺癌の発生に直接かかわるドライバー遺伝子でもっとも頻度が高いのはEGFR(上皮成長因子受容体)変異である。我々はEGFR変異のある初期癌と小型浸潤癌について質量分析計を用いてプロテオミクス解析を行い、EGFR変異のある初期癌は小型浸潤癌に進行する間に多くのタンパク発現が変化しているという結果を得た。本研究ではプロテオミクス解析で見つかったタンパクについて免疫組織化学染色と機能解析によって検証を行い、真の悪性化を引き起こす因子を発見することを目的とする。
核小体破壊よりみたHIV-1による細胞致死機構の解析

HIV-1 RevをCOS7細胞にtransfectし過剰発現させると、Revは核小体内に蓄積し、核小体は膨満後破壊される。この時、核小体内にはrRNAが蓄積し、宿主細胞のrRNA生合成は、ほぼ完全にblockされている。BHK細胞でinducibleにRevを発現する細胞株を作製し検討すると、やはり同様の現象が観察され、さらに、Revを発現したBHK細胞では、細胞の増殖が完全に抑制され、最終的に死に至る。このようなRevの細胞傷害作用には、核小体移行シグナル(NOS)と呼ばれる塩基性に富んだ配列と、multimerization domainが必要である。さらに、実際にHIV-1に急性感染したTリンパ球でもRevによる核小体破壊が生じていることを確認した(Nosaka et al.Exp.Cell Res.1993)。我々は、このようなRevの細胞傷害作用は、Revと何らかの核小体内成分との相互作用に由来すると想定し、まず、生化学的にRevと結合することが知られている核小体蛋白B23のRev発現細胞内での動態を検討した。RevとB23は、細胞周期を通してco-localizeし、rRNAのprocessingを阻止すると、Revは、B23と共にreversibleに核質内にtranslocateした。これらのことは、B23がRevの細胞内輸送に深く関与していることを示唆している。また、Revにより核小体が破壊された細胞においては、膨満した核小体内にB23が蓄積していた。B23の機能として、ribosomal particlesの輸送が提唱されている。RevがB23の機能を阻害してribosomeのtransportをblock、細胞死を誘導する可能性もある(投稿準備中)。今後は、Rev,B23,rRNAの間の結合活性の特異性を検討することにより、Revがリボゾームの輸送というB23の機能に及ぼす影響について調べ、Revによる細胞致死機構を解析する予定である。
岩石変質に伴うアルナイト生成過程におけるランタノイド元素の挙動

群馬県草津白根火山周辺,兵庫県栃原,北海道小樽産出の計6つのアルナイト試料のランタノイド濃度を定量したところ,そのランタノイド元素パターンは産地に依らず軽ランタノイドに富む類似な形状を示した.これはアルナイトの生成過程において,アルナイト特有のランタノイド分別メカニズムが存在していることを示している.パターンを詳細に見てみると,軽ランタノイドでは左上がり,重ランタノイドでは平坦なパターンを示し,軽ランタノイドから重ランタノイドにかけてパターンの不連続が認められる.また,軽ランタノイドにおいては試料間で微細な形態の差異が認められる.軽ランタノイドと重ランタノイドとの間にパターンの不連続が存在することは,軽ランタノイドと重ランタノイドとでアルナイト生成過程での分別メカニズムが異なっていることを示している.また,軽ランタノイドにおける試料間の差異は,主成分として含まれるアルカリ金属の割合に依存しており,カリウム濃度と軽ランタノイド濃度との間に正の良い相間が認められている.これらの事実は,アルナイトの生成過程に軽ランタノイド-カリウム-硫酸複塩が介在している可能性を示唆している.さらに,アルナイトの変質母体であると考えられる長石を基準にしてランタノイド元素規格化パターンを得ると,リンに富む試料においてはセリウムからプラセオジムで上に凸の頂点を持ち,リンに乏しい試料ではネオジムで上に凸の頂点を持つ.ここでリンに富む試料における頂点の位置はカルシウムのイオン半径にほぼ相当し,アルナイト中で軽ランタノイドの一部がカルシウムとリンを含むアルナイト類似鉱物であるCrandaliteに取り込まれていることが考えられる.本年度は群馬県草津白根火山地域産出のアルナイト天然試料の分析と,反応装置の設計を中心に行った.主な成果は以下の通りである.1.中性子放射化分析法によりアルナイト中のランタノイド元素を定量する場合,アルナイトの主構成元素であるナトリウムの存在が微量のランタノイド元素の定量を阻害するが,アルミニウム共沈法を用いたナトリウムの分離とランタノイド元素の事前濃縮を適用することにより,定量精度の改善が認められた.2.アルナイト天然試料として,群馬県草津白根火山地域の3地点で採取された4試料のランタノイド元素を定量した.何れの試料もランタノイド元素パターンで見て軽ランタノイドに富んでおり,そのパターン形状は採取場所によらず類似していた.また,アルナイト生成の母岩と考えられるこの地域の安山岩質溶岩とは明らかに異なるパターンであった.この結果は,岩石の変質に伴うアルナイトの生成時に,特有のランタノイド元素の分別現象が存在することを示している.さらに,アルナイト試料に含まれるアルカリ金属の種類と割合によって,ランタノイド元素パターンに微妙な違いが生じる可能性が見いだされ,アルナイト生成に伴うランタノイド元素分別現象とアルナイトの化学組成との間の相関性が示唆された.3.アルナイトの合成実験を行うに先立ち,予備実験を重ね,テフロン内筒の100ml容積の反応装置を最終的に製作した。これにより,200°C,100気圧下で,硫酸アルミニウムと硫酸カリウムを原料としたアルナイトの合成実験に成功した.今後,この反応装置を用いて,ランタノイド元素を添加した系でのアルナイトの人工合成を試みる.群馬県草津白根火山周辺,兵庫県栃原,北海道小樽産出の計6つのアルナイト試料のランタノイド濃度を定量したところ,そのランタノイド元素パターンは産地に依らず軽ランタノイドに富む類似な形状を示した.これはアルナイトの生成過程において,アルナイト特有のランタノイド分別メカニズムが存在していることを示している.パターンを詳細に見てみると,軽ランタノイドでは左上がり,重ランタノイドでは平坦なパターンを示し,軽ランタノイドから重ランタノイドにかけてパターンの不連続が認められる.また,軽ランタノイドにおいては試料間で微細な形態の差異が認められる.軽ランタノイドと重ランタノイドとの間にパターンの不連続が存在することは,軽ランタノイドと重ランタノイドとでアルナイト生成過程での分別メカニズムが異なっていることを示している.また,軽ランタノイドにおける試料間の差異は,主成分として含まれるアルカリ金属の割合に依存しており,カリウム濃度と軽ランタノイド濃度との間に正の良い相間が認められている.これらの事実は,アルナイトの生成過程に軽ランタノイド-カリウム-硫酸複塩が介在している可能性を示唆している.さらに,アルナイトの変質母体であると考えられる長石を基準にしてランタノイド元素規格化パターンを得ると,リンに富む試料においてはセリウムからプラセオジムで上に凸の頂点を持ち,リンに乏しい試料ではネオジムで上に凸の頂点を持つ.ここでリンに富む試料における頂点の位置はカルシウムのイオン半径にほぼ相当し,アルナイト中で軽ランタノイドの一部がカルシウムとリンを含むアルナイト類似鉱物であるCrandaliteに取り込まれていることが考えられる.
次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究

本研究では,AUTOSAR OSの先進機能を形式検証する手法を提案した.AUTOSAROSでは,次世代の自動車を見据えて,保護機能とマルチコア機能が提供されている.そこで,これらの機能を実践的に形式検証する手法を提案した.保護機能の形式検証では,AUTOSAR OSの仕様書に基づいて形式仕様を作成し,定理証明による検証過程において,仕様の矛盾を発見することに成功した.マルチコア機能の検証では,複数のメモリモデルに基づいてプログラムを自動定理証明により自動検証する手法を提案し,Linux,TOPPERS/FMP化ネールなどで用いられているspinlockプログラムの形式検証に成功した.平成27年度は,AUTOSAR OSにおける1.保護機能の形式化と2.マルチコア機能におけるハード部分の形式化を行った.1.保護機能の形式化:AUTOSAROSのオリジナルの文書では,保護機能の仕様が自然言語(英語)で記述されている.その記述には曖昧な表現が多く,一貫して十分なメモリ保護を規定しているか確信を持つことができない.そこで,まず,形式仕様記述言語Event-Bを用いて,保護機能を形式的に記述した.保護機能の仕様ではread/writeを行う元のコンポーネントと先のコンポーネントの関係に基づいて,read/writeを許可するか,禁止するか規定されている.よって,集合と関係に基づいてOSのコンポーネントの構造を形式化し,その構造に基づいた条件として許可するか禁止するか記述した.これにより,保護機能の記述を明確にすることができ,また,オリジナルの仕様における曖昧な箇所を多数指摘することもできた.2.マルチコア機能におけるハード部分の形式化:AUTOSAROSのマルチコア機能における基本的な仕組みであるスピンロックに焦点を当てた.スピンロックを実現するプログラムは小規模であり,アセンブラで数十行である.しかしながら,その実行の際に,複数のコア間で複雑な動作が行われるため,プログラムの正しさを確信することは非常に困難である.プログラムだけでなく,ハード部分の挙動も含めて検証する必要がある.そこで,まず,マルチコアのARMプロセッサにおけるコア間の挙動の形式化を行った.ここでは,プログラムの検証に必要な情報に絞ってモデル化を行い,操作的意味論に基づいて,その挙動を形式的に表現した.これにより,プログラムの実行に伴って,ハード部分で発生する動作を明確にすることができた.当初の計画では,平成27年度は,AUTOSAR OS仕様の分析と整理,および,Event-Bによる形式化を実施することを計画していた.研究実績の概要で記述したとおり,実際には,これらに加えて,マルチコア機能におけるハード部分の形式化を行うことができた.この形式モデルは,TOPPERS/ATK2のスピンロックを実現するプログラムを解析しながら作成したものである.また,このモデルを用いて単純なアセンブラプログラムを検証する試みも行った.この試みでは,証明しなければならない条件が大量に生成されたため,検証は完了していないが,解決しなければならない問題は明確になった.平成28年度は,TOPPERS/ATK2の実装について分析を行い,形式検証を適用する方向性を明らかにする予定であるが,平成27年度に行った以上の試みにより,ある程度,分析は完了し,検証の方向性は見えてきたと言える.よって,当初の計画以上に進展していると判断した.平成28年度は,1.AUTOSAROSの保護機能の形式検証,および,2.マルチコア機能の形式検証を実施した.1.AUTOSAROSの保護機能の形式検証:平成27年度は,Event-Bを用いてAUTOSAROSの保護機能を形式的に記述した.Event-Bでは,証明課題(proof obligation)と呼ばれる証明しなければならない事実を自動生成する.この証明課題はEvent-BのツールRODINの証明器を用いて対話的に証明を行う.平成27年度において,証明課題の証明を試みたが,それら全部は証明することができなかった.そこで,今年度も,証明を引き続き行ったが,RODINの証明器の信頼性や機能の問題により,それらすべてについて証明を行うことが困難になった.そこで,AlloyとAlloy Analyzerを用いて自動的に証明を行うことにした.Alloyは集合や関係に基づいた仕様を記述するための言語であり,Alloy Analyzerはその検証ツールである.これらは,Event-Bで記述したものと同等のものを扱うことができる.今年度はAlloyで保護機能を記述し,Alloy Analyzerを用いて自動検証を実施することができた.2.マルチコア機能の形式検証:マルチコアプロセッサ上で動作するプログラムでは,複数のコア間でハードウェアレベルの複雑な動作が実行されるため,検証対象のプログラムだけでなく,ハードウェアの振る舞いを含めて検証する必要がある.そこで,平成27年度に,ハードウェアの振る舞いの分析と形式化を行った.そして,今年度は,その分析と形式化に基づいたプログラムの検証法を提案した.この手法では,自動定理証明器(SMTソルバ)を用いて検証を行う.また,提案手法を,Linuxカーネルにおけるスピンロックのプログラムに適用し,実際に検証を行うことができた.今年度は,1.保護機能の形式検証と2.マルチコア機能の形式検証を行った.1については,当初の予定どおり,形式検証を実施することができたため,おおむね予定どおりに進展していると考えている.2については,以下の理由から,当初の計画以上に進展していると考えている.当初の計画では,今年度は,AUTOSAR OSの実装の分析を行う予定であった.しかしながら,その大半は,昨年度実施することができ,今年度は,マルチコア機能の形式検証の仕組みについて提案することができた.

この手法では,自動定理証明器(SMTソルバ)を用いて,自動的に検証を行うことができる.当初は,定理証明による対話的な証明を想定していたが,自動的な検証が可能になったことは,大きな成果である.さらに,提案手法により,SPARC用のLinuxカーネルにおけるスピンロックプログラムの検証に成功し,また,すでにバグがあることがわかっているプログラム(このプログラムは当該分野のベンチマークのように使われている)の検証を実施し,バグを検出することにも成功した.すでに,実践的に使える手法を提案することができたのである.これらのことから,当初の計画以上に進展していると判断した.平成29年度は,これまで提案してきた検証手法を,1.AUTOSAROSの保護機能,および,2.マルチコア機能に適用し,評価を行った.本研究では,昨年度までにAlloyによりAUTOSAR OSの保護機能の形式仕様を作成した.しかしながら,Alloyでは,特定の場合についての妥当性確認は可能であるが,任意の場合についての無矛盾性を保証できない.Alloyでは,定理証明を行うことができないためである.そこで,定理証明が可能であるEvent-Bにより形式仕様を作成した.Event-Bでは,不変表明に基づいて証明責務と呼ばれる条件が生成され,これらを証明することにより,不変表明が成立することを保証する.本研究では,保護機能の無矛盾性を保証する不変表明を記述し,証明責務の証明を行った.ここで,証明できない証明責務が存在したため,分析したところ,オリジナルの仕様の矛盾を発見した.そして,その仕様を修正することにより,無矛盾性を証明することができた.2.マルチコア機能の検証.昨年度までに提案した自動定理証明器(SMTソルバ)を用いた自動検証手法をARMプロセッサベースの車載OSであるTOPPERS/FMPカーネルのスピンロック機能の検証に適用した.この検証では,SC, TSO, ARMのメモリモデルで検証を実施して,これらすべてのメモリモデルに対して,スピンロック機能が正しく動作することを確認できた.以上のように,本研究では,最終的に,実際のAUTOSAR OSの仕様,および,AUTOSAR OSの実装を検証することに成功した.さらに,仕様の検証では,矛盾を指摘することができた.これらのことから,車載OSにおける先進機能の実践的な形式検証手法を提案できたと言える.本研究では,AUTOSAR OSの先進機能を形式検証する手法を提案した.AUTOSAROSでは,次世代の自動車を見据えて,保護機能とマルチコア機能が提供されている.そこで,これらの機能を実践的に形式検証する手法を提案した.保護機能の形式検証では,AUTOSAR OSの仕様書に基づいて形式仕様を作成し,定理証明による検証過程において,仕様の矛盾を発見することに成功した.
眼病変でのがん抑制遺伝子とがん遺伝子の研究及び遺伝子導入による眼腫瘍の研究

眼組織および眼病変における「がん抑制遺伝子」と「がん遺伝子」の研究をすすめている。がん抑制遺伝子の研究として網膜芽細胞腫患者さんの遺伝子異常の検索を行っているが、13番染色体の長腕のq1、4部のエクソンの一部に異常があるのが認められた。p53遺伝子に関しては翼状片で従来の報告と異なり、我々の検査では本遺伝子は関与していない結果となった。眼瞼皮膚の扁平上皮癌、基底細胞癌、皮脂腺癌などの悪性腫瘍ではp53は関与していた。がん遺伝子のc-fos、c-junの発現をマウスやラットの胎生期の角膜や水晶体で研究し、胎生期中期に発現し生後まもなく消失することが判明した。角膜や水晶体の創傷治癒過程においてもc-fos、c-junは早期に出現していた。またc-fosノックアウトマウスでのデスモゾームやケラチン12の異常を調べ、その異常が創傷治癒過程に影響していると考えられた。腫瘍などの細胞増殖機構の研究を行うなかで、トランスフォーミング成長因子β(TGFβ)の関与が重要であるので、TGFβ-Smad系の研究を行った。この研究を発展させるために、遺伝子導入の研究を虹彩で行った。LacZ遺伝子をアデノビールスベクターを用いて虹彩の括約筋へ導入することに成功した。これと同様の技法を用いて、TGFβreceptor typeIIが網膜神経膠細胞の増殖を抑制する機構に関与していることを証明した。眼部腫瘍の動物実験モデルを作製した。XPCノックアウトマウスに9、10-dimethyl-1、2-benzanthraceneを毎日6週間点眼することにより眼瞼に乳頭腫を発生させた。これが悪性化するか否かも検討しているが、この腫瘍でのTGFβRIIやSmad3の関与を調べている。この腫瘍にアデノウィルスベクターを用いて遺伝子導入を行い腫瘍増殖抑制効果を検討している。眼組織および眼病変における「がん遺伝子」と「がん抑制遺伝子」の研究をすすめている。がん遺伝子のc-fos,c-junの発現を、マウスやラットの胎生期の角膜や水晶体で研究し、それらが、角膜や水晶体の形成に関与していることを免疫組織化学およびin situ hybridizationで証明している。このように直早期遺伝子のc-fosやc-junが各種の条件下で眼組織に発現し、重要な働きを担っていると考えられた。今後は、他の遺伝子も追求し、それらの相互関係も明らかにしていく予定である。がん遺伝子に関しては網膜芽細胞腫遺伝子とp53遺伝子について研究している。網膜芽細胞腫の患者さんを外来で長期間診察すると同時に、患者さんの協力を得て、その遺伝子の解析を行っている。家族発生、両眼発生例に関しては遺伝子のエクソン領域の異常を調べている。次にp53遺伝子に関しては眼瞼扁平上皮癌、其底細胞癌などで調べている。多数の翼状片での検索では従来の報告と異なり、p53遺伝子は関連がないという結果を得たが、使用した抗体などをかえて再検討する予定である。遺伝子導入による眼腫瘍治療に関しては悪性黒色腫細胞を用いてアデ/ウィルスベクターで研究している。次に眼部腫瘍の誘発実験を行った。XPCノックアウトマウスに9,10-dimethyl-1,2-benzanthraceneを毎日6週間点眼することにより、眼瞼に乳頭腫が発生した。予備実験では4眼全てに腫瘍が発生した。健常組織と比較して腫瘍組織ではTGFβRIIとSmad3の発現は抑制されていた。

この実験で悪性腫瘍の発生がないかを更に検討し、これらの腫瘍を用いて遺伝子治療の可能性を追求する。網膜芽細胞腫に関しては、患者さんを外来で長期に診察すると同時に、患者さんの協力を得て、その遺伝子の解析を行っている。次にp53遺伝子に関しても、眼瞼扁平上皮癌、基底細胞癌などで調べている。翼状片の手術標本での検討ではp53遺伝子は陰性であったが、更に検討を加えている。眼組織および眼病変における「がん抑制遺伝子」と「がん遺伝子」の研究をすすめている。がん抑制遺伝子の研究として網膜芽細胞腫患者さんの遺伝子異常の検索は引き続き行っている。p53遺伝子に関しては、翼状片では従来の報告と異なり、我々の検査では本遺伝子は関与していない結果となっている。扁平上皮癌、基底細胞癌、皮脂腺癌などの悪性腫瘍ではp53は関与していた。がん遺伝子のc-fos、c-junの発現をマウスやラットの胎生期の角膜や水晶体で研究し、さらに眼外傷での創傷治癒過程でも、それらの役割を検討している。また、c-fosノックアウトマウスでのデスモゾームやケラチン12の異常を調べ、創傷治癒過程での影響をみている。眼悪性腫瘍の治療として光線力学療法を我々は世界に先駆けて行ったが、その作用機序の解明を引き続き行い(Ohnishi, et al. Med Electron Micros 2002)、アポトーシスの関与を検討している。腫瘍などの細胞増殖機構の研究を行うなかで、トランスフォーミング成長因子β(TGFβ)の関与が重要であるので、TGFβ-Smad系の研究を行っている(Saika, et al. Br J Ophthalmol 2002)。またTGFβreceptor type IIが網膜神経膠細胞の増殖を抑制する機構に関与しているので、アデノビールスを用いた遺伝子操作で研究している(Hisatomi, et al, Laborat Invest 2002)。眼部腫瘍の動物実験モデルを作製した。XPCノックアウトマウスに9、10-dimethyl-1、2-benzanthraceneを毎日6週間点眼することにより眼瞼に乳頭腫を発生させた。これが悪性化するか否かも検討しているが、この腫瘍でのTGFβRIIやSmad3の関与を調べている。この腫瘍にアデノウィルスベクターを用いて遺伝子導入を行い腫瘍増殖抑制効果を検討している。