hpprc/llmjp-kaken huggingface dataset:
社会的相互作用障害における脳内ヒストン修飾作用の関与

これらの事からHDACが発達期の脳機能に重要な役割を果たしている可能性が示唆される。生後発達段階での脳内ヒストン修飾を非侵襲的に可視化することに成功し、成長に伴う脳局所変化をする確認することが出来たことは、今後のヒトの臨床研究に向けた基礎データと成り得たと考えられ、概ね順調に進展していると思われる。24年度が最終年度であるため、記入しない。今後も引き続き、社会性障害モデル動物を用いた生体イメージングを行い、死後脳を用いた組織学的研究との照合を進めて行く。
レディオラリア化石に基づく古生物地理区の構築と分布の地史的変遷

三畳紀初期・中期およびジュラ紀中期・後期の4つの時間面において,高緯度帯および低緯度帯から産するレディオラリア化石群集について,化石画像形態の古生物学データベースの構築を行い,全種解析を実施した.とくに当時の南半球高緯度帯を代表するニュージーランド地域では,北島ワイパパテレーンの珪質頁岩層とリン酸塩コンクリーション(三畳紀中期Anisian-Ladinian),南島ケープルズテレーンのリン酸塩コンクリーション(三畳紀中期Ladinian),北島ムリヒクテレーンのウルロア層石灰質コンクリーション(ジュラ紀中期Toarcian-Aalenian)から産出するレディオラリア化石群集についてデータベース化を行った.当時の低緯度帯であるヨーロッパテーチス地域の石灰岩(三畳紀中期Ladinian)から産するレディオラリア化石群集について,約4000個体の走査電顕写真ネガ画像から約300形態種のデータベース化を行った.また足尾帯の簑輪地区三畳紀初期・中期の層状チャート層からのレディオラリア化石の層位分布を明らかにし,化石帯の設定を行った.さらに唐沢山の珪質頁岩層(三畳紀初期Spathian)の連続層序断面について,150枚近くの露頭画像(1m×1m)のデータベース化を行った.一方,高地県西部東津野村に分布する鳥巣層群相当層のマールと珪質頁岩層を含む古味口層(ジュラ紀後期Tithonian)の地質調査を行い,2カ所詳細な柱状図を作製し,レディオラリア化石の全種解析を続行中である.三畳紀中期の時間面において,ニュージーランド(当時の南半球高緯度帯),北東シベリア(当時の北半球高緯度帯)とヨーロッパテーチス地域(当時の低緯度帯)のレディオラリア化石の全種解析に基づいて,両極の高緯度帯にのみ固有に分布するGlomeropyle属の種群の地理的分布の特異性を明らかにし,Glomeropyle属の7新種の記載を行った.三畳紀初期・中期およびジュラ紀中期・後期の4つの時間面において,高緯度帯および低緯度帯から産するレディオラリア化石群集について,化石画像形態の古生物学データベースの構築を行い,全種解析を実施した.とくに当時の南半球高緯度帯を代表するニュージーランド地域では,北島ワイパパテレーンの珪質頁岩層とリン酸塩コンクリーション(三畳紀中期Anisian-Ladinian),南島ケープルズテレーンのリン酸塩コンクリーション(三畳紀中期Ladinian),北島ムリヒクテレーンのウルロア層石灰質コンクリーション(ジュラ紀中期Toarcian-Aalenian)から産出するレディオラリア化石群集についてデータベース化を行った.当時の低緯度帯であるヨーロッパテーチス地域の石灰岩(三畳紀中期Ladinian)から産するレディオラリア化石群集について,約4000個体の走査電顕写真ネガ画像から約300形態種のデータベース化を行った.また足尾帯の簑輪地区三畳紀初期・中期の層状チャート層からのレディオラリア化石の層位分布を明らかにし,化石帯の設定を行った.さらに唐沢山の珪質頁岩層(三畳紀初期Spathian)の連続層序断面について,150枚近くの露頭画像(1m×1m)のデータベース化を行った.一方,高地県西部東津野村に分布する鳥巣層群相当層のマールと珪質頁岩層を含む古味口層(ジュラ紀後期Tithonian)の地質調査を行い,2カ所詳細な柱状図を作製し,レディオラリア化石の全種解析を続行中である.三畳紀中期の時間面において,ニュージーランド(当時の南半球高緯度帯),北東シベリア(当時の北半球高緯度帯)とヨーロッパテーチス地域(当時の低緯度帯)のレディオラリア化石の全種解析に基づいて,両極の高緯度帯にのみ固有に分布するGlomeropyle属の種群の地理的分布の特異性を明らかにし,Glomeropyle属の7新種の記載を行った.本年度は三畳紀初期・中期の時間面におけるレディオラリア化石画像および露頭画像について古生物学データベースの構築を行い,群集解析を実施した.データベース化を行った試料は,南半球高緯度帯を代表するニュージーランド北島・ワイパパテレーンのリン酸塩コンクリーション(三畳紀中期Anisian-Ladinian),南島ケープルズテレーンのリン酸塩コンクリーション(三畳紀中期Ladinian),ヨーロッパテーチス地域の石灰岩(三畳紀中期Ladinian)から採集している.各試料から産出する全種について,走査型電子顕微鏡で撮影したレディオラリア画像を購入したフィルムスキャナーを通じて,購入した画像データ処理専用コンピュータに取り込みを行った.ワイパパテレーンの4試料について,レディオラリア化石300弱の個体数の画像データベース化を行った.ケープルズテレーンの2試料について100個体以上の画像データベース化を行った.一方,低緯度を代表するヨーロッパテーチス地域の石灰岩の1試料からは,2000個体弱のレディオラリア画像を撮影し,その画像データベースを現在構築中である.また足尾帯の珪質頁岩層(三畳紀初期)の連続層序断面について,150枚近くの露頭画像(lmxlm)のデータベース化を行った.ニュージーランドとヨーロッパテーチス地域の三畳紀中期のレディオラリア化石群集解析の結果,高緯度帯に固有な形態のレディオラリア化石が存在する事が明らかになった.外部骨格は厚く,長球形の外殻でパイローム(pylome)を持つ事で特徴づけられる.これらのレディオラリアはGlomeropyle属として新属を提唱し,7新種の記載を行った.

