hpprc/llmjp-kaken huggingface dataset:
高温高圧純水中におけるAl-Li-X系合金の腐食機構に関する研究

さらに腐食過程におけるpHの経時変化を調べた結果,溶液のpHは浸漬初期に上昇し,浸漬後期ではpHの上昇が緩慢となる.以上の結果から,高Li系合金の腐食には合金表面層の脱Liが大きく関与し,低Li系では緻密な表面皮膜を形成することにより良好な耐食性を示すことがわかった.高比強度、高比弾性率をもつAl-Li系合金は誘導放射能の減衰が大きい特性があり、この特性を核融合炉材料へ適用しようとする考えがある。この場合、高温高圧純水との共存性から、耐食性に関する知見が必要となり、本研究はAl-Li-X系合金(X:MgおよびSi)の腐食挙動を検討することを目的とした。1.試料:Al-Li,Al-Li-Mg,Al-Li-Si合金を高周波溶解炉にて試料を作成した。電気抵抗測定には液体急冷法により作成した薄膜試料を用いた。2.アノード分極曲線:0.5M-NaCl溶液中におけるアノード分極曲線を測定し、-1.2Vにおけるアノード限界電流i(-1.2V)を用い、各合金の耐食性評価をおこなった。Al-Li合金のi(-1.2V)は510.Li>純Al>12Liの関係となり、12Li添加は純Alの耐食性より優れている。Al-Li-Mg合金のi(-1.2V)はMgの添加によって減少し、耐食性におよぼすMg効果が認められた。Al-Li-Si合金の場合、Siはアノード分極を大きくする作用があり、12Liの効果は観察されなかった。3.浸漬腐食試験:沸騰および高温高圧水(150°C)中における浸漬腐食試験において、腐食減量はAl-12Li-4Mg合金が最小値を示し、これらはi(-1.2V)と良い相関性が認められた。高温高圧純水中における腐食挙動は室温0.5M-NaOH溶液の場合に類似することを見出し、この系における電気抵抗変化から腐食過程の考察をおこなった。4.結論:Al-Li合金はLiの脱成分腐食を示し、表面に脱Li層が形成される。脱Li層はLi量に依存して厚くなり、低Li合金に生ずる薄い脱Li層には緻密な表面皮膜を形成し、耐食性を向上させる。Mgは脱Li層を薄くする作用がある一方、Siは初晶Siの形成により金属組織を不均一化し、耐食性寄与に問題がある。その結果Al-12Li-4Mg合金は緻密な表面皮膜の形成により、良好な耐食性を示すものと考えられる。
がん患者の配偶者が受けるソーシャルサポート―尺度開発と精神的健康との関係―

本研究では,インタビュー調査によってがん患者の配偶者に対するソーシャルサポートの体験として7つのカテゴリを明らかにした.その後,質的研究をもとに,27項目7因子からなる「患者の家族用ソーシャルサポート尺度」および26項目6因子からなる「患者の家族用対人ストレス尺度」の開発を行い,それらの下位尺度と患者の家族の精神的健康との関連を検討した.本研究の目的は、がん患者の配偶者が受けるソーシャルサポートと精神的健康の関連を明らかにし、概念モデルを構築することである。今年度は、研究計画に沿って以下の内容を実施した。1.がん患者の配偶者に対するソーシャルサポートの実態を明らかにする:がん患者の配偶者13名(男性2名、女性11名)に対して昨年度実施した面接調査を質的に分析し、彼らのソーシャルサポートの体験を明らかにした。その結果、がん患者のソーシャルサポートの体験は、〔サポートの必要性の自覚〕〔サポートを受けることへの躊躇〕〔サポートを期待する相手の吟味〕〔サポートの取捨選択〕〔受けたサポートの有益性の認識〕〔受けたサポートによる感情の生起〕〔関係の持ち方によるサポートの調整〕の7カテゴリーに集約された。これらの体験において、配偶者はサポートを受けることを躊躇し、サポートを受けないことや、有益でないサポートを受けていることが明らかとなった。2.患者の家族用ソーシャルサポート尺度および患者の家族用対人ストレス尺度原案の作成:昨年度実施した、面接調査およびがん患者の配偶者または疾患を持つ患者の家族の手記を参考に、各尺度の質問項目を作成した。ソーシャルサポートに加え、上記の研究により明らかとなった有益でないサポートの内容を検討し、ソーシャルサポートの対概念である対人ストレスに着目した尺度を作成することとした。現在「患者の家族用ソーシャルサポート尺度(仮)」および「患者の家族用対人ストレス尺度(仮)」の原案を作成し、予備調査を実施し、調査項目の妥当性の検討を行っているところである。本研究の目的は,がん患者の配偶者が受けるソーシャル・サポートと精神的健康の関連を明らかにし,概念モデルを構築することである.今年度は研究計画に沿って,以下の内容を実施した.1.患者の家族用ソーシャルサポート尺度及び患者の家族用対人ストレス尺度案の作成:昨年度に実施した,「患者の家族用ソーシャルサポート尺度」及び「患者の家族用対人ストレス尺度」の原案の予備調査の分析を行った.61名からの回答があり,ワーディングの検討,項目分析等を実施し,ソーシャルサポート尺度案(59項目),対人ストレス尺度案(59項目)を作成した.2.患者の家族のソーシャルサポートおよび対人ストレスと精神的健康の関連の検討:がん患者および非がん患者で慢性疾患を持つ患者の配偶者または配偶者以外の家族に対して,上記2つの尺度とPOMSの抑うつ,GHQ28を用いた調査を実施した.今後は,調査結果の分析を実施し,ソーシャルサポートおよび対人ストレスと精神的健康の関連を明らかにするとともに,がん患者の配偶者と配偶者以外の家族,非がん患者の家族におけるそれらの違いについても明らかにし,必要な看護について検討を行う予定である.本研究では,インタビュー調査によってがん患者の配偶者に対するソーシャルサポートの体験として7つのカテゴリを明らかにした.その後,質的研究をもとに,27項目7因子からなる「患者の家族用ソーシャルサポート尺度」および26項目6因子からなる「患者の家族用対人ストレス尺度」の開発を行い,それらの下位尺度と患者の家族の精神的健康との関連を検討した.本研究の目的は、がん患者の配偶者が受けるソーシャルサポートと精神的健康の関連を明らかにし、概念モデルを構築することである。今年度は研究計画に沿って、以下の内容を実施した。1.尺度開発およびモデル構築のための実態調査:がん患者の配偶者が受けていると認知しているフォーマルおよびインフォーマルなソーシャルサポートの現状を把握するために、治療中および経過観察中のがん患者の配偶者13名(男性2名、女性11名)に対して面接調査を実施した。面接調査の結果得られたデータを質的に分析し、(1)がん患者の配偶者が受けているソーシャルサポートおよびネガティブサポートの内容、(2)ソーシャルサポートネットワークの大きさ、(3)ソーシャルサポートおよびネガティブサポートが配偶者の精神的健康にもたらす影響、(4)配偶者の精神的健康に影響をもたらすソーシャルサポートおよびネガティブサポート以外の要因を検討し、文献検討より研究者が考案したがん患者の配偶者が受けるソーシャルサポートと精神的な健康の概念枠組みの修正を行っているところである。2.がん患者の配偶者用ソーシャルサポート尺度の開発:上記1.(1)の分析結果およびがん患者の配偶者の手記を参考に、質問項目を検討中である。今後は、尺度を作成し、信頼性および妥当性の検討を行う。本年度は、昨年度に実施した面接調査内容を質的に分析したことで、がん患者の配偶者がソーシャルサポートに関連して、どのような体験をしているのか、その実態を明らかにすることができ、研究課題の1つが達成できた。また、面接内容に加えて配偶者やその他の家族の手記の分析を進め、「患者の家族用ソーシャルサポート尺度(仮)」と「患者の家族用対人ストレス尺度(仮)」の2つの尺度案をすでに作成できた。現在、予備調査の段階まで進めることができており、H25年度中に協力施設への依頼をし、本調査の実施とそのデータ分析に向けて準備することができている。本研究の目的は、がん患者の配偶者が受けるソーシャルサポートと精神的健康の関連を明らかにし、「がん患者の配偶者が受けるソーシャルサポートと精神的健康の概念モデル」を構築することである。本年度は、研究協力施設より協力が得られ、面接調査が順調に進行した。

