研究Discovery Saga

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報基礎学：predictive inference ／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報基礎学：条件付き独立性／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報基礎学：coq/SSReflect ／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報基礎学：data science ／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報基礎学：transfer Regression ／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報基礎学：universal algebra ／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報基礎学：コピュラ／形式化を含む研究件

❏論理的な日本語表現を支える複合辞形式に関する総合研究(14310194)

【研究テーマ】国語学

【研究代表者】藤田保幸滋賀大学, 教育学部, 教授 (80190049)

【研究期間】2002 - 2004

【キーワード】複合辞 / 形式化 / 機能語 / 文型 / 複文 (他17件)

【概要】本研究は、研究代表者らがこれまでに『現代語複合辞用例集』などの形で積み上げてきた複合辞についての記述研究をふまえ、そうしたそれまでの成果を理論的にもまた個別形式の記述においても深めていくことを意図して企画したものであり、補助金の交付期間中にも、(1)複合辞についての従来の研究を見直して、問題点を明らかにするとともに、(2)複合辞各形式についての各論的記述を深める、という点を中心に研究が進められた。...

【情報学】計算基盤：様相論理／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【情報学】計算基盤：LDPC符号／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：空間結合LDPC符号／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：疎／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：coq ／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：ssreflect ／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：密度発展法／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：マスデジタリゼーション／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：モダン符号／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】計算基盤：モダン符号理論／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】人間情報学：アスペクト／形式化を含む研究件

❏中国語における文法的意味の史的変遷とその要因についての総合的研究(18H00662)

【研究テーマ】

【研究期間】2018-04-01 - 2023-03-31

【研究代表者】大西克也東京大学, 大学院人文社会系研究科(文学部), 教授 (10272452)

【キーワード】言語学 / 中国語 / 歴史言語学 / 文法的意味 / 形式化 (他23件)

【概要】2021年度はオンライン環境が整ったことを受け、共通課題に関する2度の定例研究会をオンラインで再開した他、各分担者は課題に関する以下の実績を上げた。大西は中古に成立した「有」字時間的存在構文の形成プロセスの解明に取り組み、空間を主語とする「有」字空間的存在が上古後期に成立した後、文頭に立つのが通例であった時間フレーズが、空間へのメタファーによって主語と解釈しなおされたことによって成立し、両者の形...

【情報学】人間情報学：因果推論／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】人間情報学：誤り訂正符号／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】人間情報学：Cain algebra ／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】人間情報学：条件付き独立／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報学フロンティア：型システム／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：型理論／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】情報学フロンティア：分散システム／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【情報学】情報学フロンティア：分散スケジューリング／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：分散環境／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：最適化コンパイラ／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：検証／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：メモリモデル／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：自律分散性／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：XSLT ／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：コンパイラ／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：Itanium2 ／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：性能最適化／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：符号理論／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】情報学フロンティア：最適化／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：情報理論／形式化を含む研究件

【概要】モダン符号の形式化研究として、LDPC符号やsum-product復号に関する定義や性質の形式化や理論の発展を行った。必要に応じ、関連する話題の形式化にも着手した。具体的には、誤り訂正の限界に関わる二元消失通信路やその拡張である二元対称消失通信路の通信路容量の形式化、Stopping Setに関する形式化、実装時にLDPC符号と組合せて用いられることの多いReed-Solomon符号の形式化などで...

【情報学】情報学フロンティア：セキュリテイ／形式化を含む研究件

【概要】本研究の目的は検証付きコンパイラ(Verifying Compiler)をコンパイラ最適化に適用し、最適化の数理的な性質を明らかにし、適用の地平を拡大することにあった。検証付きコンパイラ(Verifying Compiler)は、もともとHoareの提唱したプログラムの正当性を併せて証明するコンパイラシステムとして21世紀の課題として提唱した概念である。本研究で目指すのは、コンパイラ最適化における...

【情報学】情報学フロンティア：ベイズ推定／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【情報学】情報学フロンティア：コーパス／形式化を含む研究件

❏論理的な日本語表現を支える複合辞形式に関する総合研究(14310194)

【研究テーマ】国語学

