hpprc/llmjp-kaken huggingface dataset:
日本産ガロアムシ目の分類学的研究：分類資料コレクションの構築と公開

産地より成虫を得ることに成功したため、その比較を通じた西日本産の2種の評価を行った。得られた成虫試料はいずれも雌成虫であったため、先行研究にはない新たな比較形質の探索を行い、産卵管基部や頸節片などを比較した。その結果、形態において北海道、本州中部、西日本地域の大きな3つの隔たりが認められ、前年度に明らかにした分子系統解析の結果を支持した。また、四国産と九州産の2種間の違いも検出し、こちらは今後分子系統解析と合わせた検討を要する。これらの結果を学会(9月)において発表した。4.ガロアムシ目の採集及び生息環境調査採集調査については、北海道・西日本の2回を計画通り実施し、ガロアムシ目の採集及び土壌動物相を中心とした生息環境調査を行った。日本産ガロアムシ類の北方起源に関わる北海道産ガロアムシ類の調査では、道央部での生息を確認できたものの、本州東北地方への移動分散経路として想定される渡島半島については、今回も採集できなかった。また、西日本ではこれまで部分的に調査を行っていた中国地方において、山口県を除く各県で採集に成功、形態・分子の両データを得た。昨年度までに収集したガロアムシ類四国・九州産標本および群馬県産のGalloisiana nipponensisや長野県産のG. yuasai、北海道産のG. yezoensisなどの標本を比較した。その結果、これまでそれぞれ九州固有種・四国固有種とされてきたものの、比較形態学的にあまり検討されてこなかったG. notabilisとG. chujoiが、G. nipponensisとは明らかに異なる形態的特徴(1胸肢腿節・脛節の「細さ[長:幅比]」と2頚節片の少ない刺毛数)を持つことを明らかにし、国際昆虫学会(8月・韓国テグ市)にてポスター発表した。さらに、交尾の際に重要な役割を果たすメスの交尾器の一部(3担産卵弁節片)に着目し、その形状の際によってG. notabilisとG. chujoiを区別できることを明らかにし、日本昆虫学会(9月・玉川大学)にて口頭発表した。一方、2010年よりS.D. Schoville博士とともに行ってきた本州中部地域におけるガロアムシ類の地理的分布の遺伝的解析によって、中部山岳地域の山系ごとの個体群の存在を支持するとともに、個体群間の分岐年代が中部山岳地域ひいては日本列島の成因に関係する可能性を論じた(Schoville et al., 2013)。前述の日本産ガロアムシ類の比較をさらに進めるため、10月に北海道で採集調査を実施し、G. yezoensisを3箇所で採集することに成功し、幼虫については飼育を継続している(分析は2013年度に実施予定)。上記の活動に伴って進めている分類資料コレクション(標本と採集・計測データ)の公開については、6月に申請者の所属機関HPにリンクさせた「研究活動」のページの一部として公開を開始し、今後も随時成果を公開していく予定である。主に西日本(四国・九州)において模式産地を含むガロアムシ類の採集に成功したことにより、日本産ガロアムシ類の分類学的再検討を行う上で貴重な試料を入手し、画像・計測データを得、それをもとに学会発表を行うことができたため。.25年度が最終年度であるため、記入しない。西日本(四国・九州)産のガロアムシ類の標本を含めた比較検討ができたことと、本州中部地方の各地から得た試料による遺伝的解析が成功したことにより、学会発表や論文発表を行うことができたため。
部分空間同定法を使ったフィードバック制御系のリアルタイム故障検出法の開発

本研究の目的は,フィードバックループをもつ系から得られたデータに対して適用可能な逐次部分空間同定アルゴリズムを使って,逐次部分空間同定アルゴリズムによって時々刻々更新される推定誤差を用いた閉ループ系のための変化検出法を開発することである.平成19年度において以下の4つの研究成果を挙げた.まず,前年度に導出したMOESP型閉ループ部分空間同定法の逐次アルゴリズムの高速化を行った.QR分解を完全更新するのではなく,状態空間モデルの実現に最小限必要な部分についてのみのQR分解の部分更新則を導出することにより,アルゴリズムの1回あたりの更新時間を10ミリ秒から1ミリ秒程度まで短縮した.つぎに,閉ループ部分空間同定法の一致性に関して,MOESP型閉ループ部分空間同定法と関連の深いTwo-Stage法の状態空間実現による解釈を与えた.つぎに,MOESP型閉ループ部分空間同定法の実応用例の研究として,台車系の閉ループ同定実験を行い,既存の開ループ同定法および閉ループ同定法との比較を行った.同定実験の結果,開ループ同定に対する閉ループ同定の優位性が示された.また,検証実験の結果では,同定モデルによる再生データと実データとの間に99%以上の高い一致度が得られた.最後に,支援制御系への応用に関して,閉ループ同定法をオペレータ支援制御器の繰り返しチューニングに利用する方法を提案し,実験により有効性を実証した.本研究の目的は,フィードバックループをもっ系から得られたデータに対して適用可能な逐次部分空間同定アルゴリズムを開発し,その逐次部分空間同定アルゴリズムによって時々刻々更新される推定誤差を用いた閉ループ系のための変化検出法を開発することである.平成18年度では,一括型閉ループ部分空間同定法の一っであるMOESP型閉ループ部分空間同定法の逐次アルゴリズムの導出を行った.MOESP型閉ループ部分空間同定法は数値計鋒において信頼性の高いQR分解に基づく方法である.逐次化において,新規データを取り込む際のHessenberg行列構造に着目したQR分解の逐次更新則を利用した点に特徴がある.導出されたアルゴリズムの特徴として,1)QR分解の逐次更新に基づき数値的な信頼性が高く,2)更新時間が10ミリ秒未満で非常に高速であることが挙げられる.さらに,提案アルゴリズムを指数忘却や移動窓などの忘却機構と組み合わせて,緩やかな時変系システムのようなパラメータ変化を伴うシステムの逐次同定を可能にした.特に,移動窓を使った忘却においては,Hessenberg QR分解を逆に解くアルゴリズムの導出を行った.結果の一部を第7回計測自動制御学会制御部門大会で口頭発表した。さらに,European Control Conference 2007に採択され,2007年7月に口頭発表する予定である.まとめた成果を計測自動制御学会論文集に投稿し同論文集の2007年5月号への掲載が決定している。本研究の目的は,フィードバックループをもつ系から得られたデータに対して適用可能な逐次部分空間同定アルゴリズムを使って,逐次部分空間同定アルゴリズムによって時々刻々更新される推定誤差を用いた閉ループ系のための変化検出法を開発することである.平成19年度において以下の4つの研究成果を挙げた.まず,前年度に導出したMOESP型閉ループ部分空間同定法の逐次アルゴリズムの高速化を行った.QR分解を完全更新するのではなく,状態空間モデルの実現に最小限必要な部分についてのみのQR分解の部分更新則を導出することにより,アルゴリズムの1回あたりの更新時間を10ミリ秒から1ミリ秒程度まで短縮した.つぎに,閉ループ部分空間同定法の一致性に関して,MOESP型閉ループ部分空間同定法と関連の深いTwo-Stage法の状態空間実現による解釈を与えた.つぎに,MOESP型閉ループ部分空間同定法の実応用例の研究として,台車系の閉ループ同定実験を行い,既存の開ループ同定法および閉ループ同定法との比較を行った.同定実験の結果,開ループ同定に対する閉ループ同定の優位性が示された.また,検証実験の結果では,同定モデルによる再生データと実データとの間に99%以上の高い一致度が得られた.最後に,支援制御系への応用に関して,閉ループ同定法をオペレータ支援制御器の繰り返しチューニングに利用する方法を提案し,実験により有効性を実証した.
内分泌かく乱物質リスク評価のための精巣In vitro assay系の確立