またGlomeropyle属はニュージーランドおよび北東シベリアの三畳系からのみ産出している事,さらにGlomeropyle属の内部骨格構造を観察し,骨針が存在する事を明らかにした.本年度はジュラ紀中期・後期と三畳紀中期の時間面におけるレディオラリア化石画像について古生物学データベースの構築を行い,全種解析を実施した.データベース化を行った試料は,ウルロア層の石灰質コンクリーション(ジュラ紀中期Toarcian-Aalenian)である.ニュージーランド北島・ムリヒクテレーンに属するカフィア地域のジュラ系中部のウルロア層について,現地調査を11月12月にかけて実施して新たな試料を採集した.ムリヒクテレーンのジュラ紀中期の堆積物は,砂岩・シルト岩を主体とし,ゴンドワナ大陸の縁辺で堆積したことから,当時のレディオラリアは南半球高緯度帯海域を代表する群集である.昨年度に引き続きヨーロッパテーチス地域のBuchenstein石灰岩(三畳紀中期Ladinian)から産出する放散虫の全形態種の画像について,古生物学データベースの構築を行った.これらの画像データは大容量のデータとなるため,購入したCD-Rドライブを用いてCD-Rに保存した.ジュラ紀後期Tithonianを代表する地質断面について,高知県西部東津野村に分布する鳥巣層群相当層のマール・珪質頁岩層からなる古味口層の地質調査を行い,2カ所詳細な柱状図を作製し,レディオラリア化石の全種解析を続行中である.三畳紀中期の時間面において,ニュージーランド(当時の南半球高緯度帯),北東シベリア(当時の北半球高緯度帯)とヨーロッパテーチス地域(当時の低緯度帯)のレディオラリア化石の全種解析に基づいて,両極の高緯度帯にのみ固有に分布するGlomeropyle属の種群の地理的分布の特異性を明らかにした(Aita & Bragin,1999).
ディスコティック液晶/導電性高分子/フラーレン複合体を用いた新機能光電デバイス

液晶を従来のディスプレイ応用材料として捉えるのではなく、電荷輸送材料として採用し、特にカラム構造を形成するディスコティック液晶に着目した。また、導電性高分子とフラーレンとの複合系における光誘起電荷移動、ドナーアクセプター型高効率太陽電池に着目してこれらを複合した新機能光電デバイスの基礎特性について検討した。ディスコティック液晶としては、トリフェニリン骨格に6つのアルコキシ基を導入したHHTTPを採用し、時間走行(time of flight;TOF)法を用いて移動度の温度依存性、配向状態依存性等の詳細を明らかにした。また、光吸収スペクトル、光電子放出スペクトル等の測定により、HHOTPの固体相、D相、等方相における電子状態を明らかにした。また、移動度とその温度依存性に及ぼすフラーレンドープ効果を調べ、正キャリアである正孔の移動度がほとんど影響を受けず、不キャリアに対しても活性化エネルギーが変化しないことを明らかにした。一方、導電性高分子関しては、それ自体にも高い配向性を付与する目的で、側鎖にメソゲン基を導入した液晶性導電性高分子の設計、合成を行った。その結果、ポリパラフェニレン骨格を有する導電性高分子にアルコキシ基をスペーサーとしてアルコキシビフェニルを置換することによってスメクチックA相の発現を確認し、顕微鏡観察、X線回折測定等により主鎖の配向性を確認した。また、この吸収スペクトル、蛍光スペクトル、誘電率、導電率党の測定を行うと同時に、ITO、MgInを電極として用いたエレクトロルミネッセンス素子を作製し、印加電界の極性により、主鎖ならびに側鎖からの選択発光を確認した。
ヒメツリガネゴケを用いた概日時計機構の解析

モデル基部植物ヒメツリガネゴケを用いて、被子植物の時計遺伝子のホモログの網羅的な同定・クローニングを行った。それらのうちCCA1/LHYホモログのプロモーターをルシフェラーゼ遺伝子に連結し、コケゲノムに移入し、従来より効果的な発光リズムレポーター株を作出した。このレポーター株をホストとして用いた逆遺伝学的解析により、CCA1/LHYやPRRなどの被子植物の時計遺伝子のホモログの機能を調査し、コケの時計を構成すると思われる遺伝子ネットワークの一部を明らかにし、被子植物の時計機構の分子モデルとの比較を行った。また、コケの色素体シグマ因子遺伝子のひとつPpSIG5の逆遺伝学的解析により、PpSIG5タンパク質がコケ概日システムの出力系の重要な調節因子である可能性を示唆する結果を得た。さらに、コケプロトプラストを用いた、時計遺伝子の日周条件下での発現制御解析のためのトランジェントアッセイ系の開発を行った。概日リズムは昼夜の環境変化に対する普遍的な適応現象であり、自律的な振動機構「概日時計」の働きにより生じる。多様なモデル生物において、時計のコンポーネント蛋白質(時計蛋白質)をコードする「時計遺伝子」が分離され、それらの機能的な解析が精力的に行われている。植物ではアラビドプシスでの分子遺伝学的解析が進み、Myb関連蛋白質をコードするCCA1、LHY、PCL1、そして偽レスポンスレギュレーターをコードするPRRなどの時計遺伝子が分離され、解析されている。しかし、多様なグループを含む植物界のなかで、被子植物以外での解析は全くといっていいほど進んでいなかった。そこで、被子植物とは数億年前に分岐したコケ植物のひとつであり、遺伝子ターゲティングを適用できるために新しいモデル植物としても注目されているヒメツリガネゴケ(Physcomitrella patens)を用いて以下の研究成果を得た。1)コケの時計関連遺伝子ホモログの分離:2006年度に限定公開されたヒメツリガネゴケ・ドラフトゲノム配列データベース(JGIによる)を活用し、アラビドプシスで分離された時計関連遺伝子群のコケ・ホモログを網羅的に同定し、該当cDNAと、該当ゲノム領域の分離を進めた。現在までに、CCA1/LHYホモログ遺伝子PpCCA1a、PpCCA1b、PCL1のホモログ遺伝子PpPCL1-PpPCL4、PRRsのホモログ遺伝子PpPRR1-PpRRR4などのホモログ配列の分離を行った。2)コケの時計関連遺伝子群の機能解析:いくつかのコケ時計遺伝子ホモログの遺伝子破壊株を確立した(PpCCA1a、PpCCA1b、それぞれの一重遺伝子破壊株、両遺伝子の二重遺伝子破壊株、PpPCL1の一重遺伝子破壊株など)。PpCCA1a、PpCCA1bの機能については、発光リズムレポーター株をホストに用いた解析を進め、リズム発現の振幅低下などの遺伝子破壊による効果を観察した。現在、こうした機能解析を可能な限り多くの遺伝子について試みている段階である。平成19年度においては以下の成果を得た。1)CCA1遺伝子のコケ・ホモログの機能解析アラビドプシスの時計遺伝子CCA1/LHYのコケ・ホモログ遺伝子PpCCA1aとPpCCA1bについて、それぞれの遺伝子を欠損する単一遺伝子破壊株と、双方とも同時欠損する二重遺伝子破壊株を確立した。これらの破壊株においてPpCCA1bの発現リズムを調べた結果、単一破壊株では遺伝子破壊により概日時計機能は全く影響を受けていないこと、二重破壊株においては時計の周期が2-3時間程度短縮していることがわかった。これはアラビドプシス以外の植物で初めての時計遺伝子の機能解析例であり、植物における概日時計機構の進化を考える上で非常に重要な知見である。2)PRR遺伝子群のコケ・ホモログの解析アラビドプシスの時計遺伝子群AtPRRs(Pseudo-Response Regulators)の4つのコケ・ホモログ遺伝子(PpPRR1-4)それぞれの発現を半定量的RT-PCRにより詳細に解析した。その結果、すべてのPpPRRが主観的明期にピークを持つ概日リズム発現を示すが、そのピークの位相には数時間ずつずれが見られることがわかった。この結果は、アラビドプシスのPRR遺伝子群に見られる位相のずれを伴う概日発現パターンと同様であるが、その一方で系統解析の結果においては、両植物種のAtPRRsとPpPRRsのメンバー遺伝子にはオーソログ関係が見られなかった。

