研究Discovery Saga

【概要】宇宙方程式の特殊解であるゲーデル回転宇宙解と、COBE、WMAPによる観測データとの両立は困難であり、彼の宇宙モデルは観測データによりほぼ否定される。従って、ゲーデルが回転宇宙解を導出するときに用いたゲーデル実在論による哲学的議論の成立余地も僅少となる。ゲーデル不完全性定理と命題0906との間に類似関係が成立する。指数関数的膨張を説明する巴構造の進行過程の記述には、高階圏論が応用可能である。 ...

【情報学】計算基盤：Moreau分解／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】計算基盤：オンラインデータ解析／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】計算基盤：カーネル適応フィルタ／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】計算基盤：頑健推定／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】計算基盤：多重スケール性／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】計算基盤：弱凸関数／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】計算基盤：弱凸正則化／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】人間情報学：グループスパース／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】情報学フロンティア：圏論／不完全性を含む研究件

【概要】宇宙方程式の特殊解であるゲーデル回転宇宙解と、COBE、WMAPによる観測データとの両立は困難であり、彼の宇宙モデルは観測データによりほぼ否定される。従って、ゲーデルが回転宇宙解を導出するときに用いたゲーデル実在論による哲学的議論の成立余地も僅少となる。ゲーデル不完全性定理と命題0906との間に類似関係が成立する。指数関数的膨張を説明する巴構造の進行過程の記述には、高階圏論が応用可能である。 ...

【情報学】情報学フロンティア：凸最適化／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】情報学フロンティア：オンライン学習／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【情報学】情報学フロンティア：カーネル法／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【複合領域】社会・安全システム科学：紛争解決／不完全性を含む研究件

【キーワード】アフリカ潜在力 / コンヴィヴィアリティ / 不完全性 / ブリコラージュ / 紛争解決 (他14件)

【概要】本研究では、アフリカを一方的な同情と救済（開発支援）の対象とみなしてきた従来の認識を刷新し、アフリカが有する問題解決と発展への潜在力（アフリカ潜在力）を解明して、それが人類社会の未来に対して貢献できる可能性を学際的かつ総合的に考察した。紛争や環境破壊、ジェンダー格差といった具体的な「問題」が、アフリカ的な思考と実践によって解決可能なことを明らかにし、それを通して人間や社会、歴史に関するこれまでの知...

【複合領域】科学社会学・科学技術史：哲学／不完全性を含む研究件

【概要】宇宙方程式の特殊解であるゲーデル回転宇宙解と、COBE、WMAPによる観測データとの両立は困難であり、彼の宇宙モデルは観測データによりほぼ否定される。従って、ゲーデルが回転宇宙解を導出するときに用いたゲーデル実在論による哲学的議論の成立余地も僅少となる。ゲーデル不完全性定理と命題0906との間に類似関係が成立する。指数関数的膨張を説明する巴構造の進行過程の記述には、高階圏論が応用可能である。 ...

【複合領域】子ども学：市民性／不完全性を含む研究件

【キーワード】アフリカ潜在力 / コンヴィヴィアリティ / 不完全性 / ブリコラージュ / 紛争解決 (他14件)

【概要】本研究では、アフリカを一方的な同情と救済（開発支援）の対象とみなしてきた従来の認識を刷新し、アフリカが有する問題解決と発展への潜在力（アフリカ潜在力）を解明して、それが人類社会の未来に対して貢献できる可能性を学際的かつ総合的に考察した。紛争や環境破壊、ジェンダー格差といった具体的な「問題」が、アフリカ的な思考と実践によって解決可能なことを明らかにし、それを通して人間や社会、歴史に関するこれまでの知...

【数物系科学】数学：集合／不完全性を含む研究件

❏「出来事」を自然に処理する能力をもつ論理体系の構築とその哲学的応用(09610004)

【研究テーマ】哲学

【研究代表者】藁谷敏晴東京工業大学, 大学院・社会理工学研究科, 教授 (80136209)

【研究期間】1997 - 1999

【キーワード】不完全性 / 集合 / 定義 / event / event-ontology (他12件)

【概要】本研究は、出来事に関する国内外の研究の状況や結果を詳細に検討し、出来事を自然に表現し処理する論理言語体系として具体的に展開、構築した。また、構築された論理言語体系をもとに、出来事に関する推論体系の研究に対して本質的拡充となる、因果的命題を含む推論の分析をさらに進めた。また、本研究の主たる成果は次の通りである。 1 標準的論理計算体系を拡張して「出来事」を扱える体系を構築した。この体系では「出来事...

【数物系科学】数学：再生核／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【数物系科学】地球惑星科学：国際研究者交流／不完全性を含む研究件

【概要】宇宙方程式の特殊解であるゲーデル回転宇宙解と、COBE、WMAPによる観測データとの両立は困難であり、彼の宇宙モデルは観測データによりほぼ否定される。従って、ゲーデルが回転宇宙解を導出するときに用いたゲーデル実在論による哲学的議論の成立余地も僅少となる。ゲーデル不完全性定理と命題0906との間に類似関係が成立する。指数関数的膨張を説明する巴構造の進行過程の記述には、高階圏論が応用可能である。 ...