また、データの入力作業も効率良く勧めることができたため、概ね研究計画通りに進められた。面接によって得られた質的データを分析することで、がん患者の配偶者が受けているソーシャルサポートの内容等の実態を把握することができた。それによって、文献検討より考案した概念枠組みの検討と修正をすることができた。また、がん患者の配偶者が受けているソーシャルサポートの定量化に向けて、尺度を開発するための基礎資料を得ることができた。次年度は、予備調査結果から尺度の修正を行い、H25年度中に本調査を複数施設で実施する予定である。調査後は、尺度の妥当性および信頼性を検討する。また、「患者の家族用ソーシャルサポート尺度(仮)」と「患者の家族用対人ストレス尺度(仮)」の2つの尺度を用いて測定した、ソーシャルサポートおよび対人ストレスと、精神的健康の関連、他の要因との関連を明らかにする。各変数の関連を説明するパス図を描き、「がん患者の配偶者が受けるソーシャルサポートと精神的健康の概念モデル」の最適モデルを検討し、その成果を国内外の学会に発表する。今後も、研究計画に沿って進めていく。具体的には、24年度は現在検討中の「がん患者の配偶者が受けるソーシャルサポート尺度」の妥当性をがん看護の経験豊富な看護師および複数の研究者で検討した後に、予備調査を実施する予定である。予備調査の結果に基づき、尺度を修正し、本調査を行い、尺度の信頼性・妥当性を検討する。次に、がん患者のソーシャルサポート尺度を用いて、精神的健康との関連、他の要因との関連を明らかにする。25年度は、24年度のデータの分析を引き続き行い、各変数の関連を説明するパス図を書き、「がん患者の配偶者が受けるソーシャルサポートと精神的な健康の概念モデル」の最適モデルを検討し、国内外の学会において成果発表を行う。予備調査のデータ収集・分析の効率化を図ったことによって生じた使用残額は、次年度の質問紙の印刷、発送、回収、データ入力および整理等に活用する予定である。具体的には、25年度は研究補助の予算が100千円の予定であったが、200千円を追加し合計300千円を研究補助の謝金とする予定である。分析および研究手法の情報収集のために学会および研修会への参加が必要であるため、次年度国内旅費に100千円を追加し、活用する予定である。また、質問紙の郵送等の費用として50千円を追加予定である。経費の節減の結果生じた使用残金は、研究補助への謝金、国内旅費および消耗品に使用する。具体的には、24年度は質問紙を用いた調査を予備調査を含めて3回予定しているため、研究を推進するために作業の効率化を図る必要があり、質問紙の印刷、発送、回収、データ入力および整理等に研究補助を活用する予定である。24年度は研究補助の予算は100千円の予定であったが、次年度使用額より100千円を追加し、合計200千円を研究補助の謝金とする。
遺跡調査に基づく北京地方における遼金元代仏教の歴史文化的研究