これらの結果は、コケのPRRタンパク質群はアラビドプシスのPRRタンパク質群とは、少なくとも部分的に機能分化している可能性を示しており、やはり植物の進化を考える上で重要な知見といえる。さらに、プロトプラストを用いたトランジェントアッセイにより、PpPRR2とPpPRR4の上流ゲノム領域の解析を行い、両者ともに、CCA1-binding site(CBS)を複数持つ数百bpの領域に、リズム発現を制御するプロモーター領域があることをつきとめた。本研究では、モデル基部植物ヒメツリガネゴケを用いて、逆遺伝学的解析を中心に、概日時計の基本機構に関する研究を行った。その成果を被子植物の関連する知見と比較し、「植物時計」の進化に関する考察を行った。まず、被子植物の時計遺伝子のコケ・ホモログの網羅的な同定・クローニングを行った。それらのうち振幅の高い発現リズムを示すCCA1/LHYホモログのプロモーターをルシフェラーゼ遺伝子に連結し、コケゲノムに移入し、従来よりも効果的な発光リズムレポーター株を作出した。このレポーター株をホストとして用いた逆遺伝学的解析により、CCA1/LHYやPRRなどの時計遺伝子のコケ・ホモログの機能を調査し、コケの時計を構成すると思われる遺伝子ネットワークの一部を明らかにし、被子植物の時計機構の分子モデルとの比較を行った。また、コケの色素体シグマ因子遺伝子のひとつPpSIG5の逆遺伝学的解析により、PpSIG5タンパク質がコケ概日システムの出力系の重要な調節因子である可能性を示唆する結果を得た。さらに、コケのプロトプラストを用い、時計遺伝子の日周条件下での発現制御解析のためのトランジェントアッセイ系の開発を行った。これらの結果から、おそらくは植物が陸上化した時点で現在みられる被子植物型の概日時計の基本機構がほぼ確立されていたこと、一方で、主に光入力に関する関連遺伝子の配列や存在そのものについて、植物種間で多様性があることが示唆された。今後は苔類やシダ・トクサ類など、より多様な植物で時計機構に関する遺伝子群の構造と機能を調べることにより、植物時計の進化と起源を明らかにすることができると考えられた。
固有腎摘による移植腎におけるFGS再発予防効果に関する基礎的研究

FGS患者の血清をラットの尾静脈より注射することによって軽度のネフローゼを誘導することが可能であった.しかしながら、ネフローゼ発症に関与する液性因子としてラット血中のTNF-α、IL-1β、IL-2、IFN-γについてELISA法による検討を行ったが、正常コントロールラットとの比較において有意な差は認められず、ネフローゼ発症に関与する液性因子を特定することはできなかった.これについては血清採取を行ったFGS患者がすでに免疫抑制剤による治療を受けており、病態として安定している状態であったことが原因であると考えられた.実験モデルとして、高度なネフローゼを呈するFGS患者の血清を採取する必要があると思われた.puromycinを用いて作成したネフローゼラットに健康なラットの腎を移植した予備実験では移植腎より高度の蛋白尿が認められ、移植腎のminimal change様変化と尿中のIL-1β高値が認められていることから、腎炎再発には液性因子としてIL-1βが関与しているのではないかと推測している.この結果を踏まえ、今回の実験モデルである、FGS患者の血清を注入することによってネフローゼとしたラットに正常ラットの腎を移植し、移植腎にFGSの再発が認められるかどうかについて組織学的検討、および液性因子の検討を行い、腎炎再発とIL-1βとの関与を明らかにしたい.生体腎移植予定のFGS患者の血清を収集中である.実験モデルと研究の目的は、FGS患者の固有腎摘前、固有腎摘後の血清をラットの尾静脈より注射し、尿蛋白および屠殺後のラットの腎を組織学的に検討することによって、ネフローゼ発症の有無から固有腎摘によるFGS再発予防効果を検討し、またネフローゼ発症に関与する液性因子を明らかにするものであるが、該当患者が平成10年6月から平成11年3月までに当院で1例しか発生していない.検体収集のため、FGS患者の生体腎移植を多く手掛けている東京都立清瀬小児病院泌尿器科、東邦大学腎臓学教室、藤田保険衛生大学泌尿器科に検体提供の協力を検討中である.現在予備実験としてpuromycinを用いて作成したネフローゼラットに健康なラットの腎を移植し、尿蛋白と移植腎の変化を検討している.高度の蛋白尿を呈し、ネフローゼの再発か認められたラットにおいて、移植腎のminimal change様変化と尿中のIL-1 β高値が認められており、腎炎再発には液性因子としてIL-1 βか関与しているのではないかと推測している.この結果を踏まえ、FGS患者の固有腎摘前後の血清が集まり次第、実験モデルを作成する予定である.FGS患者の血清をラットの尾静脈より注射することによって軽度のネフローゼを誘導することが可能であった.しかしながら、ネフローゼ発症に関与する液性因子としてラット血中のTNF-α、IL-1β、IL-2、IFN-γについてELISA法による検討を行ったが、正常コントロールラットとの比較において有意な差は認められず、ネフローゼ発症に関与する液性因子を特定することはできなかった.これについては血清採取を行ったFGS患者がすでに免疫抑制剤による治療を受けており、病態として安定している状態であったことが原因であると考えられた.実験モデルとして、高度なネフローゼを呈するFGS患者の血清を採取する必要があると思われた.puromycinを用いて作成したネフローゼラットに健康なラットの腎を移植した予備実験では移植腎より高度の蛋白尿が認められ、移植腎のminimal change様変化と尿中のIL-1β高値が認められていることから、腎炎再発には液性因子としてIL-1βが関与しているのではないかと推測している.この結果を踏まえ、今回の実験モデルである、FGS患者の血清を注入することによってネフローゼとしたラットに正常ラットの腎を移植し、移植腎にFGSの再発が認められるかどうかについて組織学的検討、および液性因子の検討を行い、腎炎再発とIL-1βとの関与を明らかにしたい.
心臓機能におけるTRIC-Bの生理的役割の解明