【数物系科学】天文学：国際情報交換／不完全性を含む研究件

【概要】宇宙方程式の特殊解であるゲーデル回転宇宙解と、COBE、WMAPによる観測データとの両立は困難であり、彼の宇宙モデルは観測データによりほぼ否定される。従って、ゲーデルが回転宇宙解を導出するときに用いたゲーデル実在論による哲学的議論の成立余地も僅少となる。ゲーデル不完全性定理と命題0906との間に類似関係が成立する。指数関数的膨張を説明する巴構造の進行過程の記述には、高階圏論が応用可能である。 ...

【数物系科学】天文学：宇宙物理学／不完全性を含む研究件

【概要】宇宙方程式の特殊解であるゲーデル回転宇宙解と、COBE、WMAPによる観測データとの両立は困難であり、彼の宇宙モデルは観測データによりほぼ否定される。従って、ゲーデルが回転宇宙解を導出するときに用いたゲーデル実在論による哲学的議論の成立余地も僅少となる。ゲーデル不完全性定理と命題0906との間に類似関係が成立する。指数関数的膨張を説明する巴構造の進行過程の記述には、高階圏論が応用可能である。 ...

【数物系科学】天文学：宇宙論／不完全性を含む研究件

【概要】宇宙方程式の特殊解であるゲーデル回転宇宙解と、COBE、WMAPによる観測データとの両立は困難であり、彼の宇宙モデルは観測データによりほぼ否定される。従って、ゲーデルが回転宇宙解を導出するときに用いたゲーデル実在論による哲学的議論の成立余地も僅少となる。ゲーデル不完全性定理と命題0906との間に類似関係が成立する。指数関数的膨張を説明する巴構造の進行過程の記述には、高階圏論が応用可能である。 ...

【生物学】生物学：均衡化／不完全性を含む研究件

【キーワード】有限束と無限束 / 貨幣 / 観測過程 / 自己組織化 / コミュニケーション (他8件)

【概要】ブ-ツストラップ系とは、プロセスの機制として弱い論理と強い論理の2つを用意し、両者のコミュニケーションとして構造を現前するシステムであるが、私はこれをより一般化することで以下2つのモデルを導びいた。(1)ケ-ゲル関係-同値関係コミュニケーションに基づく貨幣モデル(2)トリ-・ループ関係コミュニケーションに基づく原生計算モデル。(1)では貨幣の一般交換性である惟移律が完全に満足されない系を考え、その...

【生物学】生物学：原生計算／不完全性を含む研究件

【キーワード】有限束と無限束 / 貨幣 / 観測過程 / 自己組織化 / コミュニケーション (他8件)

【概要】ブ-ツストラップ系とは、プロセスの機制として弱い論理と強い論理の2つを用意し、両者のコミュニケーションとして構造を現前するシステムであるが、私はこれをより一般化することで以下2つのモデルを導びいた。(1)ケ-ゲル関係-同値関係コミュニケーションに基づく貨幣モデル(2)トリ-・ループ関係コミュニケーションに基づく原生計算モデル。(1)では貨幣の一般交換性である惟移律が完全に満足されない系を考え、その...

【生物学】生物学：観測過程／不完全性を含む研究件

【キーワード】有限束と無限束 / 貨幣 / 観測過程 / 自己組織化 / コミュニケーション (他8件)

【概要】ブ-ツストラップ系とは、プロセスの機制として弱い論理と強い論理の2つを用意し、両者のコミュニケーションとして構造を現前するシステムであるが、私はこれをより一般化することで以下2つのモデルを導びいた。(1)ケ-ゲル関係-同値関係コミュニケーションに基づく貨幣モデル(2)トリ-・ループ関係コミュニケーションに基づく原生計算モデル。(1)では貨幣の一般交換性である惟移律が完全に満足されない系を考え、その...

【生物学】生物学：有限束と無限束／不完全性を含む研究件

【キーワード】有限束と無限束 / 貨幣 / 観測過程 / 自己組織化 / コミュニケーション (他8件)

【概要】ブ-ツストラップ系とは、プロセスの機制として弱い論理と強い論理の2つを用意し、両者のコミュニケーションとして構造を現前するシステムであるが、私はこれをより一般化することで以下2つのモデルを導びいた。(1)ケ-ゲル関係-同値関係コミュニケーションに基づく貨幣モデル(2)トリ-・ループ関係コミュニケーションに基づく原生計算モデル。(1)では貨幣の一般交換性である惟移律が完全に満足されない系を考え、その...

【生物学】生物学：貨幣／不完全性を含む研究件

【キーワード】有限束と無限束 / 貨幣 / 観測過程 / 自己組織化 / コミュニケーション (他8件)

【概要】ブ-ツストラップ系とは、プロセスの機制として弱い論理と強い論理の2つを用意し、両者のコミュニケーションとして構造を現前するシステムであるが、私はこれをより一般化することで以下2つのモデルを導びいた。(1)ケ-ゲル関係-同値関係コミュニケーションに基づく貨幣モデル(2)トリ-・ループ関係コミュニケーションに基づく原生計算モデル。(1)では貨幣の一般交換性である惟移律が完全に満足されない系を考え、その...