精細胞の基礎的データの収集を目的として、ヒミズおよびコウモリのステージ表の作成を行い、またレクチン染色性の相違を確認した。同時にシグナル伝達因子であるSmadの精巣における分布を観察した結果、Smad2,Smad3 mRNAは精祖細胞および精母細胞に検出された。次にエストロジェンの精巣における役割を検討するため、生後10週齢の雄ラットにエストロジェンを投与し、1日後に精巣内のテストステロンおよびステロイド合成酵素mRNAレベルを観察した。その結果、テストステロンは著しく減少し、合成酵素も減少した。さらに、生後10日齢のラット精巣より確立したセルトリ細胞培養系に、エストロジェン作用を示す内分泌かく乱物質の1つとされるビスフェノールA(BPA)を10,100,1000pg/mlの濃度で添加し,2,4,6日後に採材、対照群と比較した。その結果、添加後2日では、それぞれ変性したセルトリ細胞が7.2,14.7,20.8%増加していた。同様に添加後4日では、それぞれ11.4,19.5,28.3%,添加後6日では、それぞれ12.6,21.3,34.9%増加していた。これらの増加はいずれも対照群に比べ有意であった。また生後12月齢のシバヤギ精巣より確立したセルトリ細胞初代培養系に、BPAを1,10,100μMの濃度で投与し、1,3,5日後に採材し観察した結果、ラットの場合と同様、濃度依存的、時間依存的に変性セルトリ細胞が増加したことから、BPAがセルトリ細胞に対して直接的な影響を与える可能性が示唆された。続いて胎齢11.5日のマウスの未分化生殖腺器官培養系に、BPAおよび17βエストラジオール(E2)を0.1,1,10μM投与し、5日後に採材、対照群と比較した。その結果、雄では精巣索の正常な形成が確認され、雌においても変化は認められず、BPAおよびE2は未分化生殖腺の初期発生には直接的な影響を与えないことが推測された。まず精細胞の基礎的データの収集を目的として、ヒミズおよびコウモリの精上皮周期、即ちステージ表の作成を行い、またレクチン染色性の相違を確認した。同時にシグナル伝達因子であるSmadの精巣における分布を観察した。その結果、Smad2, Smad3 mRNAは精祖細胞および精母細胞に検出された。その結果、テストステロンは著しく減少し、合成酵素も減少したことから、エストロジェン投与はステロイド合成酵素の減少を誘起し、その結果テストステロンが低下したものと考えられた。さらに、生後10日齢のラット精巣より確立したセルトリ細胞培養系に、エストロジェン作用を示す内分泌かく乱物質の1つとされるビスフェノールA(BPA)を10,100,1000pg/mlの濃度で添加し、2, 4, 6日後に採材、対照群と比較した。その結果、添加後2日では、10,100,1000pg/ml投与群で、それぞれ変性したセルトリ細胞が7.2, 14.7, 20.8%増加していた。

同様に添加後4日では、10,100,1000pg/ml投与群で、それぞれ11.4, 19.5, 28.3%,添加後6日では、それぞれ12.6, 21.3, 34.9%増加していた。これらの増加はいずれも対照群に比べ有意であった。このようにBPA添加によって変性セルトリ細胞が濃度依存的、時間依存的に増加したことから、BPAがセルトリ細胞に対して直接的な影響を与える可能性が示唆された。続いて胎齢11.5日のマウス由来の未分化生殖腺器官培養系に、BPAを0.1, 1, 10μM投与し、3,5日後に採材、対照群と比較した。その結果、生殖腺の大きさに変化はなく、また雄では精巣索の正常な形成が確認され、雌においても変化は認められず、BPAは胎仔期未分化生殖腺には直接的な影響を与えないことが推測された。精細胞の基礎的データの収集を目的として、ヒミズおよびコウモリのステージ表の作成を行い、またレクチン染色性の相違を確認した。同時にシグナル伝達因子であるSmadの精巣における分布を観察した結果、Smad2、Smad3 mRNAは精祖細胞および精母細胞に検出された。次にエストロジェンの精巣における役割を検討するため、生後10週齢の雄ラットにエストロジェンを投与し、1日後に精巣内のテストステロンおよびステロイド合成酵素mRNAレベルを観察した。その結果、テストステロンは著しく減少し、合成酵素も減少した。さらに、生後10日齢のラット精巣より確立したセルトリ細胞培養系に、エストロジェン作用を示す内分泌かく乱物質の1つとされるビスフェノールA(BPA)を10,100,1000Pg/mlの濃度で添加し、2,4,6日後に採材、対照群と比較した。その結果、添加後2日では、それぞれ変性したセルトリ細胞が7.2,14.7,20.8%増加していた。同様に添加後4日では、それぞれ11.4,19.5,28.3%、添加後6日では、それぞれ12.6,21.3,34.9%増加していた。また生後12月齢のシバヤギ精巣より確立したセルトリ細胞初代培養系に、BPAを1,10,100μMの濃度で投与し、1,3,5日後に採材し観察した結果、ラットの場合と同様、濃度依存的、時間依存的に変性セルトリ細胞が増加したことから、BPAがセルトリ細胞に対して直接的な影響を与える可能性が示唆された。続いて胎齢11.5日のマウスの未分化生殖腺器官培養系に、BPAおよび17βエストラジオール(E2)を0.1,1,10μM投与し、5日後に採材、対照群と比較した。その結果、雄では精巣索の正常な形成が確認され、雌においても変化は認められず、BPAおよびE2は未分化生殖腺の初期発生には直接的な影響を与えないことが推測された。
アメリカ合衆国における年齢主義進級制の普及と能力の個人差への対応に関する史的研究