本研究では、心臓特異的TRIC-B欠損マウスを用いて、心筋細胞におけるTRIC-Bの機能的役割の解明を目指す。具体的には、マウスが成獣となった段階でタモキシフェンを腹腔内投与し、心臓特異的にTRIC-Bを欠損させる。まず、致死性の有無について確認を行う。その後、臓器レベルでの異常を検出するためにマウス個体に対して心電図や心エコー計測あるいはランゲンドルフシステムによる摘出心臓を用いた心室圧や活動電位の計測を行う。細胞レベルでは、単離心室筋細胞を用いてパッチクランプ法による電流測定やCa2+イメージングなどを行い、TRIC-Bの欠損による心臓生理機能の異常を明らかにする。
顔の表情認知における異種感覚統合

顔認知研究の多くは視覚情報だけを用いていますが,最近の研究は触覚でも顔表情を認知でき,さらに顔表情の視覚刺激が顔表情の触覚判断に影響を与えることを報告しています.これらの知見より,顔処理において視覚系が触覚信号を受け取っている可能性が考えられます.そこで本研究では,顔表情残効の実験パラダイムを用いて,触覚順応から視覚残効への転移が生じるかどうかを調べました.被験者は,喜び顔か悲しみ顔のフェイスマスクを暗黒下で5秒間触った後,喜び顔と悲しみ顔の間でモーフィングされた顔表情の視覚刺激を0.5秒間見て,その表情が喜びか悲しみかを応答しました.その結果,顔表情の触覚順応後に顔表情の視覚残効が生じました.また,この残効は,順応時の意識的な視覚イメージ,低次特徴の触覚順応,応答バイアスが原因ではないことを確認しました.これらの結果は,視覚系が触覚顔信号に応答することを示しています.さらに,顔表情の視覚順応後に顔表情の触覚残効が生じることもわかりました.以上の結果より,顔処理は視覚と触覚のクロスモーダルな相互作用を基盤とする神経表象に依存していることが示唆されます.本研究の成果は,平成25年3月25日付けでPsychological Science誌に論文として採択されました.24年度が最終年度であるため、記入しない。24年度が最終年度であるため、記入しない。本研究では,顔の表情認知における視覚・触覚の異種感覚情報の統合機構の解明を目標としている.顔の認知機構は多くの場合,視覚情報だけを用いて研究が行われており,視覚以外の感覚情報とどのように統合されて顔の認知に至るのかに関する解明はほとんど進んでいない.近年になって,視覚だけでなく触覚でも顔の表情認知ができることが報告されており,顔の表情認知機構は視覚情報と触覚情報を統合している可能性がある.そこで本研究では,ある表情を持つ顔を見た後,中立顔を見ると順応顔の反対の表情を持った顔として知覚される顔残効と呼ばれる視覚心理現象が触覚でも生じるかを調べた.被験者は,喜び顔か悲しみ顔のフェイスマスクを目を閉じて両手で20秒間触った後,中立顔のマスクを5秒間触り,その表情を応答した.その結果,順応顔の表情に依存して,テスト顔が反対方向の表情として知覚された.これより,触覚においても顔残効が生じることが示唆される.触覚における顔残効現象の発見は,視覚情報と触覚情報の顔認知におけるインタラクションを調査するためのプローブとなるため重要な発見であると考える.現在は,この現象を利用して,顔の触覚刺激に順応した後に顔の視覚刺激を検査刺激として呈示しても顔残効(クロスモーダル顔残効)が得られるかどうかを検討しており,クロスモーダル顔残効が得られることを予備的な観察により確認している.今後は,本実験として展開していく予定である.顔認知研究の多くは視覚情報だけを用いていますが,最近の研究は触覚でも顔表情を認知でき,さらに顔表情の視覚刺激が顔表情の触覚判断に影響を与えることを報告しています.これらの知見より,顔処理において視覚系が触覚信号を受け取っている可能性が考えられます.そこで本研究では,顔表情残効の実験パラダイムを用いて,触覚順応から視覚残効への転移が生じるかどうかを調べました.被験者は,喜び顔か悲しみ顔のフェイスマスクを暗黒下で5秒間触った後,喜び顔と悲しみ顔の間でモーフィングされた顔表情の視覚刺激を0.5秒間見て,その表情が喜びか悲しみかを応答しました.その結果,顔表情の触覚順応後に顔表情の視覚残効が生じました.また,この残効は,順応時の意識的な視覚イメージ,低次特徴の触覚順応,応答バイアスが原因ではないことを確認しました.これらの結果は,視覚系が触覚顔信号に応答することを示しています.さらに,顔表情の視覚順応後に顔表情の触覚残効が生じることもわかりました.以上の結果より,顔処理は視覚と触覚のクロスモーダルな相互作用を基盤とする神経表象に依存していることが示唆されます.本研究の成果は,平成25年3月25日付けでPsychological Science誌に論文として採択されました.24年度が最終年度であるため、記入しない。当初の計画では,現有の触覚デバイスを用いて実験を行う予定であった.しかし,その触覚デバイスでは,うまく触覚顔刺激が提示できないことが判明し,装置の改変が必要となった.それにもかかわらず,なんとか触覚顔刺激の作成に成功した点が非常に大きかったと考える.また,当初,やってみないとわからないという状況下で,触覚顔残効の発見が本研究の大きな原動力となり,一気に研究が加速し,本年度の目標に達することができた.24年度が最終年度であるため、記入しない。すでに本年度に大きな壁を越えることができたため,後はどれだけ多くの成果が出せるかが今後の焦点となると考えている.
正常8番染色体移入細胞を用いた大腸癌の進展に関与する癌抑制遺伝子の検索