【工学】機械工学：多重スケール／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【工学】総合工学：オンラインアルゴリズム／不完全性を含む研究件

【キーワード】カーネル法 / オンラインアルゴリズム / 多重スケール / グループスパース / 弱凸関数 (他15件)

【概要】1. Minimax Concave 損失関数（MC損失関数）に基づく外れ値に頑健なグループスパース信号復元アルゴリズムを提案し、有効性を実証した。MC損失関数は、弱凸関数と線形作用素の合成関数となっており、Minimax Concave正則化を取り扱う従来の数学的枠組みをそのまま用いることができなかった。本研究では、Moreau分解を用いて、主双対分離法で解くことのできる形に再定式化するとともに...

【農学】社会経済農学：環境保全／不完全性を含む研究件

【キーワード】アフリカ潜在力 / コンヴィヴィアリティ / 不完全性 / ブリコラージュ / 紛争解決 (他14件)

【概要】本研究では、アフリカを一方的な同情と救済（開発支援）の対象とみなしてきた従来の認識を刷新し、アフリカが有する問題解決と発展への潜在力（アフリカ潜在力）を解明して、それが人類社会の未来に対して貢献できる可能性を学際的かつ総合的に考察した。紛争や環境破壊、ジェンダー格差といった具体的な「問題」が、アフリカ的な思考と実践によって解決可能なことを明らかにし、それを通して人間や社会、歴史に関するこれまでの知...

【医歯薬学】社会医学：アフリカ／不完全性を含む研究件

【キーワード】アフリカ潜在力 / コンヴィヴィアリティ / 不完全性 / ブリコラージュ / 紛争解決 (他14件)

【概要】本研究では、アフリカを一方的な同情と救済（開発支援）の対象とみなしてきた従来の認識を刷新し、アフリカが有する問題解決と発展への潜在力（アフリカ潜在力）を解明して、それが人類社会の未来に対して貢献できる可能性を学際的かつ総合的に考察した。紛争や環境破壊、ジェンダー格差といった具体的な「問題」が、アフリカ的な思考と実践によって解決可能なことを明らかにし、それを通して人間や社会、歴史に関するこれまでの知...

【医歯薬学】薬学：自己組織化／不完全性を含む研究件

【キーワード】有限束と無限束 / 貨幣 / 観測過程 / 自己組織化 / コミュニケーション (他8件)

【概要】ブ-ツストラップ系とは、プロセスの機制として弱い論理と強い論理の2つを用意し、両者のコミュニケーションとして構造を現前するシステムであるが、私はこれをより一般化することで以下2つのモデルを導びいた。(1)ケ-ゲル関係-同値関係コミュニケーションに基づく貨幣モデル(2)トリ-・ループ関係コミュニケーションに基づく原生計算モデル。(1)では貨幣の一般交換性である惟移律が完全に満足されない系を考え、その...

【医歯薬学】看護学：開発／不完全性を含む研究件

【キーワード】アフリカ潜在力 / コンヴィヴィアリティ / 不完全性 / ブリコラージュ / 紛争解決 (他14件)

【概要】本研究では、アフリカを一方的な同情と救済（開発支援）の対象とみなしてきた従来の認識を刷新し、アフリカが有する問題解決と発展への潜在力（アフリカ潜在力）を解明して、それが人類社会の未来に対して貢献できる可能性を学際的かつ総合的に考察した。紛争や環境破壊、ジェンダー格差といった具体的な「問題」が、アフリカ的な思考と実践によって解決可能なことを明らかにし、それを通して人間や社会、歴史に関するこれまでの知...

【医歯薬学】看護学：紛争／不完全性を含む研究件

【キーワード】アフリカ潜在力 / コンヴィヴィアリティ / 不完全性 / ブリコラージュ / 紛争解決 (他14件)

【概要】本研究では、アフリカを一方的な同情と救済（開発支援）の対象とみなしてきた従来の認識を刷新し、アフリカが有する問題解決と発展への潜在力（アフリカ潜在力）を解明して、それが人類社会の未来に対して貢献できる可能性を学際的かつ総合的に考察した。紛争や環境破壊、ジェンダー格差といった具体的な「問題」が、アフリカ的な思考と実践によって解決可能なことを明らかにし、それを通して人間や社会、歴史に関するこれまでの知...

【医歯薬学】看護学：環境／不完全性を含む研究件

【キーワード】アフリカ潜在力 / コンヴィヴィアリティ / 不完全性 / ブリコラージュ / 紛争解決 (他14件)

【概要】本研究では、アフリカを一方的な同情と救済（開発支援）の対象とみなしてきた従来の認識を刷新し、アフリカが有する問題解決と発展への潜在力（アフリカ潜在力）を解明して、それが人類社会の未来に対して貢献できる可能性を学際的かつ総合的に考察した。紛争や環境破壊、ジェンダー格差といった具体的な「問題」が、アフリカ的な思考と実践によって解決可能なことを明らかにし、それを通して人間や社会、歴史に関するこれまでの知...

【医歯薬学】看護学：コミュニケーション／不完全性を含む研究件