論文 - 戸次　大介

分割表示  157 件中 101 - 120 件目  ／  全件表示 >>

  1. A Type-theoretic Approach to Double Negation Elimination in Anaphora

    ー巻ー号(頁56 - 68), 2013年, Bekki, Daisuke., 原著, 研究論文（学術雑誌）, 単著

  2. Conjoined nominal expressions in Japanese － Interpretation through monad － (revised version)

    New Frontiers in Artificial Intelligence, , ー巻ー号(頁ー), 2012年07月, J.-R. Hayashishita Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  3. Conjoined nominal expressions in Japanese - Interpretation through monad -

    New Frontiers in Artificial Intelligence (LNAI 7258), , ー巻ー号(頁ー), 2012年07月, J.-R. Hayashishita Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  4. Toward the formulation of presupposition by Illative Combinatory Logic

    Logical Aspects of Computational Linguistics (LNAI 7351), , ー巻ー号(頁ー), 2012年07月, Ishishita, Yuri Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  5. Extractability as Deduction Theorem in Subdirectional Combiantory Logic

    Logical Aspects of Computational Linguistics (LNAI 7351), , ー巻ー号(頁ー), 2012年07月, Ozaki, Hiroko Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  6. Illative Combinatory Logic を用いた前提の定式化に向けて

    PPL2012論文集, , ー巻ー号(頁ー), 2012年03月, 石下裕里 戸次大介, 原著, 研究論文（学術雑誌）, 共著者

  7. 一階述語条件論理VCb(CI)とそのタブローシステム

    PPL2012論文集, , ー巻ー号(頁ー), 2012年03月, 尾崎有梨 戸次大介, 原著, 研究論文（学術雑誌）, 共著者

  8. Conjoined nominal expressions in Japanese: Interpretation through monad

    Proceedings of LENLS8, , ー巻ー号(頁ー), 2011年12月, Hayahishita, J.-R. Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  9. 言語情報の確実性アノテーションのための韓国語の様相表現の分類

    中華日本研究, , ー巻ー号(頁ー), 2011年12月, 齊藤学. 崔栄殊. 戸次大介. 片岡喜代子. 川添愛, 原著, 研究論文（大学，研究機関等紀要）, 共著者

  10. Extractability as Deduction Theorem in Subdirectional Combinatory Logic

    Proceedings of LENLS8, , ー巻ー号(頁ー), 2011年12月, Ozaki, Hiroko Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  11. Combinatory Categorial Grammar as a Substructural Logic － Preliminary Remarks － (revised version)

    New Frontiers in Artificial Intelligence, , ー巻ー号(頁ー), 2011年07月, Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 単著

  12. Combinatory Categorial Grammar as a Substructural Logic - Preliminary Remarks -

    New Frontiers in Artificial Intelligence (LNAI 6797), , ー巻ー号(頁ー), 2011年07月, Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 単著

  13. Conditional Logic Cb and its Tableau System

    Logical Aspects of Computational Linguistics (LNAI 6736), , ー巻ー号(頁ー), 2011年07月, Ozaki, Yuri Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  14. Conditional Logic Cb and its Tableau System

    Proceedings of LACL2011, , ー巻ー号(頁ー), 2011年06月, Yuri, Ozaki Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 共著者

  15. 条件論理Cbとそのタブローシステム

    PPL2011論文集, , ー巻ー号(頁ー), 2011年03月, 尾崎有梨, 戸次大介, 原著, 研究論文（学術雑誌）, 共著者

  16. メタラムダ計算の圏論的意味論

    PPL2011論文集, , ー巻ー号(頁ー), 2011年03月, 増子萌, 戸次大介, 原著, 研究論文（学術雑誌）, 共著者

  17. 言語情報の確実性アノテーションのための様相表現の分類

    九州大学言語学論集, 第31号, , ー巻ー号(頁ー), 2010年12月, 川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介, 原著, 研究論文（学術雑誌）, 共著者

  18. Combinatory Categorial Grammar as a Substructural Logic － Preliminary Remarks －

    Proceedings of LENLS7, , ー巻ー号(頁ー), 2010年11月, Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 単著

  19. Representing Covert Movements by Delimited Continuations

    New Frontiers in Artificial Intelligence, , ー巻ー号(頁ー), 2010年07月, Bekki, Daisuke Kenichi Asai, 原著, 研究論文（学術雑誌）, 第一著者相当

  20. Representing Covert Movements by Delimited Continuations

    New Frontiers in Artificial Intelligence (LNAI6284), , ー巻ー号(頁ー), 2010年07月, Bekki, Daisuke, 原著, 研究論文（学術雑誌）, 第一著者相当

< 前のページ - 次のページ >

このページの先頭へ▲