遼金元時代、仏教は盛んに発展し、北京は中国北方の仏教の中心地であるため、現在でも仏教の遺跡が数多くのこっている。本研究は、北京地方における遼金元時代の仏教を対象として、関係する人物・事件・史実などを文献的に考察するとともに、さらに現在の北京地方に遺る同時代の仏教遺跡を調査することによって、遼金元仏教の歴史文化的実体を解明するものである。研究の重点は、1)元代の海雲印簡の遺跡および関連する史実。2)遼金元時代の北京地方における禅宗や浄土信仰の伝播。3)元刊本『臨済録』の内容、および金元時代北京地方の臨済宗。26年度には、金末元初の海雲禅師の遺跡をめぐって、下記の研究成果をあげた。1.「海雲碑」(現在、北京法源寺所蔵)の研究。1碑文の校正。この碑は海雲研究の第一次史料であり、これまでに複数の転写本も存在しているが、精密な校正本が見当たらない。本研究は、「海雲碑」原物の碑文を底本として、既存の転写本をも参照しながら、精密な校正本を作成した。今後、信用度の高い、且つ読みやすい「海雲碑」の利用が可能となる。2碑文の解説。「海雲碑」は重要な史料であるが、これまでに碑文の注釈・解説がなかった。本研究は、関係史料と最新の研究成果を参照しながら、「海雲碑」に見られた人物・場所、歴史事件などを詳細に考察した上で、全文の解説を作成した。この成果によって、海雲の経歴及び関連する人物や歴史事件などが更に明らかになった。2.遺跡調査。海雲関係の遺跡は、北京・河北・山西・遼寧などの各地に散在しており、その一部は、代表者の以前の調査によって、既に明らかにしたが、今回は新しい調査を行い、特に旧北京双塔寺の舎利子、北京昌平桃林寺、河北易県興国寺に注目して、それぞれの事実を解明した。11950年代、双塔寺で発見された舎利子は、現在首都博物館に保存されており、公開されていないが、海雲、或いは海雲弟子智朗のものの可能性が高い。2桃林寺は後の法林寺であり、元代には、海雲塔が建てられたが、その遺跡は現存していない。3興国寺は既に消失したが、そもそもは海雲・智朗と関係深い場所である。3.上金貝古墓の調査。福建省寧徳市の上金貝古墓は、1989年発見以来、墓主の身分をめぐって、様々な意見があるが、特に、墓主の滄海珠禅師は海雲の第三代弟子である、また、明代建文帝であるという説が注目されている。本研究は、現地調査を踏まえ、関係史料を参照しながら、滄海珠禅師は海雲と、また建文帝とは無関係であるという事実を明らかにした。27年度、金元時代北京の仏教をめぐって、下記の研究成果をあげた。1.前年度の研究に引き続いて、海雲印簡及び彼の周辺人物に関する研究を推進した。1最新発見の資料を参考した上、前年度行った「海雲碑」の研究を充実させて、碑文内容のより正確な解説ができた。その成果は、「〈海雲碑〉読解」のタイトルとして学会発表で公布した。2海雲周辺の人物、特に彼の弟子たちについては、北京・河北・山西などで発見された碑文によって、一部は明らかにした。例えば、海雲の師である中観沼公と中和璋公との二人の関係、帰雲志宣・沖虚昉公と海雲との関係、海雲の弟子である庸庵堅公・華厳智明の経歴など、こういった人物の背景を把握したことによって、金末元初北方臨済宗の様子がさらに明らかになった。2.前年度の上金貝古墓調査の成果をまとめて、「滄海珠禅師・海雲印簡・明代建文帝」の論文を発表した。結論は、上金貝古墓は元代末期の滄海弥珠禅師の舎利塔であり、海雲印簡と、また明代の建文帝とは関係ないである。3.金元時代の北京地方における浄土信仰の伝播に関する研究。この研究は、北京の広通寺旧跡・紅螺寺などに現存している碑文を参照した上、清代の際醒禅師に関わる上記寺院の歴史をさかのぼって、元代浄土宗僧の普度と広通寺(当初の法王寺)との関係、金代雲門宗僧の仏覚、また元代雲門宗僧の雲山と紅螺寺との関係、及び際醒の教学や清代紅螺寺における念仏修業や慈善事業などを明らかにした。この研究によって、上記寺院の歴史、関係人物、金元時代大都の大聖安寺と紅螺寺との関係、また当時北京地方における浄土信仰の伝播を判明した。その成果は、「北京地区淨土信仰史跡小考」の論文として学会発表で公布した。4.遺跡調査の成果。北京・山東省の遺跡調査によって、希弁(2本)・従倫(3本、他2本の存在も分かった)・子安(2本)・行満(1本)などの貴重な碑文を収集した。27年度の研究は、当初の研究計画より調整して、金元時代を焦点として研究を進めた。主な理由は、海雲印簡の研究は、予想以上複雑である。また、研究作業は、タイミング、即ち資料の把握状態によって決められた。遼代のことは殆ど取りあげなかったが、その代りに、元代の研究は予定より充実した。

28年度では、下記の成果をあげた。1.新資料の発見ー雪堂本『臨済録』新資料の発見は、本研究の目標の一つである。金元時代の北京は北方臨済宗の中心で、大慶寿寺や竹林寺なども臨済宗の拠点となった。しかし、当時の活躍した臨済宗の人物については、一部の碑文資料の他に、伝灯史の記載が少ないため、よく分からなかった。実は、日本伝本の『臨済録』によれば、元代の雪堂普仁に重版された『臨済録』には、普秀・従倫・郭天錫よる三本の「別序」と王博文よる「臨済祖師道行碑」の碑文があって、特に、そこに臨済宗の伝承系譜を含めているために、金元時代臨済宗の重要な史料となる。しかし、雪堂本『臨済録』は現在まで遺っているか否や確定されず、したがって、「別序」と碑文との出典も明確には確認できなかった。本研究は、最初、日本伝本に保存された雪堂本の内容を参考しながら、金元時代の碑文資料なども利用した上、その臨済宗の伝承系譜に見えた多くの人物の身分、特に雪堂普仁の資料や経歴、および彼の臨済宗を振興させるための業績などを明らかにした。後、さらなに雪堂本を調べ、遂に中国国家図書館で発見した。この発見は、臨済宗と『臨済録』との研究においては大きな意義があり、それによって、雪堂本の現存という事実のみならず、さらに、郭天錫の新しい逸文、日本伝本の真の底本、「別序」と王博文よる碑文との原型などの確認が始めてできたのである。雪堂本『臨済録』は、雪堂普仁よる臨済宗振興事業の成果であるほかに、金元時代北方臨済宗の重要な史料でもあり、その中に、他の文献に見られない臨済宗の史料があって、独有の価値を有している。2.遺跡調査主な調査先:仰山棲隠寺、銀山塔林、聖安寺旧跡、襄陽承恩寺と憲王墓など。調査によって、青州希弁の遺跡、寺院群としての銀山塔林、聖安寺・銀山塔林・紅螺寺と雲門宗、襄陽曹洞宗の歴史などが確認できた。当初計画の以外、襄陽承恩寺地区における承恩寺や襄憲王墓及び清代から近代までの曹洞宗僧の墓などを調査し、襄陽曹洞宗の歴史や明代の帝王と承恩寺との関係を明らかにした。襄陽曹洞宗の歴史は、青州希弁まで遡ることができるため、本課題とも関連するものである。ちょうどいいタイミングによって、予想以上の成果をあげた。平成29年度では、下記の研究実績ができた。1)遼金元時代北京地方の禅宗実態の解明。遼金元時代の北京は仏教の中心地であるため、禅宗の数多くの人物がここに活躍していた。だが、当初の禅僧たちに関する資料は、高僧伝や伝灯録などの文献に全く見えない、或いは簡単すぎる記載しか見えない場合が多く、かえって、各地に散在している仏教遺跡、特に碑文資料には、遼金元時代の北京地方で活躍した禅僧の資料が時々見られ、それは当時の北京地方の禅宗実態を反映する貴重な資料である。今、こういった資料によって、下記の事実を判明した。1遼金元時代、北京地方に進出・活躍した禅僧は人数が多く、禅宗五家の中、臨済宗・曹洞宗・雲門宗・法眼宗の四家までも及んでいる。臨済宗は特に人数が多い。2禅宗各派の間、協力して共同事業を行ったことがあり、例えば万松行秀よる海雲へ、林泉従倫よる雪堂普仁へ、大都三禅会よる少林寺へとの支持は、いずれも協力事業である。3高僧伝や伝灯録に見られない禅宗人物およびその事績・遺跡として、曹洞宗には、青州希弁の遺跡(「白瀑院正公法師塔記」逸文、仰山棲隠寺の「重修青州弁祖塔略」碑首)、万松行秀の遺跡、彼の弟子従檀・従和・徳方、孫弟子本連・月泉同新、林泉従倫の逸文(「重修牛心山慧禪院記」)などが確認された。臨済宗には、元刊本『臨済録』序文を踏まえて、石刻史料に散見された遼金元時代多くの僧侶の臨済宗における所属関係と伝承関係が分かった。その中、天目斉と鄭州宝との両系統は特に注目する値があり、雪堂普仁に関する新発見が特に多い。2)遺跡調査と禅宗各派の拠点の確認。
先進的介護ロボットのためのＲＦＩＤを用いた自律移動ナビゲーションシステムの開発