【研究代表者】藤田保幸滋賀大学, 教育学部, 教授 (80190049)

【研究期間】2002 - 2004

【キーワード】複合辞 / 形式化 / 機能語 / 文型 / 複文 (他17件)

【概要】本研究は、研究代表者らがこれまでに『現代語複合辞用例集』などの形で積み上げてきた複合辞についての記述研究をふまえ、そうしたそれまでの成果を理論的にもまた個別形式の記述においても深めていくことを意図して企画したものであり、補助金の交付期間中にも、(1)複合辞についての従来の研究を見直して、問題点を明らかにするとともに、(2)複合辞各形式についての各論的記述を深める、という点を中心に研究が進められた。...

【情報学】情報学フロンティア：統計的因果推論／形式化を含む研究件

【キーワード】causal inference / conditional independence / formalization / cain / SSReflect (他21件)

【概要】(1) 複数の読影者から得られたクラスターテータに基づいて、2つの画像診断法に対する非劣性検定を提案し、急性くも膜下出血患者に対して実施した動脈瘤診断法から得られたテータに本提案手法を適用し、その有効性を確認した。 (2) 複数の読影者による評価テータを統合するための多次元変量効果モテルを提案し、それに基づいた感度と特異度の推定法や、感度と特異度の同時信頼区間の構築法を提案した。(3) 定理証...

【複合領域】科学社会学・科学技術史：不定性／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：動的認識子／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：2元論／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：内的集合論／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：形式的体系／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：複複系／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：創発性／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：関数マップ／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：存在論的観測／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：ミルナーアトラクタ／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：自然数／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：高次元圏／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：高次元圏論／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】数学：内部観測／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【数物系科学】物理学：複雑系／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【生物学】生物学：翻訳システム／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【工学】機械工学：モダリテイ／形式化を含む研究件

❏論理的な日本語表現を支える複合辞形式に関する総合研究(14310194)

【研究テーマ】国語学

【研究代表者】藤田保幸滋賀大学, 教育学部, 教授 (80190049)

【研究期間】2002 - 2004

【キーワード】複合辞 / 形式化 / 機能語 / 文型 / 複文 (他17件)

【概要】本研究は、研究代表者らがこれまでに『現代語複合辞用例集』などの形で積み上げてきた複合辞についての記述研究をふまえ、そうしたそれまでの成果を理論的にもまた個別形式の記述においても深めていくことを意図して企画したものであり、補助金の交付期間中にも、(1)複合辞についての従来の研究を見直して、問題点を明らかにするとともに、(2)複合辞各形式についての各論的記述を深める、という点を中心に研究が進められた。...

【農学】生産環境農学：分子機械／形式化を含む研究件

【概要】分子生物学の発展により、生物を「分子機械」として詳細に研究できるようになったが、数学の立場から「分子機械」を定式化することは容易ではない。高自由度非線形力学系は複雑系の豊かな数理モデルを与え続けているが、数学的規則を基底とすることが生命現象の理解として、適切かどうかは重要な論点である。当研究計画は、複雑系研究の諸課題中、生命科学の基盤整備の側面に焦点を絞り、現代数学との新たな連携点を見出すことに...

【農学】境界農学：言語学／形式化を含む研究件

❏中国語における文法的意味の史的変遷とその要因についての総合的研究(18H00662)

【研究テーマ】

【研究期間】2018-04-01 - 2023-03-31

【研究代表者】大西克也東京大学, 大学院人文社会系研究科(文学部), 教授 (10272452)

【キーワード】言語学 / 中国語 / 歴史言語学 / 文法的意味 / 形式化 (他23件)

【概要】2021年度はオンライン環境が整ったことを受け、共通課題に関する2度の定例研究会をオンラインで再開した他、各分担者は課題に関する以下の実績を上げた。大西は中古に成立した「有」字時間的存在構文の形成プロセスの解明に取り組み、空間を主語とする「有」字空間的存在が上古後期に成立した後、文頭に立つのが通例であった時間フレーズが、空間へのメタファーによって主語と解釈しなおされたことによって成立し、両者の形...

【医歯薬学】看護学：糖尿病／形式化を含む研究件