大腸癌の発生、進展には複数の遺伝子変化が起こっていることが明らかになってきているが、転移、浸潤に関与する遺伝子変化については現在のところまだよく判っていない。我々は、転移性を示す進行大腸癌で8番染色体短腕の欠失を高頻度に認めており、8番染色体上に大腸癌の進展に関与する癌抑制遺伝子の存在が予想された。そこで8番染色体短腕に欠失のある大腸癌細胞に正常8番染色体を移入したところ、8番染色体短腕が移入された細胞では癌形質が抑制され、再構成基底膜を用いた浸潤能も低下していた。また、移入細胞から8番染色体短腕特定領域が脱落し、癌形質が再発現したリバータントが得られた。そこで、大腸癌の進展に関与する遺伝子を検索するために、8番染色体移入細胞とそのリバータント細胞から全RNAを調整し、さらにオリゴ(dT)セルロースカラムによりポリA付加mRNAを調整した。リバータンント細胞から調整したmRNAをoligotex-dT30にアニールし、(dT)_<30>をプライマー、mRNAを鋳型として逆転写酵素によりcDNAを合成した。熱変性後遠心により上清画分のmRNAを除き沈殿画分のcDNA-oligotex-dT30に正常8番染色体移入細胞から調整したmRNAを加えハイブリッドを形成させ、遠心により共通のmRNAを除いた。この繰り返しにより濃縮した8番染色体移入細胞に特異的なmRNAを鋳型として、2本鎖cDNAを合成し、BluescriptIIのクローニング部位に挿入し、大腸菌にトランスフェクトしてライブラリーを作製した。現在、移入細胞とリバータント細胞のcDNAをプローブにしてデファレンシャルハイブリダイゼーションを行い8番染色体移入細胞に特異的な遺伝子のクローンの選択を行っている。
アメリカ連邦議会指導部の強化と立法過程の行動論的分析

本研究は、第1に、アメリカ連邦議会において進行している二大政党の分極化の一側面として増加している、議会指導部の裁量による議題や議事手続の選択と、その結果としての立法過程の帰結、および両者の関係を説明する。第2に、理論的には、議会指導部のパーソナリティ・政策過程と権力過程の偶然の結びつき・議会指導部と大統領や議員のネットワークといった、行動論的な理論枠組を用いる。(1)理論面では、第1に、アメリカ連邦議会内の政党組織の強化の歴史的経緯、およびその間の連邦議会指導部の行動に関して、先行研究のリヴューを行い、その一部を学会報告の形で公表した。第2に、より一般的な理論研究として、社会学(とくにリーダーシップ・権力論・社会ネットワーク理論に関する分野)や公共政策学(とくに政策決定過程)の理論動向のリヴューを行った。第3に、議会制度一般について論じる前段階として、アメリカ連邦議会に関する概説書や、比較議会研究の文献を収集し、リヴューを行った。(2)実証面では、計量分析を行うためのデータ・セットの作成に必要なデータの収集と整備を行った。今年度は、1973年2015年までの上下両院議員の役職やネットワーク等に関するデータ・セットを作成した。このデータ・セットを用いて、議員同士の人間関係のネットワークに関する計量分析を行い、学会報告の形式で公表した。(3)同じく実証面では、比較事例研究を2本行った。1本は、直近の連邦下院議長3名の経歴やパーソナリティと、それらを独立変数とした議長および議会内政党の長としての業績の説明である。もう1本は、当初予定していなかったものであり、議事手続の一種である「財政調整手続」が党派的に用いられるようになった歴史的経緯およびその原因を、直近3人の大統領の立法活動の比較事例研究を通じて明らかにした。それぞれ学会報告および研究会報告の形式で公表した。実証面で初年度に発生した遅れのため、研究に使用するデータ・セットの作成が、最終年度の平成30年度の後半までずれこんだ。これとも関連して、研究成果の中間報告を行う計画に遅れが生じた。平成30年度に、学会報告を10月に1本・研究会報告を8月と10月に2本、それぞれ行った。そこで得られたコメントを研究成果に反映させるために必要な研究時間を、同時期に予定外の業務を複数行うことになったため、確保できなくなった。ただ、研究遂行に必要なデータ・セットの作成と資料の収集、および論文の骨格部分の執筆はひととおり終えている。また論文1本を執筆済みであり、来年度に刊行される。補助事業期間を1年延長させた。研究の大半は既に終えており、残された課題は研究成果の公表のスケジュールとの兼ね合いであるため、2019年度中には予定している研究計画を終えられる見通しである。本研究は、第1に、アメリカ連邦議会において進行している二大政党の分極化の一側面として増加している、議会指導部の裁量による議題や議事手続の選択と、その結果としての立法過程の帰結、および両者の関係を説明することを目的とする。(1)理論面では、アメリカ連邦議会内の政党組織の強化に関する歴史的な経緯・連邦議会指導部の行動・政治指導者一般の行動に関する行動学的な研究の3つについて、先行研究のリヴューを行った。今年度の成果としては、第1に、平成29年1月に刊行した単著『アメリカ大統領は分極化した議会で何ができるか』の結論部(主に第8章)として公表した。第2に、連邦議会における議会指導部の強化と政党間の対立の深化を「手続的分極化」と名付け、この経緯の記述とその理論的説明を暑かった論文を執筆した。第3に、政治指導者の行動に関する行動論的な説明、とくに「政策過程」と「権力過程」を全く異なるながれとして説明する議論に関するリヴュー論文の執筆を開始した。主には2つに分けられる。1つは、法案の共同提出データと法案のタイプ(政策領域など)を記録したデータである。もう1つは、「重要立法」に関して研究代表者が既に作成しているデータの整備である。(1)理論面は、予定よりやや早く進行している。その理由は、単著『アメリカ大統領は分極化した議会で何ができるか』の一部に本研究の成果を反映させることができたことである。本研究の1つ目の目標であるリヴュー論文についても、予定より早いペースで執筆を行うことができた。(2)研究の遅れは主に実証面に関わるものである。第1に、データ・セットの作成を行うアルバイトの雇用が遅れたことである。第2に、必要に応じてアメリカの立法過程に関わる専門家への聞き取り調査を行う予定にしていたものの、さしあたって不要であると判断したため、これを行わなかった。