本研究は、20世紀前半のアメリカ合衆国において普及した年齢主義の進級制度の根拠を究明することを第一の課題とし、年齢主義進級制度によって拡大したはずの学級内での能力の個人差に対してどのような教育実践が行われていたのか具体的に明らかにすることを第二の課題としていた。年齢主義が普及した背景としては、第一に、社会全体が時間と年齢に従って秩序づけらえていったこと、第二に、教育の能率化を求める運動が進んでいたことをあげることができる。これらは、直接的には、落第を減らすことによって、教育の経費を削減し、教室内の秩序を維持し、教師の負担を減らすことを目的とした。落第が生徒の学力向上に役立たないばかりでなく、子供の発達に悪影響を与えるという心理学的研究は落第削減を正当化する根拠となった。1920年代から1930年代にかけて、進級が課題主義から年齢主義に変化したとき、グレイド、ニーズ、個人、の概念に根本的な転換があった。グレイドは、学業達成の成果ではなくなり、生徒の全体的発達を促進するための手段となった。ニーズは、特定の能力の欠如の意味よりも、生徒の欲求や性向の意味が協調された。個人の発達は、学力水準というような他人によって決められた特定の基準ではかられるべきではなく、多様な側面を持ちつつも、自立的な意志を持った、全体的人間と考えられ、連続性の保障が課題と考えられるようになった。このような変化は、社会的成熟という概念に集約され、それが全員が年齢に従って進級することの理論的根拠となったのである。このような概念の転換に対応して、カリキュラムは生徒のニーズに応ずるように多様化され、生徒の社会的、情緒的、身体的な発達を重要な目的とするようになった。社会的成熟の考え方に基づいて、同年齢集団の教育的意義を協調する活動が重視された。本研究の課題は二つあった。第一は、20世紀前半のアメリカ合衆国において、年齢主義の進級制が普及した原因を探ることであった。第二は、年齢主義の普及に伴い、多様な能力の生徒が同じ学年に所属することになったとき、各生徒の能力の個人差にたいしてどのような配慮がなされたのかを、明らかにすることであった。研究の結果、第一の課題にたいしては、4つの要因を指摘することができた。ひとつは、19世紀末から20世紀の前半にかけて、人間の年齢を重視する社会的制度が確立しつつあったことである。医療において小児科が成立し、法律においては少年法や少年裁判所が出現し、教育においては各州で義務就学が年齢によって規定された。これらは、幼児、青年、老年など、それぞれの年代に期待される役割が社会制度の中で決定されはじめていたことを意味している。二つめの原因は、落第を削減しなければならないという社会的要請であった。19世紀末から出現した教育長等の教育専門家は、落第は経費の無駄遣いであり、教育の非能率を示すものとみなして、教育行政改革の一環としてその削減のための改革を推し進めたのである。また、かれらは落第は生徒ひとりひとりには心理的抑圧をもたらすという弊害も指摘した。三つ目の原因は、グレイド観の変化である。19世紀までグレイドは教材の習得段階を示すものであった。ところが、20世紀になると、グレイドは、生徒の発達を支援するための方策とみなされるようになった。年齢に応じて進級させることが、生徒の発達をうながすことになるとする考え方が、教育専門家の間に普及したのである。さらに第4の原因として、学校が生徒に期待する能力観の変化である。

同一集団を維持し、そのなかで社会性を形成することが学校教育の目的とみなされ、進級の基準を社会的成熟におくようになったのである。本研究の第二の課題については、まだ結論が出ていない。本研究は、20世紀前半のアメリカ合衆国において普及した年齢主義の進級制度の根拠を究明することを第一の課題とし、年齢主義進級制度によって拡大したはずの学級内での能力の個人差に対してどのような教育実践が行われていたのか具体的に明らかにすることを第二の課題としていた。年齢主義が普及した背景としては、第一に、社会全体が時間と年齢に従って秩序づけられていったこと、第二に、教育の能率化を求める運動が進んでいたことをあげることができる。これらは、直接的には、落第を減らすことによって、教育の経費を削減し、教室内の秩序を維持し、教師の負担を減らすことを目的とした。落第が生徒の学力向上に役立たないばかりでなく、子供の発達に悪影響を与えるという心理学的研究は落第削減を正当化する根拠となった。1920年代から1930年代にかけて、進級が課題主義から年齢主義に変化したとき、グレイド、ニーズ、個人、の概念に根本的な転換があった。グレイドは、学業達成の成果ではなくなり、生徒の全体的発達を促進するための手段となった。ニーズは、特定の能力の欠如の意味よりも、生徒の欲求や性向の意味が強調された。個人の発達は、学力水準というような他人によって決められた特定の基準ではかられるべきではなく、多様な側面を持ちつつも、自立的な意志を持った、全体的人間と考えられ、連続性の保障が課題と考えられるようになった。このような変化は、社会的成熟という概念に集約され、それが全員が年齢に従って進級することの理論的根拠となったのである。このような概念の転換に対応して、カリキュラムは生徒のニーズに応ずるように多様化され、生徒の社会的、情緒的、身体的な発達を重要な目的とするようになった。社会的成熟の考え方に基づいて、同年齢集団の教育的意義を強調する活動が重視された。
ポテンシャルカスケードを形成するポルフィリン含有水溶性-共役系高分子の合成と物性

研究者は太陽エネルギーを効率よく化学エネルギーに変換する人工光合成系を実現させるためには、遠距離光誘起電子移動反応およびそれに続くポテンシャルカスケードを利用し電荷分離状態を達成することが重要であると考え、以下の3点について研究を行った。1、遠距離で光誘起電子移動反応やエネルギー移動を可能にするためには共役性の高いmolecular wireを用いる必要がある。そのため、ピロールとo-ベンズアルデヒドスルフォン酸ナトリウムの付加縮合反応について検討したところ、エネルギーバンドギャップが0.5eV以下のsmall-band-gap polymerの合成に成功した。2、このsmall-band-gap polymerに発色団としてポルフィリンおよびピレンをアクセプターとしてアントラキノンをランダムに導入し、その分子内電子移動反応について蛍光消光実験により検討した。その結果、ピレン-アントラキノン系で遠距離分子内電子移動反応が起こっていることを示唆した。なおポルフィリン系ではアントラキノンの有無に関わらず蛍光がほぼ完全に消光されたことから励起エネルギーが高分子主鎖に移動したものと推察する。1、2、の結果からsmall-band-gap polymerを用いることで遠距離光誘起電子移動反応が起こる可能性が見出された。そこで次の段階として3、発色団とアクセプターの距離を一定にしポテンシャルカスケードを形成するためには、一次元的に構造規制された分子を作る必要がある。そこでペプチド合成における固相法を応用することを考え、現在検討を行っている。
連続緩和法の高速化による高性能組合せ最適化アルゴリズムの実用化