本年度は,構成の単純化及び周囲のインフラからの独立化を図るという観点から,パッシブRFIDシステムのみによる自律移動ナビゲーションシステムの開発を行うことを目的として研究・開発に取り組んできた.本研究は,これまでに無い全く新しい研究であるため,自律移動型電動車いす等を想定した移動体が予め設定された初期位置から目的地までRFIDタグ内の情報のみで移動できることをコンピュータシミュレーションにおいて明らかにしたことは,大きな成果であり学術的意義がある.また,様々なセンサを用いること無く,RFIDタグ内の情報のみで壁や障害物との衝突を回避できることをコンピュータシミュレーションにおいて明らかにしたことも,大きな成果であり,期待通りの研究結果が得られたと考えている.その結果,研究成果として,ジャーナル1報,国際会議・ワークショップ4件,国内学会・シンポジウム4件,において発表することができた.しかし,これらの多くはコンピュータシミュレーションでの結果であるため,提案している自律移動ナビゲーションシステムの実装は今後の課題として残されている.本年度においては,移動ロボットにパッシブRFIDシステムを組み込み,RFIDタグの情報に基づいて動作する基本的なものを既に制作した.今後は,この移動ロボットを用いて,実際に人をナビゲートできるかどうかを検証する必要がある.私が提案する自律移動ナビゲーションシステムは,看護師・介護士の負担軽減だけではなく,高齢者・身障者の負担も大幅に軽減できるため,今後必須の介護技術の一つであり,極めて重要な研究課題である.そのため,今後も誠心誠意研究を進めて行く所存である.26年度が最終年度であるため、記入しない。26年度が最終年度であるため、記入しない。
口腔癌におけるサイトカインを介した抗癌剤耐性機構解明と新規治療法開発

fibronectinにおける抗癌剤耐性機序にの解明について研究を行ってきたがfibronectinの強発現・抑制実験では、細胞増殖活性に差が出てしまったため、抗癌剤耐性度試験の比較実験・検討を行うことができなかった。また、fibronectinの細胞膜受容体であるインテグリン受容体の発現抑制・強発現実験を試みたが、細胞形態・接着の異常が出現し、細胞増殖活性や同種株における耐性度に大きな変動が生じてしまったため比較検討を行うことができなかった。以上より、fibronectinの直接的関与における抗癌剤性機序について解明することはできなかった。FNと抗癌剤耐性における関係性をさらに明確にするために、さらに多数のOSCC組織検体を用いて検討を行った。正常組織、OSCC(CIS、浸潤癌の原発巣、転移巣)でのFN発現様式をリアルタイムPCR法、ウエスタンブロッティング法、免疫組織化学染色、ELISAにて解析を試みた。さらに、その結果をもとに各種臨床検査・情報との関連性を統計学的に検討を行ってみたが、有意な差は認められていない。現在当科にて放射線耐性口腔癌の研究を進めている。これらの放射線耐性口腔癌細胞株と抗癌剤耐性口腔癌細胞株を比較検討する事で、FN由来新規作用機序の解明、FN分泌様式、さらにはFNによる細胞内新規下流分子の特定が期待できる。そのために、放射線耐性口腔癌細胞株の解明を進めているところである。現在の進行状況としては、放射線耐性細胞株と抗癌剤耐性株をマイクロアレイ解析提出の検討段階であり、過去に当科で行った解析結果をもとに新規標的分子となりうる分子の特定を過去の論文から予想しているとともに、その後の解析についてリアルタイムPCR法、ウエスタンブロッティング法、免疫組織化学染色、ELISAにて解析予定としている。その他、当科で樹立した高転移口腔癌細胞株を使用し、こちらも上記内容と同様過去の論文検索において、FNの関与が示唆されているものが散見される。これらの報告をもとに基礎研究を再度繰り返し、新規標的分子を模索していく予定としている。統計の検討中において発生部位ごとに正常組織と比較した場合FN発現に差があるように思われる。細胞外基質であるFNが腫瘍から分離・分泌されるものと、周囲組織に存在しているものと区別がつかず、同検体においても発現結果にばらつきが認められており、結果が安定していないため、遅れているものと思われる。fibronectinによる抗癌剤耐性機序の解明を目的として下記の研究を行った。1抗癌剤耐性口腔癌細胞株のfiburonectin発現抑制による抗癌剤作用効果について比較検討、2抗癌剤感受性のある細胞株へのfibronectinn強発現による抗癌剤耐性の有無の比較検討、3臨床検体を用いたfibronectin発現の確認を行った。しかしながら、fibronectinは細胞蝕に関わる因子でもあるため、12において細胞職に差が出現し、比較検討を行うことができなかった。また、細胞形態についてもわずかながら変化が認められ検討を行うことができなかった。3に関しては、年齢・性別・部位・転移の有無・原発巣の大きさなどについて比較検討を行ったが、有意な差は認めることができなかった。上記3つにおいて有意な差は認められなかったため、fibronectinの細胞膜受容体であるインテグリン受容体に対して、阻害剤を用いた実験と、発現抑制・強発現の実験を試みた。しかしながら。阻害剤事件について差は認められたものの、有意な差は認められなかった。発現抑制・強発現の実験を試みたが、インテグリンは細胞膜受容体おいて、細胞接着の重要因子でもあり、抑制事件については細胞が浮遊し、細胞増殖が認められず比較検討を行うことができなかった。増殖実験においては細胞形態に変化が認められ、比較検討を行うことができなかった。以上より、fibronectinにおける抗癌剤耐性の解明を試みたが、有意な結果を得ることができなかった。FNで有意な差が見いだせないため、FN-インテグリン下流分子(ILK、Akt、FAK)を対象にリアルタイムPCR法、ウエスタンブロッティング法、免疫組織化学染色、ELISAにて解析する。また、当科で行っている放射線耐性細胞株を使用し、共通して発現上昇・低下している分子を同定し、解析を進める。さらにその結果と各種臨床情報との関連性を統計学的に検討を行う予定である。歯科口腔外科
知的活動支援としてのテキスト自動要約の基礎的研究

