Embedded Files
自己紹介/Profile
自己紹介/Profile
名前/Name
名前/Name
大洞 日音 (Daido Hinari)
所属 / Current Position
所属 / Current Position
Master's student in Department of Computer Science, Graduate School of Humanities and Science, Advanced Science , Ochanomizu University Bekki Laboratory.
連絡先/Contact
連絡先/Contact
〒112-8610 東京都文京区大塚2-1-1 理学部3号館308 / 2-1-1 Otsuka, Bunkyo-ku, Tokyo 112-8610, Japan
E-mail : g1620520 [at] is.ocha.ac.jp
キーワード/ keyword for research
キーワード/ keyword for research
自然言語推論 / Natural Language Inference
依存型意味論 / Dependent Type Semantics
定理証明器 / Theorem Prover
学会での発表 / PUBLICATIONS
学会での発表 / PUBLICATIONS
Refereed / 査読あり
Hinari Daido and Daisuke Bekki.
Development of an automated theorem prover for the fragment of DTS.
LENLS17 2020.
[slide]
Unrefereed / 査読なし
下村光彦, 弘中智彦, 井出竜鳳, 大洞日音, 倉田伊織, 永田基樹, 森遼太 (pluszero).
意味表現N3 (Non-loss Normalized Network)とグラフマッチングによる機械読解エンジン.
言語処理学会年次大会 2020.
[paper]
資格/ Qualifications
資格/ Qualifications
2016/12
語彙・読解力検定 1級取得
2019/4
enPiT AiBiC 修了
2019/05
基本情報技術者試験 合格
2019/11
応用情報技術者試験 合格
2020/03
中等学校教諭一種免許状(数学)
高等学校教諭一種免許状(数学・情報)
2020/03
お茶の水女子大学Advanced Communication Training プログラム修了
趣味/Hobby
趣味/Hobby
インターンシップ / Internship
インターンシップ / Internship
2017/05-07
Google 2018年度夏季エンジニアリングトレーニングプログラム(STEP) 育成コース
2018/09
NTTドコモ 新ビジネス創造インターンシップ
2019/02-
株式会社pluszero
2020/08/17-09/01
KDDI総合研究所
2020/08/25
awsジャパン クラウドサポートエンジニア
2020/09/02
ベネッセコーポレーション「つくる、教育×DIGITAL」
2020/09/09
読売テレビ【技術・ICTコース】基礎編
2020/09/23 , 10/6
日本銀行システムエンジニア・インターンシップ
プロジェクト/Project
プロジェクト/Project
2018/09
NTTドコモ
新ビジネス創造インターンシップ
優勝
2018/09-2019/03
ビッグデータ・AI・クラウド技術を用いた課題解決人材育成プロジェクト
マホロバ・マインズ賞
2019/11
令和2年度お茶の水女子大学桜蔭会研究奨励賞受賞
2020/09/02
ベネッセコーポレーション
「つくる、教育×DIGITAL」
優秀賞
学歴 / Education
学歴 / Education
2016/04-2020/03
お茶の水女子大学 理学部 情報科学科 / Bachelor's degree of Science from Ochanomizu University, Tokyo, JAPAN
Report abuse