(1)理論面では、第1に、アメリカ連邦議会内の政党組織の強化の歴史的経緯、およびその間の連邦議会指導部の行動に関して、先行研究のリヴューを行い、リヴュー論文の執筆を行った。第2に、より一般的な理論研究として、社会学(とくにリーダーシップ・権力論・社会ネットワーク理論に関する分野)や公共政策学(とくに政策決定過程)の理論動向のリヴューを行った。第3に、議会制度一般について論じる前段階として、アメリカ連邦議会に関する概説書や、比較議会研究(日本の国会や立法の研究を含む)の文献を収集し、リヴューを行った。(2)実証面では、計量分析を行うためのデータ・セットの作成に必要なデータの収集と整備を行った。今年度は、1973年2005年までの上下両院議員の役職やネットワーク等に関するデータ・セットを作成した。このデータ・セットを用いて、議員のネットワークに関する計量分析を行った。その主な知見は、議会指導部や規則委員長といった議会内政党の主要な役職に就いている議員は、分極化が進行するにしたがって、役職に由来する権限以上の、個人的な影響力をもつようになっている、というものである。(3)実証面として他には、作成済みの2つのデータ・セットのクリーニングを行った。(1)理論面は予定より早く進行している。当初計画していた内容の文献研究は予定どおり進んでいる一方で、当初の計画にはなかった、社会学全般の研究動向のリヴューや比較議会研究のリヴューを行うことが必要と判断し、これを行った。(2)実証面は、昨年度の遅れをある程度取り戻したものの、やや遅れている。今年度の最大の進捗は、データ・セットの作成を行うアルバイトを雇用し、上下両院議員のデータ・セットを一通り作成したことである。このデータ・セットを用いて、平成30年度初頭に行う学会報告に向けて論文を1本執筆した。他にも理論をまとめたリヴュー論文を執筆しているが、出版のスケジュールの都合上、刊行に至っていない。また、当初計画していた、アメリカの立法過程に関わる専門家への聞き取り調査は当面不要と判断し、これを行う目処を立てていない。本研究は、第1に、アメリカ連邦議会において進行している二大政党の分極化の一側面として増加している、議会指導部の裁量による議題や議事手続の選択と、その結果としての立法過程の帰結、および両者の関係を説明する。第2に、理論的には、議会指導部のパーソナリティ・政策過程と権力過程の偶然の結びつき・議会指導部と大統領や議員のネットワークといった、行動論的な理論枠組を用いる。(1)理論面では、第1に、アメリカ連邦議会内の政党組織の強化の歴史的経緯、およびその間の連邦議会指導部の行動に関して、先行研究のリヴューを行い、その一部を学会報告の形で公表した。第3に、議会制度一般について論じる前段階として、アメリカ連邦議会に関する概説書や、比較議会研究の文献を収集し、リヴューを行った。今年度は、1973年2015年までの上下両院議員の役職やネットワーク等に関するデータ・セットを作成した。
ロボット三原則を実現する安全かつ効率的な農業ロボットシステムの開発

現在,農業ロボット開発においては,作業性能や精度は高いレベルに達しているものが多いが,その安全性が普及へのハードルとなっている。ロボットの使命は,人間に代わって目的の作業を達成することであるが,人間に対する安全性はもちろんのこと,ロボット自身も自己防衛しながら,安全かつ効率の良い作業を実施しなければならない。そこで本研究では,アーム型ロボットを対象に,作業対象や人間,障害物などを含む周囲の情報(カラー画像,三次元距離情報など)を把握するための外界センシングシステムの開発とロボット制御を融合し,安全性と作業効率というトレードオフのバランスを考慮したロボットシステムの開発を行う。
非正曲率空間の粗幾何学の新展開

近年,リーマン多様体の範疇を超えた,負曲率および非正曲率を持つ距離空間の幾何学が提唱され,活発に研究されている.尾國新一氏との共同研究で導入した粗凸空間は,距離関数の凸性という意味での非正曲率を持ち,擬等長同型と空間の直積の二つの操作で閉じているという性質を持つ距離空間のクラスである.このクラスはグロモフ双曲空間とCAT(0)空間を含む.この距離空間の幾何学的な性質と,その境界の位相的な性質を解明することがこの研究の目的である.近年,リーマン多様体の範疇を超えた,負曲率および非正曲率を持つ距離空間の幾何学が提唱され,活発に研究されている.尾國新一氏との共同研究で導入した粗凸空間は,距離関数の凸性という意味での非正曲率を持ち,擬等長同型と空間の直積の二つの操作で閉じているという性質を持つ距離空間のクラスである.このクラスはグロモフ双曲空間とCAT(0)空間を含む.この距離空間の幾何学的な性質と,その境界の位相的な性質を解明することがこの研究の目的である.
新規なルテニウム-アミン錯体の合成と反応

これまで有機遷移金属錯体の研究は、基礎、応用ともにリン配位子を有する錯体を中心に展開されてきており、窒素配位子を持った錯体に関しては未だ未知の部分が多い。本研究では、新規なルテニウム-アミン錯体を合成し、アミン配位子を有する金属上の反応性を解明する計画を立てた。トリス(ピラゾリル)ボレート(Tp)は窒素三座のアニオン性キレート配位子であり、不安定な錯体種を安定化する機能を有している。そこでTpの特徴を生かしてルテニウムジカチオン錯体やカチオン性ルテニウムアルキル錯体を安定に単離し、それらの基礎的な反応性を明らかにした。1)ジカチオン性を有するトリス(ピラゾリル)ボレートルテニウム錯体の合成と反応性Tpの持つ分子内ツビッターイオン形成能に着目し、TpRuCl(cod)錯体から塩化物イオンを銀塩で除去することで安定なルテニウムジカチオン錯体を発生させることに成功した。この錯体は強いルイス酸的性質を持っていることが期待されており、現在これを触媒として用いた合成反応の開発を行っている。2)トリス(ピラゾリル)ボレートルテニウム-アルキル錯体の合成と反応性Tpを有する有機ルテニウム錯体はほとんど知られていなかった。そこでTpRuCl(cod)とトリアルキルアルミニウムとの反応によって、トリス(ピラゾリル)ボレートルテニウム-アルキル錯体TpRuR(cod)(R=Me,Et)を合成することに成功した。Tpの効果によってルテニウムが強いカチオン性を帯びていることを明らかにした。また、エチル錯体の分解挙動を調べ、β-水素脱離によるヒドリド錯体形成の反応条件を調査した。
中年期就労女性のストレス・ストレス対処行動と更年期の不定愁訴との関連