本研究では、特に1.文内要約の研究、2.複数文書要約、の2つの課題について、重点的に研究を行なった。その結果、以下の成果を得た。文内要約に関しては、文内の不要箇所削除技法として、文内の要素の削除可能性をコーパスから得られる統計的情報で決定する手法に関して成果を得た。具体的には、動詞連体修飾節の削除可能性に関するコーパスからの知識獲得に関して、削除できる可能性のある動詞を含む連体修飾節が修飾している名詞に対して、修飾されやすさ、修飾多様性をコーパスからエントロピーとして計り、修飾される頻度が低い、修飾する動詞の種類が限定されている動詞連体を削除可能と認定するなどを行なう手法を考案し、その有効性を実験的に検証した。また、多重連体修飾節の削除可能性に関するコーパスからの知識獲得に関して、多重連体修飾句の削除可能性を、連体修飾句と被修飾名詞との相互情報量等を計ることにより求める手法を提案し、その有効性を実験的に検証した。要約研究の中で実用上特に重要な、複数文書要約に関して、様々なヒューリスティックスを組み合わせた複数文書要約システムとして、構文解析に基づき、複文における冗長性の認定による削除、直接引用表現の削除可能性の認定等、きめの細かいヒューリスティックスを用いた文内削除を行なう手法を提案した。国立情報学研究所主催の評価ワークショップNTCIR3に参加し、良好な成績を収めた。複数文書要約においては、対象となる文書集合が複数の話題を含む。しかしながら、ユーザはそれらの話題すべてに興味を持つとはかぎらず、ユーザ毎、また、同じユーザでもそれぞれの場合の目的毎に異なった要約が必要となる。そこで、対象となる文書集合からキーワードを抽出してユーザに提示し、選択させることで、ユーザ適合した要約を生成するインタラクティブな手法を提案した。国立情報学研究所主催の評価ワークショップNTCIR4に参加し、極めて良好な成績を収めた。関連して、略語と原語の対応関係に関する知識のコーパスからの獲得に関する成果等を得た。本年度の主な成果は以下の通りである.(1)KNPによる構文解析結果に基づく名詞の2重修飾の削除の決定法,直接引用表現の処理等を用いた文内要約処理と,従来知られている各文の重要度を決定する要素を複合的に用いた重要文選択からなる新聞記事を対象とした要約システムYELLOWを開発した.YELLOWは,国立情報学研究所主催の評価のためのワークショップNTCIR2で良好な成績を収めた.(2)文内要約の一要素技術として,連用修飾表現の省略可能性に関する知識を獲得する手法を提案した.具体的には,省略できる可能性のある連用修飾表現を含む節に対して,同一の動詞を持ち,かつ,格助詞出現の差異が認められる節をコーパスから検索し,検索された節対から省略可能な連用修飾表現を認定する.また,連用修飾表現の内容,及び,前後の文脈を考慮して,重要な情報が多く含まれている連用修飾表現に対しては省略可能と認定できる可能性を低く,逆に,それより以前の文に存在する情報が含まれている場合には,省略可能と認定できる可能性が高くなるような工夫を施した.実験によりこの手法の有効性を検証した.(3)検索式と関連した語を自動的に提示し,その中から検索者が検索要求と関連した語を選択することによって検索結果を絞り込む検索支援手法を提案する.

本手法では,検索結果の上位に順位付けられた文書集合から,検索式に関連のある語を抽出する.検索者は,提示された語群より検索要求と関連のある語を複数選択し,システムは選択されたいくつかの語を用いて検索式を拡張する.その拡張検索式を用いて検索することで,検索者にとってより良い検索結果を得ることができる.本手法を実装し,評価実験を行なった結果,精度が向上することが分かり,有効性を確認した.本年度は,主としてテキスト自動要約における重要な要素技術のひとつである,文中において削除可能な部分を認定する手法を重点的に研究した.具体的には,それに関して以下の3つの成果を得た.1.文内要約の一要素技術として,連用修飾表現の省略可能性に関する知識を獲得する手法を提案した.具体的には,省略できる可能性のある連用修飾表現を含む節に対して,同一の動詞を持ち,かつ,格助詞出現の差異が認められる節をコーパスから検索し,検索された節対から省略可能な連用修飾表現を認定する.また,連用修飾表現の内容,及び,前後の文脈を考慮して,重要な情報が多く含まれている連用修飾表現に対しては省略可能と認定できる可能性を低く,逆に,認定対象としている連用修飾表現にそれ以前の情報が文に存在する情報が含まれている場合には省略可能と認定できる可能性が高くなるような工夫を施した.計算実験の結果,良好な結果を得た.2.動詞を含む連体修飾節の省略可能性を修飾多様性,修飾されやすさ,修飾動詞自身の重要度等をコーパスを用いて推定する手法を考案し,その有効性を計算機実験で検証した.3.音声要約において,ピッチ,ポーズ等,韻律的特徴のみを用いて文中の削除可能な部分を認定する手法を提案した.それを実現するため,削除の単位となる部分の境界を,やはり,ピッチ,ポーズ等,韻律的特徴のみを用いて認定する手法も考案した.更に,テキスト自動要約における文短縮のための重要な技術である換言において,名詞とそれに対応した同一の意味を持つ略語をコーパスから自動的に獲得する手法を提案した.本手法は,名詞の表層的な情報と名詞の共起情報を用いて略語を認定する.本年度は、最終年度として、主として以下の成果を得た。I.要約の要素技術の一つとして重要な、文内の不要箇所削除技法として、文内の要素の削除可能性をコーパスから得られる統計的情報で決定する手法に関して成果を得た。1.動詞連体修飾節の削除可能性に関するコーパスからの知識獲得削除できる可能性のある動詞を含む連体修飾節が修飾している名詞に対して修飾されやすさ、修飾多様性をコーパスからエントロピーとして計り、修飾される頻度が低い、修飾する動詞の種類が限定されている動詞連体を削除可能と認定するなどを行なう手法を考案し、その有効性を実験的に検証した。2.多重連体修飾節の削除可能性に関するコーパスからの知識獲得多重連体修飾句の削除可能性を、連体修飾句と被修飾名詞との相互情報量等を計ることにより求める手法を提案し、その有効性を実験的に検証した。II.要約研究の中で実用上特に重要な、複数文書要約に関して成果を得た。1.様々なヒューリスティックスを組み合わせた複数文書要約システム構文解析に基づき、複文における冗長性の認定による削除、直接引用表現の削除可能性の認定等、きめの細かいヒューリスティックスを用いた文内削除を行なう手法を提案した。2.ユーザとのインタラクションを導入した複数文書要約システム複数文書要約においては、対象となる文書集合が複数の話題を含むことである。
膵ランゲルハンス島前駆細胞の単離とそれを用いた再生療法の試み