本研究の目的は,産業分野から人工知能技術まで多様な場面で現れる組合せ最適化問題に対して,連続緩和法に基づいた実用的な高性能アルゴリズムを開発することである.H30年度には,以下に挙げるような研究成果を得た.1.基本的な組合せ最適化問題の一つにナップサック制約下での劣モジュラ最大化問題がある.この関連問題として,アイテムのサイズや目的関数への貢献が確率的に決まる設定をH29年度に導入し,連続緩和法に基づく新たな適応的最適化アルゴリズムを与えた.本年度はこのアルゴリズムを,クラス分類を行う識別器の学習に使用するデータの選択に適用した.これは,能動学習の設定に提案アルゴリズムを使用することをモチベーションとしている.シミュレーションの結果,提案アルゴリズムによってデータを選択した場合,ベースラインとして用意したアルゴリズムによってデータを選択するのと比較すると誤識別率の低い識別器が得られることを確認できた.H29年度に得られた結果とともに論文にしてまとめ,学会発表を行った.2.ネットワーク設計の新たな問題としてハブネットワーク設計問題を導入し,近似アルゴリズムの開発を行った.この問題は,基幹ネットワークと末端のネットワークのように,内部で二段階の階層構造を持つネットワークを低コストで構築するための最適化問題である.本研究では,スパイダー被覆と呼ばれるネットワーク設計アルゴリズムのテクニックを使用して,新たなアルゴリズムを与えた.現在のアルゴリズムやその解析では連続緩和を用いてはいないが,スパイダー被覆に基づく従来アルゴリズムの多くは線形計画緩和を用いたアルゴリズムとしての解釈も知られており,我々のアルゴリズムはハブネットワーク設計問題に対する連続緩和を使用したアルゴリズム設計のための基礎となる成果といえる.新たな組合せ最適化問題であるハブネットワーク設計問題を導入し,新たな近似アルゴリズムを与えることに成功した.また,H29年度に得られた,アイテムのサイズや目的関数への貢献が確率的に決まる劣モジュラ最大化問題に対するアルゴリズムを,データ選択の問題設定に適用し,有用であることを確認した.このように,新たな研究成果が得られていると同時に,その有用性を実際に確認しており,本研究はおおむね順調に進展していると考えている.様々な組合せ最適化問題に対して連続緩和法を適用することで新たな近似アルゴリズムを開発する試みと同時に,応用を多く持つ汎用的で巨大な問題において連続緩和を高速に解く手法について研究を継続する.特に,乗算重み更新法などの手法について掘り下げ,その数理的な仕組みを理解すると同時に,性能の改善を図る.本研究の目的は,産業分野から人工知能技術まで多様な場面で現れる組合せ最適化問題に対して,連続緩和法に基づいた実用的な高性能アルゴリズムを開発することである.H29年度には,以下に挙げるように,様々な組合せ最適化問題について緩和問題の定式化を工夫し新たなアルゴリズムを与えることに取り組んだ.1.ハイパーグラフ上での相関クラスタリング問題:相関クラスタリングは各データの相関関係から適切なクラスタリングを求める組合せ最適化問題である.通常は二つのデータ間の関係から定義された辺ラベル付き無向グラフ上で問題が定義されるが,より多くのデータ間の関係性を問題に取り組むことで質の高いクラスタリングを得ることができることが期待できる.このことから本研究ではハイパーグラフ上の相関クラスタリングを定義し,連続緩和に基づく近似アルゴリズムを与えた.2.確率的なナップサック制約下での劣モジュラ最大化問題:ナップサック制約下での単調劣モジュラ関数最大化問題は様々な応用があり広く研究されているが,本研究ではナップサックの容量が確率的に与えられているときにアイテムを順番に選択する設定において,達成される単調劣モジュラ関数の値の期待値を最大化する問題を考え,連続緩和法に基づく近似アルゴリズムを与えた.また関連問題として,ナップサック容量は一定だが,アイテムのサイズや目的関数への貢献が確率的に決まる問題についても,連続緩和法に基づく新たな適応的最適化アルゴリズムを与えた.3.一般化予算割り当て問題:二部グラフ上での予算割り当て問題は,各広告主が予算上限を持つときに,消費される予算が最大化されるようユーザへ広告を割り当てる最適化問題である.本研究ではこの問題を,ユーザが許容する広告の長さの上限を持つように一般化し,連続緩和法に基づくアルゴリズムを与えた.様々な組合せ最適化問題について,連続緩和法を利用して新たな近似アルゴリズムを与えることに成功した.また,得られたアルゴリズムのうち,ハイパーグラフ上での相関クラスタリングと,アイテムのサイズや目的関数への貢献が確率的に決まる劣モジュラ最大化問題に対するアルゴリズムについては,実際に実装し実性能の検証を行った.中規模のサイズの問題であれば実用に耐えられるが,大規模な問題に対しては高速化が必要であることを確認すると同時に,より実用的なアルゴリズムを得るための課題を特定した.このように,新たな研究成果が得られていると同時に,今後の課題の特定も進んでおり,本研究はおおむね順調に進展していると考えている.本研究の目的は,産業分野から人工知能技術まで多様な場面で現れる組合せ最適化問題に対して,連続緩和法に基づいた実用的な高性能アルゴリズムを開発することである.H30年度には,以下に挙げるような研究成果を得た.1.基本的な組合せ最適化問題の一つにナップサック制約下での劣モジュラ最大化問題がある.この関連問題として,アイテムのサイズや目的関数への貢献が確率的に決まる設定をH29年度に導入し,連続緩和法に基づく新たな適応的最適化アルゴリズムを与えた.本年度はこのアルゴリズムを,クラス分類を行う識別器の学習に使用するデータの選択に適用した.