女性の就業率が増加し、また労働環境も著しく変化している。一方で家庭における女性の役割は変化が少なく、女性の負担は増大している。今後、男性とは異なる健康管理対策も必要になることが予想され、働く女性のストレス・ストレス対処行動の特徴と健康への影響、さらに不定愁訴との関係を明らかにすることを目的として研究を開始した。石川県内の大型スーパーマーケットに勤務し、事務、サービス業に従事する24歳から59歳のパートタイム労働者を含む女性従業員を対象に、集団検診の際にアンケートを配布、回収した。アンケートは自己記入式で、年齢、学歴、家族構成、労働時間、睡眠時間、家事および自由時間、雇用形態、疲労感(仕事の肉体的、精神的疲労感)について回答するものである。そのほか不定愁訴については、婦人科外来で使用されている調査表より抜粋した41項目について、その有無を調査した。さらに、SSCQ(Stress&Stress-Coping Questionnaire)により、ストレス、ストレスコービングを調査した。また一般健康診断の際に測定したBMI、血圧、血液検査データについても総合的に評価した。最終的に515名のアンケートを回収した。現段階は、データ解析中である。最終的にSSCQによる心理学的評価、また対象者の成人病検診成績と問診結果の解析、さらに中高年齢層に予想される不定愁訴とライフスタイルや心理学的傾向との関連を解析し、年代や職種によるストレスの状態と成人病、更年期障害などの健康問題を考察していく予定である。中年期就労女性のストレッサーとストレス対処行動の特徴と健康問題、さらに更年期の不定愁訴との関係を明らかにすることが本研究の目的である。ストレッサーとストレス対処要因、ストレス感受性を組み込んだ質問表SSCQ(Stress & Stress-Coping Questionnaire)を用い、さらに更年期障害の問診調査や健康調査により、中年期就労女性の身体面、精神面を総合的に評価し、サポートする1つの手段を提供していくことが最終的な位置づけと考える。今年度の計画は、対象者の獲得であった。就労女性、約1,000人を対象目標数としている。複数の企業にその主旨の意義を了解してもらうことが必要であり、さらにまとまった就労女性数の獲得が必要であるため、予想に反して時間を費やす結果となった。現段階では、目標対象者数の約半数を解析中であり、新たな知見等の成果を発表する段階にはない。平成10年度は申請書の研究計画に沿って、更なるデータ入力、SSCQによる心理学的評価、また対象者の成人病検診成績と問診結果の解析、さらに中高年齢層に予想される不定愁訴とライフスタイルや心理学的傾向との関連を解析し、年代や職種によるストレスの状態と成人病、更年期障害などの健康問題を考察していく予定である。
ポリグルタミン病における凝集体と神経細胞死の関連の解明と凝集体阻害剤の探求

遺伝性脊髄小脳変性症の内、現在8疾患がCAG繰り返し配列によりコードされる増大したポリグルタミン鎖により引き起こされることが明らかとなっている。これらの疾患ではCAGリピート数の増加に伴い発症年齢が若年化する傾向が知られているが、同じCAGリピート数でも疾患間で発症年齢が異なる。この理由については明らかにされていない。昨年度、我々はポリグルタミン鎖周辺のアミノ酸配列が増大ポリグルタミン鎖の凝集体形成能に影響を与える可能性を考え、truncated ataxin2,huntingtin,DRPLAP,ataxin3においてその凝集体形成能の違いと,凝集体形成能に及ぼす周辺アミノ酸配列の影響,及び個々のポリグルタミン病との関連を検討しCAGリピートの長さ依存性に34から36リピート間に閾値を持って凝集体形成能の増加を認めること、56CAGリピートを共通に含むtruncated ataxin2,huntingtin,DRPLAP,ataxin3の発現ではtruncated ataxin2及びhuntingtinがtruncated DRPLAP及びataxin3に比べ高率な凝集体形成能を示し、ヒトでの疾患重症度との傾向と相関することを報告した。今年度は同蛋白の凝集体形成能を変異を導入することにより変化させることができるか否かをtrancatedataxin2の変異導入体を用い検討した。凝集体形成能には周辺アミノ酸配列の疎水性が大きく関与していることが疑われたため,疎水性アミノ酸を親水性アミノ酸に変えた変異体を作成し、その凝集体形成能を検討した。その結果親水性アミノ酸導入変異体では凝集体形成が強く抑制された。この結果は増大ポリグルタミン鎖の凝集体形成能が僅かなアミノ酸変異により変化得る可能性を示している.遺伝性脊髄小脳変性症の内、現在8疾患がCAG繰り返し配列によりコードされる増大したポリグルタミン鎖により引き起こされることが明らかとなっている。今年度、我々はポリグルタミン鎖周辺のアミノ酸配列が増大ポリグルタミン鎖の凝集体形成能に影響を与える可能性を考え、truncated ataxin2,huntingtin,DRPLAP,ataxin3においてその凝集体形成能の違いと,凝集体形成能に及ぼす周辺アミノ酸配列の影響,及び個々のポリグルタミン病との関連を検討した。方法としてSCA2,HD,DRPLA,MJD遺伝子の種々の長さのCAGリピートとその5酎、の24塩基,3酎、の27塩基を含むDNA断片を作成しpEGFPN1に組み入れCOS7細胞に発現させ凝集体形成細胞の割合を算出、ウエスタンブロットにて不溶画分の出現を確認した。Truncated ataxin2,DRPLAPの発現ではともにCAGリピートの長さ依存性に34から36リピート間に閾値を持って凝集体形成能の増加を認めた.ウエスタンブロット法でもtruncated ataxin2,DRPLAPでともに34から40repeat間で不溶分画のバンドの増強を認めた.56CAGリピートを共通に含むtruncated ataxin2,huntingtin,DRPLAP,ataxin3の発現ではtruncated ataxin2及びhuntingtinがtruncated DRPLAP及びataxin3に比べ高率な凝集体形成能を示した.ウエスタンブロット法でもtruncated ataxin2及びhuntingtinがtruncated DRPLAP及びataxin3に比べ不溶分画で強いバンドの出現を認めた遺伝性脊髄小脳変性症の内、現在8疾患がCAG繰り返し配列によりコードされる増大したポリグルタミン鎖により引き起こされることが明らかとなっている。この結果は増大ポリグルタミン鎖の凝集体形成能が僅かなアミノ酸変異により変化得る可能性を示している.
正確な期待値計算および生成コードの記号実行に基づくコンパイラのランダムテスト