われわれは、膵島前駆細胞分化に必須である転写因子Ngn3がどのような細胞シグナルを経て活性化されるのかということ、さらに、Ngn3がどのような分子メカニズムで膵β細胞分化過程を促進するのかに関して解析を行っている。膵臓前駆細胞である膵芽細胞へのNgn3の発現が膵内分泌細胞への分化に必須であるが、これはNgn3の発現がその下流に存在する多数の転写因子cascadeを活性化することによる。我々は、膵β細胞分化に関与する転写因子Nkx2.2及びPax4 promoterの発現制御のメカニズムを解明してきた。その結果Nkx2.2の膵内分泌細胞特異的遺伝子発現にはNgn3結合領域とFoxa2の結合領域が必須であり、Ngn3とFoxa2とのDirect Protein-Protein interactionを介した強調的転写活性化がNkx2.2遺伝子発現に必須であることを明らかにした。また、Pax4の膵β細胞特異的遺伝子活性化には、Ngn3結合領域とHNF1αの結合領域が必須であり、Ngn3とHNF1αとのDirect Protein-Protein interactionを介した強調的転写活性化がPax4遺伝子発現に必須であることを明らかにした。一方Ngn3は膵島前駆細胞に発現した後、膵島分化とともにその発現が低下する。我々は、Ngn3はNgn3自身のpromoter領域には転写抑制性にはたらくことも見出している。すなわち、Autorepression機構が存在する。今回我々は、Nkx2.2-1bプロモーターがいかにして、その膵島前駆細胞特異的プロモーター活性を有するのか、また、Ngn3との、膵β細胞分化過程におけるhierarchyにおける関係を明らかにする目的でNkx2.2-1bの膵島前駆細胞特異的遺伝子発現機構の解明を行った。様々な長さを有するプラスミドをNkx2.2-1bの発現が認められるZ13細胞、及びその発現のないNIH3T3細胞、膵β細胞由来の細胞株βTC3細胞に遺伝子導入し、ルシフェラーゼ活性を用いて転写活性を測定した。いずれの長さのNkx2.21bレポーター遺伝子もNIH3T3細胞、βTC3細胞と比較してZ13細胞では転写活性が有意に上昇していた。また、-89bpから-58bpのdeletionに伴い転写活性が強く減弱した。従って、-89bpから-58bpの領域にNkx2.2発現に関与する重要な配列が存在することが示唆された。そこで、-89bp-54bp領域(B1領域)を4つ結合したDNA fragmentをプロラクチンミニマルプロモーターの上流に組み込んだルシフェラーゼ発現プラスミドを作成し、Z13細胞に遺伝子導入した後ルシフェラーゼ活性を測定した。上記fragmentの挿入に伴いプロラクチンミニマルプロモーターの転写活性が18倍上昇した。しかし、βTC3細胞では転写活性は上昇せず、上記fragmentの活性化には細胞特異性が存在した。1型糖尿病の原因遺伝子の1つとしてIDDM2遺伝子がある。IDDM2遺伝子はインスリン遺伝子の上流に位置するGC richの繰り返し配列であることが同定されており、膵β細胞においてはその領域に転写因子Pur1が結合することが知られている。B1領域もIDDM2と同様にGC richな構造を持つことから、B1領域のプローブに対してPur1 motifをcompetitorと用いEMSAを施行したところ、プローブの核蛋白への結合が阻害された。前記のB1領域をプロラクチンミニマルプロモーターに組み込んだプラスミドとPur1強制発現プラスミドをZ13細胞にトランスファクションしたところ、転写活性が更に2倍亢進した。
海上交通管理の持続可能性に配慮したVTSオペレータのための意思決定支援システム

持続可能な海上交通管理手法の確立を目指し,管制対象船舶に対して安全性を担保した操船指示が発令できるように,VTSオペレータのための意思決定支援システムを設計し,その導入策をに提案することを目的とする。そのため,情報提供を行う際にどの情報を重要視し,どのような判断を下しているのかを視線情報を基に分析し,その判断過程の機序解明を行い,開発する支援システムを既設の操船シミュレータにリンクさせ,その妥当性について検証実験を行う。
TGF-βスーパーファミリーの象牙質発生過程における発現

TGF-βスーパーファミリーに属する未知の遺伝子をクローニングするべく、BMP-2&4,GDF-1の活性部位(ホモログ部)のDNA塩基配列により、DNAシンセサイザーを用いて3'末端プライマーおよび5'末端プライマー各々2種を作製した。34週令ラット上下顎切歯から初期石灰化期に到るまでの根尖部歯髄を摘出し、AGPC法にてtotal RNAを分離した。ポリA^+RNAをオリゴdTセルロースにて精製し、StratageneのUni-Zap XRキットを用いてλZAPIIベクターに組み込んだcDNAライブラリーを作製した。このライブラリーをテンプレートとして前記各々2種のプライマーを用いて94°C15秒、44°C30秒、72°C1分30サイクルのPCRを行い、さらにそのPCR産物を用いて94°C15秒、54°C30秒、72°C1分30サイクルのPCRを行った。アガロースゲルからMagic PCR PrepにてcDNAを精製し、InvitorogenのTAクローニングシステムを用いて遺伝子をクローニングした。シーケンサーにて遺伝子塩基配列を決定した。得られた塩基配列をDNASIS-Macを用いて検索したところ、2つは既知のBMP-2およびBMP-4の塩基配列と完全に一致した。もうひとつはGDF1およびGDF7と54%のホモロジーが認められたが、TGF-βスーパーファミリーに特異的な活性部位の7つのシステインのうち4つがグルタミン酸に置換されており、ファミリーの一種とは考えにくいと思われた。現在、ホモログ部を除く部分のBMP-4のcDNAよりRNAプローブを作製し、ラット臼歯部生活歯髄切断後の歯髄創傷治癒過程におけるBMP-4のmRNAの発現をin situ hybridization法により検討中である。
環境・職業癌に関する疫学的ならびに分子遺伝学的研究