これは,能動学習の設定に提案アルゴリズムを使用することをモチベーションとしている.シミュレーションの結果,提案アルゴリズムによってデータを選択した場合,ベースラインとして用意したアルゴリズムによってデータを選択するのと比較すると誤識別率の低い識別器が得られることを確認できた.H29年度に得られた結果とともに論文にしてまとめ,学会発表を行った.2.ネットワーク設計の新たな問題としてハブネットワーク設計問題を導入し,近似アルゴリズムの開発を行った.この問題は,基幹ネットワークと末端のネットワークのように,内部で二段階の階層構造を持つネットワークを低コストで構築するための最適化問題である.本研究では,スパイダー被覆と呼ばれるネットワーク設計アルゴリズムのテクニックを使用して,新たなアルゴリズムを与えた.現在のアルゴリズムやその解析では連続緩和を用いてはいないが,スパイダー被覆に基づく従来アルゴリズムの多くは線形計画緩和を用いたアルゴリズムとしての解釈も知られており,我々のアルゴリズムはハブネットワーク設計問題に対する連続緩和を使用したアルゴリズム設計のための基礎となる成果といえる.新たな組合せ最適化問題であるハブネットワーク設計問題を導入し,新たな近似アルゴリズムを与えることに成功した.また,H29年度に得られた,アイテムのサイズや目的関数への貢献が確率的に決まる劣モジュラ最大化問題に対するアルゴリズムを,データ選択の問題設定に適用し,有用であることを確認した.このように,新たな研究成果が得られていると同時に,その有用性を実際に確認しており,本研究はおおむね順調に進展していると考えている.H29年度と同様に,様々な組合せ最適化問題に対して連続緩和法を適用することで新たな近似アルゴリズムの開発を試みる.同時に,これまで得られたアルゴリズムをより実用的なものとするための研究についても取り組む.特に劣モジュラ最大化問題に対するアルゴリズムは連続緩和を解く際のアルゴリズムが重いという欠点があるが,機械学習分野を初めとして様々な領域に応用を持つために高速化のメリットが大きい.本研究でも重点的に取り組んでいきたいと考えている.様々な組合せ最適化問題に対して連続緩和法を適用することで新たな近似アルゴリズムを開発する試みと同時に,応用を多く持つ汎用的で巨大な問題において連続緩和を高速に解く手法について研究を継続する.特に,乗算重み更新法などの手法について掘り下げ,その数理的な仕組みを理解すると同時に,性能の改善を図る.論文投稿スケジュールの変更により旅費の使用が見積もりより少なく,未使用額が発生した.未使用分はH30年度に旅費として使用する.スケジュールの都合による参加学会の変更や,当初予定していた費用と実際にかかった費用との差異のため,学会参加のための旅費が一部未使用となった.次年度に学会参加費として使用する.
核酸医薬とステントグラフトのハイブリッド治療による大動脈瘤進展抑制効果の検討

ステントグラフトの普及は低侵襲的な動脈瘤治療を可能にしたが、ステントグラフトによる圧負荷軽減のみでは瘤の拡大進展抑制効果が不十分であることも報告され、その解決には新たなアプローチが必要である。大動脈瘤の病態進展メカニズムには炎症機転の関与が示唆されている。申請者らも炎症を制御する転写因子NFkBおよび炎症で惹起されるマトリックス分解酵素を制御する転写因子Etsの病態への関与を示した。さらにモデル動物を用いた検討で、大動脈瘤に対する低侵襲的新規分子治療製剤の可能性を提唱してきた。本研究では、この治療概念をステントグラフトに付加し、分子治療製剤とステントグラフト療法のハイブリッド治療の有用性・優位性についてウサギ動脈瘤モデルを用いて検証し、Decoy eluting stentgraft開発の基礎的検討を行う。平成30年度にウサギを用いた動脈瘤モデルの安定した作成が可能となり、冠動脈治療用のcovered stentを用いたステントグラフト留置が可能となった。来年度は、分子治療製剤とステントグラフト療法を組み合わせたハイブリッド治療の効果について検討する。モデルの作成に時間を要したが、安定したモデルの作成が可能となった。来年度は、ようやく、ステントグラフトのみのコントロール群と、分子治療製剤を併用したハイブリッド治療群の2群間の比較をする予定である。計画を1年延長し、実験モデルの安定した作成が可能となった。来年度は、コントロール群と分子治療製剤併用群との比較が可能である。ステントグラフトの普及は低侵襲的な動脈瘤治療を可能にしたが、ステントグラフトによる圧負荷軽減のみでは進展抑制効果が不十分であることも報告され、その解決には新たなアプローチが必要である。申請者らも、炎症を制御する転写因子NFkBおよび炎症で惹起されるマトリックス分解酵素を制御する転写因子Etsの病態への関与を示した。平成28年度は、ウサギを用いて動脈瘤モデルを作成する予定であった。具体的には、手術で大動脈を露出し、遮断した大動脈にエラスターゼを灌流させ、大動脈壁に炎症を引き起こす。これにより大動脈に龍化を引き起こす。この手技はすでに雑誌にて報告された方法および実験モデルであり、作成が可能であり、病態の再現が期待できると考えていた。しかしながら、今年度においては、未だ安定したモデル作成に至っていない。引き続き、安定したモデル作成をまず確立したいと考えている。モデル作成の後、デコイシートを貼り付けたステントグラフトを瘤内に挿入し、デコイが動脈瘤内に導入されていることを確認するエラスターゼ灌流の条件設定が難しく、安定したモデル作成に成功していない。平成29年度は、ウサギを用いて動脈瘤モデルを作成する予定であった。これにより大動脈に瘤化を引き起こす。この手技はすでに報告された方法及び実験モデルであり、作成が可能であり、病態の再現が期待できると考えていた。しかしながら、今年度においては、いまだ安定したモデル作成に至っていない。引き続き、安定したモデル作成手技をまず作成したいと考えている。今年度後半より、主たる実験の場所を大阪大学遺伝子治療学としており、研究の大幅な進展を見込んでいる。エラスターゼ灌流の条件設定が難しく、安定したモデル作成に成功していない。

平成30年度にウサギを用いた動脈瘤モデルの安定した作成が可能となり、冠動脈治療用のcovered stentを用いたステントグラフト留置が可能となった。来年度は、分子治療製剤とステントグラフト療法を組み合わせたハイブリッド治療の効果について検討する。モデルの作成に時間を要したが、安定したモデルの作成が可能となった。来年度は、ようやく、ステントグラフトのみのコントロール群と、分子治療製剤を併用したハイブリッド治療群の2群間の比較をする予定である。このモデル作成を従来からおこなっていた連携研究者である大阪大学遺伝子治療学の森下研究室に出向いて実験を行う予定である。この実験モデルをすでに確立している大阪大学遺伝子治療学に出向いて、今年度末より行っており、研究の進展が期待される。計画を1年延長し、実験モデルの安定した作成が可能となった。来年度は、コントロール群と分子治療製剤併用群との比較が可能である。実験が予定通りに進まなかったため、物品費の使用ができなかった。(理由)実験が予定通りに進まなかったため、物品費の使用ができなかった。(使用計画)今年度末より大阪大学遺伝子治療学教室に実験場所を移しており、物品費の使用が想定される。研究計画に遅れが生じていた。来年度にさらに本格的に実験を行う。来年度は、大阪大学に実験場所を移すため、今年度分を含む物品費の使用が想定される。
西欧文化の日本での受容・変容・再発信の過程―文学における幻想性・怪奇性を中心に

