刷新
{{item.name}}会员
Analysis of probabilistic systems by relational and algebraic methods
通过关系和代数方法分析概率系统
基本信息
- 批准号：16K21557
- 负责人：
- 金额：$ 1.25万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2016
- 资助国家：日本
- 起止时间：2016-04-01 至 2018-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（12）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Axiom of Choice and Zorn's Lemma in Cantor Categories
康托范畴中的选择公理和佐恩引理
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：H. Furusawa;Y. Kawahara;N. Tsumagari
- 通讯作者：N. Tsumagari
多重関係の合成とリフティングの関係的形式化
多重关系的合成和提升的关系形式化
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：H. Furusawa;Y. Kawahara;N. Tsumagari;津曲 紀宏
- 通讯作者：津曲 紀宏
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations
Kleisli、Parikh 和 Peleg 多重关系的组合和提升
- DOI：10.1016/j.jlamp.2017.04.002
- 发表时间：2017
- 期刊：
- 影响因子：0.9
- 作者：Hitoshi Furusawa;Yasuo Kawahara;Georg Struth;Norihiro Tsumagari
- 通讯作者：Norihiro Tsumagari
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
TSUMAGARI Norihiro其他文献
TSUMAGARI Norihiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
自然言語における感嘆文の意味論・語用論に対する形式的アプローチ
自然语言感叹句语义和语用的形式化方法
- 批准号：
24K16069 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
依存型意味論による自然言語の意味の研究とその自動検証
基于依赖语义的自然语言意义及其自动验证研究
- 批准号：
23K28142 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
統辞論と意味論の脳機能局在の精緻化、及び神経モデルによる言語的記号の出自の解明
阐述句法和语义的脑功能定位，并利用神经模型阐明语言符号的起源
- 批准号：
24K16045 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
「品詞の創発的獲得仮説」を巡るフレーム意味論・構文文法的研究－名詞転換動詞を例に
“词类涌现习得假说”的框架语义与句法语法研究——以名词转换动词为例
- 批准号：
24KJ0491 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for JSPS Fellows
手話言語における談話的特性とその発生：統語論・意味論との連携と応用
手语中的话语特征及其出现：与语法和语义的联系和应用
- 批准号：
24K00064 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
日本語終助詞に関する包括的意味論・統語論の構築
日语词尾助词的综合语义和句法构建
- 批准号：
24K16072 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
名詞句と複数形態素の解釈についての言語心理学研究ー意味論・語用論の検証を目指して
名词短语和复数语素解释的心理语言学研究——旨在验证语义和语用
- 批准号：
24K03908 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
非古典論理の導入による形式意味論の一階述語論理化
通过引入非经典逻辑将形式语义转换为一阶谓词逻辑
- 批准号：
24KJ0952 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for JSPS Fellows
百科事典的意味論に基づくレキシコンの研究：大規模コーパスを用いた実証的研究
基于百科全书语义的词典研究：基于大规模语料库的实证研究
- 批准号：
23K25326 - 财政年份：2024
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
The theory of meaning via dependent type semantics and its automatic verification
基于依赖类型语义的意义理论及其自动验证
- 批准号：
23H03452 - 财政年份：2023
- 资助金额：
$ 1.25万 - 项目类别：
Grant-in-Aid for Scientific Research (B)