環境変異原物質や毒性物質に暴露される危険の多い工場地帯は職業性疾患、特に肺癌に対する罹患リスクの高いことが知られている。一方同一環境下で化学発癌物質に暴露されても発症する固体と発症しない固体が存在する。この遺伝子要因が基盤となる疾患感受性の違いに関して、発癌物質の代謝・解毒に関するGlutathione S-Transferase (GSTM1)およびCytochromeP450familyのひとつCYP1A1の遺伝的多型を対象としてDNA解析を行った。フィールドしては環境変異原に暴露される危険の多い中華人民共和国沈陽地方(アルミ、銅、錫、石油などの工場の多い地域)を選び、医療機関に入院中の肺癌患者(172名、男性)および同地域の一般健常人集団(104名)に関して、GSTM1(A,B,AB,O型)とCYP1A1(GG,GA,AA型)のcase control studyを行った。1)GSTM1には遺伝子全体にわたる欠失のほかExon7領域におけるアミノ酸置換を伴うコドンの変化、すなわちAAG(Lys)型とAAC(Asn)型の2種類が存在する。本研究ではこの領域の変異も含め、疾患群と健常者群を比較した。肺癌全体と健常者群を比較した場合、GSTM1 gene deletionは有意に高い頻度で疾患群に検出された。また腺癌と小細胞癌においては健常人との間に明らかな分布の違いが見出され、特に小細胞癌での有意差が大きかった(P<0.01),(P<0.05)。2)喫煙者のうちGSTM1欠失は肺癌に対するリスクが大きいとされているので、この点に関して調べた結果、扁平上皮癌(P<0.05)および小細胞癌(P<0.01)で有意差が見られた。3)年齢による発症の違いを見るため、50歳未満と50歳以上についてGSTM1欠失の頻度を調べた結果、50歳未満は85.3%、50歳以上は61.8%となり有意差(P<0.05)があった。4)CPY1A1の遺伝的多型のうち2型が肺癌に多いとの報告があったが、今回の研究では小細胞癌、腺癌、扁平上皮癌とも各遺伝子型の分布に関して健常人コントロールとの間に有意差は見出されなかった。環境変異原物質や毒性物質に暴露される危険の多い工場地帯は職業性癌特に肺癌に対する羅患リスクが高いことが知られている。一方、同一環境下で化学発癌物質に暴露されていても発症する個体としない個体が存在する。この遺伝的素因が基盤となる疾患感受性の違いを発癌物質の代謝・解毒に関与するチトクロームP450familyのひとつCYP1A1の遺伝的多型およびGlutathione S-Transferase(GSTM1)のgene deletionにつきDNA解析を行った。

フィールドとしては環境変異原に暴露される危険の多い工場地帯すなわち中華人民共和国東北地方(アルミ、銅、錫、石油の精錬場やガスピッツ製造場の多い地域)の医療機関に入院中の肺癌患者(135名、男性)および同地域の一般健常人集団(161名、男性)に関し、CYP1A1の多型(1、2-1、2型)およびGSTM1(A、AB、B、O型)のcase control studyを行った。この結果、次のことが明らかとなった。1)CYP1A1の遺伝的多型のうち、過去のデータとして2型が肺癌に多いとの報告があったが、今回の研究では小細胞癌、腺癌、扁平上皮癌とも各遺伝子型の分布については健常人コントロールとの間に有意な差は見い出されなかった。2)GSTM1は遺伝子全域にわたる欠失のほか、Exon7領域におけるアミノ酸置換を伴うコドンの変化すなわちAAG(Lys)型とAAC(Asn)型の2種が存在する。本研究ではこの領域の変異も含め、疾患群と健常群とを比較した。肺癌全体と比較した場合、GSTM1 gene deletionは有意に高い頻度で疾患群に検出された。特に、腺癌、小細胞癌では健常人との間に明らかな分布の違いが見い出された(P<0.001)ので、遺伝的riskfactorとしてのGSTM1 gene deletionの意義が高まった。さらに、Exon7部位の多型については有意差は見い出されなかった。環境変異原物質や毒性物質に暴露される危険の多い環境下の労働者は職業性疾患に対する罹患危険率の高いことが知られている。一方同一環境下においても発症に関して個人差が存在し、そこに何らかの遺伝的素因の関与が推測される。この疾患感受性に影響を与える遺伝因子を解明するため肺癌を対象としたcase control研究を行った。対象集団はアルミ、銅、錫、石油などの工場の多い地域(中華人民共和国,沈陽地方)の肺癌患者および一般健常者である。遺伝的マーカーは化学発癌物質の解毒、代謝に関与するGlutathione S-Transferase(GSTMI)およびCytochrome P450 1A1(CYP1A1)を用いた。今年度は更に症例数を増やして検討を行った結果、次の成果が得られた。1)GSTM1には遺伝子全体にわたる欠失が多型として検出される。本研究ではこの欠失の出現頻度を肺癌(扁平上皮癌、腺癌、小細胞癌)患者群と健常群につき比較した。欠失型の頻度は健常人が58.4%であるのに対し、扁平上皮癌:69.4%,腺癌:78.9%,小細胞癌:80.0%となり特に腺癌、小細胞癌において高い有意差(P<0.01)が観察された。また肺癌全体の頻度も健常者との間に同様の有意差が検出された。GSTM1 gene deletionは肺癌における遺伝的riskfactorであることが判明した。2)CYP1A1には遺伝的多型(1,2-1,2型)が存在し、このうち2型遺伝子をもつものは酵素誘導が1型に比べ2.5倍以上高いことが知られている。従って、CYP1A1の生体内での機能を究極の発癌物質生成としてとらえると2型の方のリスクが高い。本研究においては、肺癌患者のうち小細胞癌では、逆にpoor inducerである1型が健常人(48.8%)より有意に高い頻度(74.0%)で検出された。今後発癌におけるCYP1A1の機能の面からの検討が必要である。
非正則なデータ構造上の非数値計算問題に対するスケルトン並列プログラミングの応用