日本が近代化を進める時期に西洋から多くの芸術作品が流入し、現在に至るまでそれらは日本で様々な芸術に携わる人々の想像力を刺激してきた。その結果、現代の日本において作成される各種芸術作品には、西洋を起源とする題材の活用が多くみられる。そうした作品で用いられる題材やモチーフは多くの場合、日本に受け入れられてからある程度の変容が生じている。本研究では、主に文学作品における幻想性・怪奇性に焦点をあて、そのような題材・モチーフがいかに受容され、日本で変容し、かつ世界に向けて再発信されるかの過程を追った。研究成果は、海外出版社からの英語による論文集に収録されて刊行されるなど、様々な媒体で世に問うた。幻想文学研究家東雅夫氏の協力を得て、論文集の執筆編纂を行った『幻想と怪奇の英文学』は、春風社より平成26年4月30日に出版された。本研究の成果である論文「美しき吸血鬼:須永朝彦による西洋由来の吸血鬼の美的要素の結晶化」が収録されている。さらに、研究実績報告者と東雅夫氏との対談やブックガイドを収録し、日本における海外からの幻想文学・怪奇文学の受容と現在のあり方を多角的に検証考察する内容となっている。平成26年2月15日、フロリダ、フォートローダーデールで開催されたアメリカ南部アイルランド研究学会大会で、日本の大衆文化に受容されたアイルランドの妖精について研究発表を行い、高い評価を得た。東雅夫との共同責任編集で『幻想と怪奇の英文学』(春風社)を刊行した。日本人研究者の英文学作品における幻想性・怪奇性を扱った論考を集めることで、21世紀において日本の研究者たちが西洋由来の「幻想性」「怪奇性」に対してどのような概念を持っているのか、実例として論集の形で示すことに成功した。この論集には「美しき吸血鬼ー須永朝彦による西洋由来の吸血鬼の美的要素の結晶化」を寄稿した。この論考は、西洋由来の怪奇性を有する文学的形象、吸血鬼がどのように日本文学の作品の中で変容し、後の世代に影響を与えたかが明らかにされている。戦後の日本における西洋の怪奇・幻想文学の受容に関しては、翻訳家平井呈一の果たした役割は大きい。2014年度に国際キリスト教大学Beveley Curran教授他編集によるトランスレーション・スタディーズの論集に、平井に関する論考を寄稿する機会に恵まれた。論考の"Hirai Teiichi, the Japanese Translator of Dracula and Literary Shapeshifter"は、"Multiple Translation Communities in ContemporaryJapan"(Routledge)に収録され、2015年5月に刊行予定である。平井呈一に関しては、9月29日および30日に新潟県小千谷市の県立小千谷高等学校と市立図書館を訪れて資料収集を行った。さらに3月24日京都大原三千院門主、堀澤祖門氏を東雅夫氏とともに訪れ、平井呈一氏について聞き取り調査を行った。大原三千院への訪問は私費で行った。これらの研究成果はさらに調査を継続し、書籍収録の論考の形で発表予定である。そのほか、日本のアニメーションに登場したアイルランドの妖精に関する英語論文の寄稿を2015年8月を締め切りとして求められており、研究を継続している。また、新潟県小千谷を訪問調査した際、戦時に彼の地で教鞭を取った平井の教え子である故佐藤順一氏の元に残された、平井の手による書を偶然発見した。これらの書は平井の文人としての活動を示す証拠であるとともに、後世に残されるべき貴重な文化的資料である。そのうち四点が文化的価値を鑑み、神奈川近代文芸館に収蔵されることとなった。収蔵にあたってご助力をいただいた佐藤久子氏、堀澤祖門氏、紀田順一郎氏、東雅夫氏、立恵子氏に心より感謝申し上げる。おおむね順調に進展しているが、予想より進展している部分と、予定の変更を余儀なくされている部分がある。予想より進展している部分は、平成25年度の海外での研究発表が海外の出版社Fairleigh Dickinson University Press出版の論文集収録の論文へと進展したこと、および、研究開始時には予期しなかったことであるが、本研究の研究成果がトランスレーション・スタディーズの論文として、海外出版社Routledgeから刊行された論文集への寄稿がゆるされ出版されたことである。反面、予定の変更を余儀なくされた部分は、平成27年度に予定していた一年間の在外研究が所属の仕事との関係で平成28年度後期および平成29年度前期となったため、海外の学会での研究発表のタイミングが当初の予定通り行うのは難しくなったことと、在外研究の受け入れ機関ハワイ大学マノア校での指導教員が文学研究者のKen Ito教授となったため、人間を対象としたアンケート調査などは現地では行えなくなったことである。アメリカの大学の出版局から出版された論文集に論文が収録された。(書誌情報の詳細は、"An Anime Dullahan: The Irish Death Messenger Adapted in Japanese Popular Culture," SupernaturalRevamped: Timeworn Legends to Twenty-first Century Chic, ed. Barbara Brodman and James E. Doan, Madison: Fairleigh Dickinson University Press, 2016, 133-44)。アイルランドの民話に登場する妖精であるデュラハンが、いかにして日本のアニメ『デュラララ!!』に登場するようになったかを論じた。この妖精はアイルランドでもそれほど有名な妖精ではないが、日本の各種テレビゲームでキャラクターとして活用され、ライトノベル『デュラララ!!』で重要な登場人物として取り上げられ、さらにそのライトノベルがアニメ化されることで、日本の特定の世代の人々には大いに知られることとなった。

このアニメのDVDは海外への発信を意識して、英語の吹替が収録されている。論文集『幻想と怪奇の英文学II-増殖進化編』(春風社)を共同責任編集した。この論文集は全体として、現代の日本の英文学者が「幻想」「怪奇」という言葉を聞いて想起する英米文学作品の実例を並べたショーケースとなっている。自身のジェイムズ・ジョイスの「姉妹」の翻訳と西洋怪奇文学紹介者の草分け、平井呈一についての東雅夫との対談も収録した。アイルランドのコーク大学で開催された国際アイルランド文学協会(IASIL)大会にて、平成28年年7月29日に、ブラム・ストーカー作『ドラキュラ』の平井呈一翻訳の特性およびその後の世代における影響について発表した。タイトルは、"An Impact of Translation: Styles and Rhythms of Traditional Oral Performances in Hirai Teiichi's Translation of Bram Stoker's Dracula"。平成28年度は海外の論文集に論文を一編寄稿し、論文集を刊行し、海外の学会にて発表した。アウトプットに関しては、「当初の計画以上に進展している」と評価してもよいと思われる。日本のアニメなどのポップカルチャーに受容されたアイルランドの妖精デュラハンを扱った論文は、当初計画には含まれていなかった研究成果である。論文集『幻想と怪奇の英文学IIー増殖進化編』は『週間読書人』『図書新聞』などの媒体の書評で取り上げられて反響を呼び、研究成果を広く一般に知らしめることに成功した。平井呈一についての海外の研究発表には好意的なリアクションが複数あり、当時リメリック大学所属のジャック・フェネル博士とは、アイルランドで再会して研究情報の交換などを行った。研究開始時に計画していた海外の大学への在外研究は、所属の事情などにより当初計画より時期がずれることとなったが、平成28年9月1日11月15日までアイルランド国立ユニヴァーシティ・カレッジ・ダブリンで研究活動を行い、一時帰国してアイルランドの研究成果の整理と次の場所への研究準備を行った後、現在はハワイ大学マノア校日本研究センターのVisiting Colleagueとして、研究活動を行っている。ハワイ大学においては、パトロンとして受け入れてくださった研究者が日本の明治期以降の文学を専門とするKen K. Ito教授であるため、アメリカにおける日本文学および幻想文学研究についての資料の収集と分析を中心に研究活動を行っている。
論理回路のソフトエラーを引き起こすSETパルスの実験的波形解明