本課題では,コンパイラの信頼性確保を目的に, Cコンパイラのランダムテストの新しい手法について研究を行った.ランダムに生成したプログラムの期待値をいかに求めるか,および未定義動作を含むプログラムの生成をいかに避けるかという課題を解決するため,プログラムの生成と並行して期待値を計算する方法,およびプログラムの等価変換によって与えられた期待値を出力するプログラムを生成する方法を開発した.また,コンパイラのコードの正当性だけでなく最適化の性能をテストする手法, C以外にLLVMとJavaの処理系をテストする手法,およびCコンパイラの算術最適化用テストスイートも開発した.今年度は,期待値計算に基づくCコンパイラのランダムテスト,コードの記号実行に基づくテスト,およびテストスイートtestgen2の新規格対応の3点について研究を行った.1.期待値計算に基づくランダムテスト生成に関しては,まず,これまでに開発したランダムテスト手法に対して,一つの式中の演算子の数を5,000程度まで増やすとともに,一つのプログラム中の式数を5,000程度にまで増やせる手法を開発した.これによって不具合検出能力を格段に向上させ,従来手法では一つも不具合を検出できなかったGCCの4.5以上のバージョンに対して多くの不具合を検出することができた.また,最新のバージョンである4.8,4.9に対しても不具合を検出することに成功し,今年度には7件の不具合をGCCプロジェクトに報告した.さらに,これまで従来のランダムテストでは難しかった浮動小数点演算を扱う手法を開発し,これによってGCCの浮動小数点演算に関する不具合を検出することもできた.これと並行して,C言語の関数呼び出しをターゲットとするランダムテストシステムの開発も行い,このシステムでもGCCの最新版における不具合を検出することに成功した.さらに,新しいランダムテストの手法として,未定義処理のない状態を維持しながら構文規則を適用してプログラムを生成する方式の開発を進め,その試作版を実装した.2.コードの記号実行に基づくテストに関しては,MIPS用コンパイラを対象に,変数だけでなく定数を混在させる,および複数の式が扱えるようにするという拡張を行った.また,式中の演算子数を制御できるようにする実装も行った.しかし,現時点では,この手法によって新たな不具合を検出するには至っていない.3.テストスイートtestgen2の新規格対応に関しては,C89の新たな型に対応したテストを追加し,テストスイートを完成させた.本年度は,期待値計算に基づくCコンパイラのランダムテスト,およびCコンパイラのテストスイートの開発に関する研究を行った.1.期待値計算に基づくランダムテストに関しては次の成果を挙げた.(1)これまでに開発してきたランダムテストシステムOrange3をGitHubに公開し,内外のコンパイラ開発者が無償で利用できるようにした.(2)生成できるテストの範囲を拡張し,if文やfor文のコンパイルの処理をテスト可能とした.これにより,LLVMの最新版で不具合を検出することができた.(3) Cコンパイラのコンパイル結果が正しいかどうかだけでなく,意図通りの最適化が行われているかどうかをテストする手法を開発した.これにより,GCCおよびLLVMの最新版で最適化機会の逸失を検出することができた.(4)新しいプログラム生成手法として,未定義動作を含まない状態を維持しながら式の規模を大きくしていく手法を開発した.なお,(2)(3)により検出した不具合および最適化機会逸失は開発者に報告している.2.Cコンパイラのテストスイートに関しては,Cコンパイラの算術最適化のテストを効率的に行うためのテストスイートCF3を開発した.CF3は演算数3の可能式のパターン10,985通りに対して100パターンの変数の型と値の組み合わせをテストするものであり,中程度の完成度のコンパイラに対してはOrange3よりも効率的に不具合の検出することができる.本テストスイートは研究室のWWWで一般に公開している.本年度は, Cコンパイラのランダムテストとテストスイート開発に関して,次の研究成果を挙げた.1.テストプログラムの等価変換に基づいてCプログラムのランダムテストを行う手法を新たに開発し,この手法に基づくテストシステムOrange4のプロトタイプを開発した. 2. Cコンパイラの最適化機会逸失のテストを行うための手法として,昨年度とは異なる手法を開発した.3.コンパイラ基盤LLVMのバックエンドを直接テストするために, CプログラムではなくLLVMアセンブリを直接生成するシステムを開発した, 4. Cコンパイラの算術式の最適化を対象とするテストスイートCF3の検出能力を向上させ, GitHubに一般公開した.コンパイラのランダムテストの新しい技術として,テストプログラムの等価変換に基づく手法,および,差分テストに基づく最適化機会検出の手法を考案し,システムの実装を通じてその有効性を実証できた.また,テスト生成におけるパラメータ,特に定数値の分布と不具合検出能力の関係を実験で調査することにより,ランダムテストおよびテストスイートの検出能力を向上させることもできた.さらに,コンパイラ基盤LLVMのバックエンドを直接するための枠組みを開発することもできた.本年度は, Cコンパイラのランダムテストとテストスイート開発に関して,次の研究成果を挙げた.1.テストプログラムの等価変換に基づいてCコンパイラのランダムテストを行う手法の強化を行った.具体的には,代入文の右辺の式中で,同一変数を複数回参照することや,代入が行われた変数を参照することを可能にした.併せて,処理アルゴリズムの見直しを行いプログラム生成の高速化を図った.これによってエラー検出能力を向上させることができた.2. Cコンパイラの最適化機会逸失のテストを行う一手法として,異なるコンパイラが生成するアセンブリコードの比較による方法を提案していたが,その比較法の改良を行った.

具体的には,アセンブリコードの不一致部分だけを抽出して比較するとともに,各命令に実行時間に応じた重みを付けた比較を行う.これによって,課題になっていた誤判定や見逃しを大幅に削減することができた.3.コンパイラのランダムテストシステムOrange3をJavaの処理系のテストに拡張した.これによってJavaのコンパイラのみならず, JavaやAndroidの仮想機械のテストも行えるようになった.本手法によりAndroidのdxコンパイラの不具合を検出した.本課題では,コンパイラの信頼性確保を目的に, Cコンパイラのランダムテストの新しい手法について研究を行った.ランダムに生成したプログラムの期待値をいかに求めるか,および未定義動作を含むプログラムの生成をいかに避けるかという課題を解決するため,プログラムの生成と並行して期待値を計算する方法,およびプログラムの等価変換によって与えられた期待値を出力するプログラムを生成する方法を開発した.また,コンパイラのコードの正当性だけでなく最適化の性能をテストする手法, C以外にLLVMとJavaの処理系をテストする手法,およびCコンパイラの算術最適化用テストスイートも開発した.コンパイラのランダムテストに関しては,生成できるテストの範囲を計画度通りに拡張しており,さらにこれを進める目処もつけることができている.しかし,記号実行に基づくテスト手法は,結果が得られないことが判明してきた.一方で,開発したシステムをGitHubに公開するという著しい成果を挙げるとともに,最適化の機会逸失を検出する方法など,当初の想定以上の成果を挙げることができている.コンパイラのテストスイートに関しては,testgen2の拡張はできていないが,算術最適化を対象にtestgen2よりも強力なテストスイートCF3を開発し,また,これを公開することができた.差分テストに基づく最適化機会検出テストにおいて,検出のためのアセンブリプログラム比較手法に課題が残っているので,これを完成させる.また,Orange3とOrange4において, LLVMアセンブリだけでなくJavaのプログラムを生成してJavaコンパイラのテストを行うシステムの開発を行う計画である.本研究で開発したテストシステムにより,以下の不具合を検出し,開発者に報告した.情報処理(今後の推進方策)ランダムテストおよびテストスイートの不具合検出能力を高めるために,現在種々のパラメータが不具合検出に及ぼす影響を分析している.また,これまでの方法では限界があった拡張を実現するために,新しい要素技術を開発しているところである.