道路ネットワークやソーシャルネットワークのようなデータから、特定の条件を満たす(最適な)部分を取り出すといった計算を高速に行うプログラムの構築を容易にするための、プログラミング手法の開発を行った。具体的には、既存の「生成・検査・集約プログラミング」のより一般的な構造への拡張、プログラムの変換の正しさを保証するための定理証明支援系による機械証明の枠組みの構築、条件付きの最短経路を例にした柔軟性と高速性に関する異なる既存手法の組合せ、を行った。昨年度の研究に引き続き,生成検査集約プログラミングをグラフへと応用・拡張するための基礎的な技術の研究に関して,以下のような成果を得た.まず,MapReduce上に生成検査集約プログラミングを実現するためのライブラリを実装・提供し,最尤隠状態系列計算などの新たな列に関する応用問題に対して簡単に効率の良いMapReduce型並列プログラムが得られる環境が実現できることが示された.次に,グラフとその木分解の対応に基づいたグラフ上の生成検査集約プログラミングの実現に必要なMapReduce上での木蓄積計算の実現に向け,その基礎技術となる列蓄積計算のMapReduce上での実現がなされた.これには列上の縮約計算の手法を列上の蓄積計算へと拡張するという方針が取られたが,同様の手法を昨年度の成果である木上の縮約計算に適用することで,木上の蓄積計算のMapReduce実現が期待できる.最後に,本研究の生成検査集約プログラミングにおける最適化機構の基本となった,我々の開発するスケルトンライブラリSkeToのもつスケルトン融合最適化機構の新たな実装法が示された.これは,既存の枠組みに長さの変わる列の扱いを追加しても最適化機構を実現できることを示している.同様の仕組みを応用することで,生成検査集約プログラミングに基本データ構造の変換を追加した枠組みに最適化機構を実現できると期待される.道路ネットワークやソーシャルネットワークのようなデータから、特定の条件を満たす(最適な)部分を取り出すといった計算を高速に行うプログラムの構築を容易にするための、プログラミング手法の開発を行った。まず,非正則なデータ構造であるグラフへの拡張を念頭に,非数値計算問題に対する並列プログラムの容易な記述と効率的計算とを提供できると期待される生成検査集約プログラミング手法の木構造への拡張を行った.生成検査集約プログラミングでは,プログラマは並列プログラムを(1)考慮すべき部分構造を全生成する,(2)制約を満たさないものを破棄する,(3)制約を満たすものから最終結果を得る,という形の愚直なプログラムとして設計し,言語システムがその愚直で非効率なプログラムを自動的に効率の良いプログラムに変換し実行する.以前の生成検査集約プログラミングは部分構造として列のみを扱っていたが,今回の拡張により木構造の部分構造まで統一的に扱えるようになった.次に,木構造を対象とした並列計算の基本的な計算パタン(並列スケルトン)である木準同型を,大規模非数値計算を行う枠組みとして広く世界で利用されているMapReduceの上に実現する方法を研究し,プロトタイプを実現した.これにより,木構造を対象とした生成検査集約プログラミングのMapReduce上での実現の可能性が示された.また,MapReduce上に生成検査集約プログラミングを提供するためのライブラリの実装を行った.このライブラリにより,生成検査集約プログラミングの実現可能性と有用性とが複数の問題例を通して示された.同時に,最新のプログラミング言語の機能を駆使することで,生成検査集約プログラミング手法の強力な最適化機構もライブラリ内に自然に実現可能であることが示された.本年度は、グラフに代表される非正則なデータ構造上の容易な並列プログラミングのための、愚直な計算仕様記述からの効率的プログラム生成手法の構築のため、以下の2点についての成果を得た:(1)列上の計算問題に関する計算仕様からの効率的プログラムの自動導出を行う自動最適化ライブラリの機械証明付きの定式化とプロトタイプ実装、(2)既存の効率化手法とプログラム変換による効率的プログラム導出との同時適用による大規模な非正則データ構造のための条件付き最適解探索アルゴリズムの構築及び実装。(1)については、グラフ上の計算では計算仕様と効率的な実装との間のギャップが大きく、その等価性の証明を手で行うこと及びその導出の実装を正しく行うことが困難であるという問題の解決のため、Coqによる機械証明をその両者(等価性及び実装の正しさ)に適用するための土台の定式化を試みたものである。この定式化には、スケルトンによるプログラムの構造化が重要な役割を果たしている。この成果により、非正則なデータ構造上の容易な並列プログラミング環境を正しく提供するための基盤が示された。(2)については、様々な最適化問題が帰着されうるグラフ上の最短路問題に対し、既存のグラフ前処理による高速化手法とプログラム変換による愚直な記述からの効率的なプログラム導出手法とを組み合わせた、大規模な非正則データ構造のための容易な条件付き最適解探索アルゴリズムの構築と実装を行った。本成果では、これらふたつの手法を完全に組み合わせることは出来ないことを指摘し、前処理による高速化手法を前提にしつつプログラム変換側の適用範囲を狭めることで、両者を同時に利用できる枠組みを示した。この枠組は、大規模な非正則データ構造上の最適化問題に対して愚直な記述から効率的な並列プログラムを与えるプログラミング環境の基盤のひとつとなる。

計算機科学実現の観点では,グラフとその木分解の対応に基づいたグラフ上の生成検査集約プログラミング実現に必要な基礎技術の実現に関するいくつかの成果を得た.また,新たな応用問題に対して実現された実装の効果を確認することもできた.定式化の観点では,既存のスケルトンライブラリの最適化機構に対して行われた拡張の応用により,生成検査集約プログラミングの最適化機構の拡張が期待できる.これらにより,研究が概ね順調に進展していると判断する.定式化の観点では,生成検査集約プログラミング手法の木構造への拡張により,グラフの木分解手法と組み合わせることで,非正則なデータ構造を扱う記述性の高い(すなわち様々な問題に再利用できる)スケルトンとして並列木順同型に基づく部分木構造生成子や集約子が利用できることが示された.また,実現の観点からは,生成検査集約プログラミング手法ライブラリのプロトタイプ実装により,生成検査集約プログラミング手法がMapReduce (Hadoop)上に実現可能であることが示された.特に,その強力な最適化機構も最新のプログラミング言語の昨日を駆使することで自然に実現可能であることが示された.これらにより,研究が概ね順調に進展していると判断する.定式化の観点では,木分解に基づく生成検査集約プログラミングを実際のグラフ問題に応用する.また,生成子・検査子・集約子のみを利用する現状の生成検査集約プログラミングの理論に対し,そららの間にデータ構造の変換を行う変換子を導入し定式化することを試みる.さらに,これらの定式化の正しさを機械的に保証するための枠組みに関する研究も進める.実現の観点では,引き続き生成検査集約プログラミングを提供するライブラリの改良に務める.また,以上に関する研究成果を学会等で発表する.理論の観点からは,木準同型よりも複雑な再利用可能なグラフアルゴリズムを並列スケルトンとして定式化することを目標とする.このために,既存のグラフアルゴリズムの整理と共に,それらの再利用(問題の帰着)について整理する.その結果を踏まえ,基礎となるアルゴリズムを分解し生成検査集約プログラミングのための生成子と集約子の抽出を試みる.実現の観点からは,プロトタイプの最適化機構を他のライブラリに応用できる技術として整理すると共に,生成検査集約プログラミング手法ライブラリの開発・改良を進める.また,理論・実装ともにその成果を適宜学会等で発表する.次年度使用額の生じた理由は,大きく以下の2点である.まず,計画していた海外出張を別予算の出張に重ねることで,海外出張旅費の消費が抑えられた.次に,計画していた計算機の購入を見送った.