放射線が論理回路に当たるとパルス状のノイズが発生し回路が誤動作してしまう.このノイズパルスをSETパルスと呼び,対策のためにその波形を明らかにする必要がある.そのための手法を提案し,半導体製造技術の一つである完全空乏型SOI技術で作成した論理回路に適用して,そこで発生するSETパルスの波形を観測することに成功した.更に,その波形を物理的に説明する解析式を導出した.放射線が論理回路に当たるとパルス状のノイズが発生し回路が誤動作してしまう.このノイズパルスをSETパルスと呼び,対策のためにその波形を明らかにする必要がある.そのための手法を提案し,半導体製造技術の一つである完全空乏型SOI技術で作成した論理回路に適用して,そこで発生するSETパルスの波形を観測することに成功した.更に,その波形を物理的に説明する解析式を導出した.論理回路は,インバータやNORなどの論理ゲートによって構成されている.それら論理ゲートに放射線が当たると,ノイズパルスが発生してしまい,それによって回路がソフトエラーという誤動作を起こす.このノイズパルスはSET(Single Event Transient)と呼ばれている.その波形情報は,物理メカニズムの考察,最適対策法の確立に欠かせない.論理回路のSET波形を評価する既存の方法は,ある閾値で切った時の時間幅しか評価できず,全波形は実験的に解明されていなかった.この研究課題では,本年度,全波形観測に成功した.モニタリングトランジスタ法という観測手法を考案し,0.2ミクロンルール完全空乏型SOIプロセスで作成したインバータ論理ゲートに適用した.そのインバータ論理ゲートに短パルスレーザ放射線を照射し,発生するSETパルス波形を観測した.観測結果は,参照テーブルを用いた高精度波形推定法で求めた波形と一致した.これにより,観測波形の妥当性を証明した.そして,この観測法を用いて,短パルスレーザ放射線の強度が上がるにつれて,パルスが成長していく様子等を明らかにした.更に,観測波形を物理的に理解するために,波形を決定している物理メカニズムの解明に着手した.SOIプロセスで作成された論理ゲートで発生するSETパルスは,飽和状態にあるバイポーラトランジスタのターンオフ動作で説明できると推論し,SETパルス幅を表わす解析式を導いた.その解析式を,デバイスシミュレーションの結果,そして,上記実測結果と比較した.その結果,解析式が,それらの結果を定性的に説明できることを明らかにした.【成果の内容】最終年度である本年度は,昨年度の成果であるSETの時間幅を説明する式を,波形を表わす式に発展させ,その妥当性をデバイスシミュレーション並びに実験で確認した.そして,一連の成果をまとめた.なお,本年度も昨年と同様にSOIデバイスを想定した.まず,デバイス内部で起きている物理現象をデバイスシミュレーションにより調査した.その結果,二つの時定数が明らかになり,それらを利用して波形を記述する解析式を導出した.その式は放射線の線エネルギー付与(LET)の対数関数と,負荷容量並びに負荷電流を係数に持つ指数関数の和となった.また,この式を元にして,昨年度までは比例式であった時間幅の式を等式に発展させた.次に,得られた式の妥当性をデバイスシミュレーションにより確認した.更に,実験でも妥当性を定性的ではあるが確認した.なお,実験には,昨年度の回路を改良して回路パラメータの依存性を評価できるようにしたものを用いた.実験は米国海軍研究所で実施し,重イオン放射線を模擬した短パルスレーザを用いた.当初検討していた重イオン放射線による実験は都合がつかず見送った.単体ダイオードのレベルでは短パルスレーザは重イオン放射線の代わりになることが確認されており,本研究の成果は重イオン放射線にも適用できると考えている.より一層の確認のために重イオン放射線による波形観測が今後の課題として挙げられる.【本年度の成果の意義】SETパルスが放射線のエネルギーや回路パラメータにどう依存してどのような波形になるかを解明した.放射線試験の結果を補間したり,回路パラメータの変更が放射線耐性にどう影響するか議論したりすることが可能となった.放射線耐性の高い回路,すなわち,信頼性の高い回路の実現に貢献するものである.また,本年度の成果は応用物理学会講演奨励賞に選ばれており,この事からもその意義が認められる.
効率的な極大極小元列挙アルゴリズムのための新しい理論構築とその実用化

極大(極小)解とは、他の解に含まれない(含まない)解であり、多数の解の中で性質の良いものたちの集合である。極大・極小解は一般に近接しておらず、効率的な探索は難しい。本研究では、逆探索や疎性の利用といったアルゴリズム手法を用いて効率的手法の構築法を研究し、多目的最適化、完全列、密部分グラフ、あいまい頻出集合、ディスタンスヒエディタリグラフといった構造に対する効率的な列挙アルゴリズムを与えた。集合族Fが、Fの任意の元の部分集合がFに含まれる、つまり^∀X⊆Y, Y∈F⇒X∈Fという条件を満たすとき、Fは独立集合族である、あるいは単調であるといわれる。また、集合上に定義された真偽関数fが、独立集合族Fの元に対して偽、Fの元でないものには真の値を与えるとき、fは単調であると言われる(両者は基本的に等価である)。独立集合族・単調真偽関数ともに、実世界の多くのシステムを良く表現することができるため、モデルとして重要な役割を持つ。そのため、学習理論、組合せ最適化、データマイニング、組合せ数学など多くの分野で精力的に研究されてきている。本研究課題では、独立集合族の極大元を列挙する問題に対して、実用的に高速なアルゴリズム設計のための理論構築を行うことを目標とする。実用的に高速であるとは、単に多項式時間性のみに着目するのではなく、低次の計算オーダを実現する技術、大規模で疎なデータでの高速性、使用メモリの減少、最悪ケースの解析でなく、実データでの実用的な高速性などの着目し、一般的な極大元列挙問題や、今まで困難と思われてきた問題に対して新たなアルゴリズムを開発することである。具体的には、以下のような研究を行う。(a)一般の極大極小元列挙問題に対して、実用的観点からの問題構造の解析と、実用的に効率的なアルゴリズムの理論構築(b)双対化問題・パターンマイニング問題に対する、時間効率・メモリ効率の良いアルゴリズムの開発(c)極大極小元列挙問題のグラフ構造や文字列構造への一般化と、その効率的なアルゴリズムの開発(d)極大極小元列挙を利用した、効率よい独立集合族の大きさの計算とその元のランダム生成極大(極小)解とは、他の解に含まれない(含まない)解であり、多数の解の中で性質の良いものたちの集合である。多目的最適化問題とは、大きくしたい評価値を複数持つような問題であり、与えられた制約条件を満たす中で、なるべく多くの評価値を大きくする問題である。今回は、解がn次元ベクトルであり、評価値が線形、制約条件も線形である問題を考えた。解ベクトルの中で、制約条件を満たすような微細な変動をどのように加えても、必ずいずれかの評価値が悪くなってしまうようなものを極大解と定義する。制約条件を満たす解の集合は多面体を形成するが、極大解はその多面体の端点に対応する。この問題は古くから知られ研究が行われてきたが、完全に列挙する効率良い方法に関しては研究が少ない。今年度の研究では極大解の列挙問題に対して初めて出力数線形時間の逆探索アルゴリズムを開発した。また同時に、シンプルな解法ではNP困難問題に突き当たるため、多項式時間アルゴリズムは望めないことも合わせて示した。頻出集合とは、各項目がアイテムの集合であるデータベースの多くの項目に現れるアイテム集合である。アイテム集合の族は単調生を満たすため、極大解が自然に定義され、その列挙も盛んに研究されてきた。今回は現実問題の応用から、包含関係にあいまいさを導入し、頻出集合を拡張した疑似頻出集合の概念を導入した。疑似頻出集合も単調生を満たすため、極大解が自然に定義でき、既存の手法が直接的に利用できることを示した。また、ある程度の大きさの疑似頻出集合を直接的に見つけるアルゴリズムも提案した。また、ディスタンスヒエディタリーグラフという距離保存性を持つグラフクラスに対して、唯一的なコードを与えて同型生からくるゆらぎを排除する手法を考案し、同時にコードを列挙することでディスタンスヒエディタリーグラフを多項式時間で列挙するアルゴリズムを開発した。これは、頻出パターン発見における同グラフの利用を可能とし、同時に極大解の列挙も可能にした。コーダルグラフとは、長さ4以上のサイクルが必ずショートカットを持つグラフのことを言う。本年度の研究では、コーダルグラフに含まれる部分コーダルグラフの列挙問題に対して、指定した枝を含み、他の指定された枝を含まないようなもののみを列挙するアルゴリズムについて研究を行ない、遅延が多項式時間であるアルゴリズムを開発した。また、同時に同問題の数え上げが困難であることも証明した。コーダルグラフから極大なクリークを逐次的に取り除いて得られるクリークの列を完全列という。完全列はクリークを除去する列の中で極大なものである。本年度の研究では、完全列をグラフ的に特徴付けることにより効率的な列挙手法を開発し、遅延が0(1)である、つまり計算量的には最適であるアルゴリズムを開発した。また、データマイニングの問題で、巨大な文字列から類似する部分文字列の組を全て見つけ出す問題に対して、効率的なアルゴリズムを開発した。

また、連続的ハミング距離というあたらしい距離を導入し、この距離のもとでは極大な類似文字列が単純な形で定義され、かつ前述のアルゴリズムに、速度を大きく損なうことない改良を加えることで列挙できることを示した。また、グラフに含まれる密部分グラフ、アイテム集合データベースの多くの項目にある程度のあいまいさを許した上で含まれるようなアイテム集合(あいまい頻出集合)を列挙するアルゴリズムを開発した。両者共に逆探索という列挙手法を用いることで、1つあたり多項式時間での列挙を達成した。このアルゴリズムを用いて、極大な密部分グラフ、極大なあいまいな頻出集合を短時間で列挙することも可能である。本年は、極大な疑似クリークを列挙するアルゴリズムを開発した。疑似クリークとはクリークに近い密な部分グラフのことであり、極大な疑似クリークのみを見つけることで効率良いデータ解析が可能になる。このアルゴリズムは疑似クリーク列挙アルゴリズムと極大性の効率的な判定により実現した。このプログラムは効率的な実装もあわせて開発し、ホームページ上で公開している。このプログラムは、現実の問題で扱うような大規模なグラフに対しても短時間で計算が終了し、既存の手法よりもはるかに高速な求解が可能になっている。また、列挙だけでなく、極大元の数え上げについても研究を行った。その始まりとして、マッチングの数え上げに関して研究を行った。マッチングの数え上げは、一般的に非常に難しい問題と見なされているが、マッチングの数え上げに関しても、コーダルグラフなどの基本的なグラフクラスでも難しいことを、集合被覆の数え上げという困難性が示されている問題を帰着することで証明した。また、チェイングラフという非常に基礎的なクラスでは解けることを示した。また、この成果を拡張して、距離保存グラフやトレマイックグラフなどのクリーク幅が小さいグラフクラスにおいては、極大マッチングの数え上げが多項式時間で効率良く行えることを示した。この結果を拡張することで、それらのグラフでのパスやパスマッチングの数を数えることが多項式時間でできることを証明した。これらの結果については現在国際会議に投稿中である。パレート最適解とは、複数の目的関数が存在する最適化問題に対して、全ての目的関数において優位である他の解が存在しないような解のことであり、最適化問題における極大解に対応する。これらパレート最適解を列挙する多項式時間アルゴリズムを設計することに成功した。コーダルグラフはグラフクラスの中で基礎的な構造であり、完全列はコーダルグラフから導かれる構造である。これらの構造に対して高速な多項式時間列挙アルゴリズムを開発した。また、コーダルグラフに関しては数え上げやサンプリングに関しても研究を行い、計算論的な問題の難しさを証明した。また今年度は、ハイパーグラフ双対化という、極大要素列挙の基礎的な問題に対して、高速な計算手法を開発した。既存の手法とは異なり大きくメモリ使用量が減少させることに成功しており、また計算速度についても大きく向上している。これについては実装と実験が終了し、現在国際会議に投稿中である。極大な要素を列挙するアルゴリズムは、ある種のオラクルを仮定することで一般的な枠組みで議論されることが多い。