Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. denjiry

denjiry (@denjiry)

投稿一覧（最新100件）

9 0 0 0 OA 人工演繹推論コーパスによる学習は言語モデルをどのように強化するか?

RT @MorishTr: 発表します:人工演繹推論コーパスによる学習は言語モデルをどのように強化するか？ https://t.co/0HpxPvAup9 言語モデルの論理推論能力を強化するため、数理論理学に基づく大規模コーパスを生成したよ。一階述語論理の完全性を頼りに、多様…

22 0 0 0 OA 意味論の証明論的転回

RT @kaleidotheater: 依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文（4ページ）がお勧めです。 「意味論の証明論的転回」(戸次ら2017） https://t.co/uH0vRJWG0S 依存型理論からDTSに至…

66 0 0 0 OA 形式言語理論:非可換と可換のあいだ

RT @sinya8282: 昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入…

34 0 0 0 OA 辞書に基づく単語の再帰的語義展開

RT @potpotkettle: @yos1up すこし違いますが、減衰係数をかけて代入を繰り返して計算解を出すという手法もあります。 鈴木敏『辞書に基づく単語の再帰的語義展開』 https://t.co/Fy1Hj67Bng

6 0 0 0 OA 論証対話システムにおける情報探索対話戦略の最適化

論証対話システムにおける情報探索対話戦略の最適化 https://t.co/JLlbk9NPY9

15 0 0 0 OA 間接検証としての演繹的推論

RT @takuro_onishi: YouTubeのコメントで「主張」と「否認」の関係について質問が出ていたのでこの論文をおすすめしました。便乗して宣伝すると、私の論文↓がそれについて、Restall論文に依拠してねちっこく論じているので興味ある方はどうぞ。用語は「検証」と「…

12 0 0 0 OA できるできる詐欺からの脱却

RT @tsuchm: できるできる詐欺からの脱却 https://t.co/VTEErOJuHl って、本当に難しい。データセットを細かく見直していると、なにが解けたことになっているのか、さっぱりわからなくなってきます。

1 0 0 0 OA IS-A関係の論理システムとしてのオントロジー II

@takum97 ありがとうございます！！！！！！！！！！ https://t.co/UKRlNW1dFT こんなのみつけたのと、 https://t.co/XaiS2lDZwt wikipediaでこういう記述だけ見つけれたのですがここのことでしょうか…？

4 0 0 0 OA 自然演繹に基づく論理推論の文間類似度学習・ 含意関係認識への応用

https://t.co/RCdFmdWI89 文の類似度を、高階述語論理式に変換された文間の含意関係の証明の実行過程と判定結果をつかって計算する手法 "自然演繹に基づく論理推論の文間類似度学習・含意関係認識への応用"『自然言語処理』2018年6月

5 0 0 0 OA マルチエージェントシステムを利用したパニック発生のメカニズムに関する研究

RT @tmaehara: 「巡回サラリーマン」も https://t.co/ctkYwPuFF7 https://t.co/K0blLukGPm などで見つかるのよねえ．

8 0 0 0 OA コラム

RT @ychtanaka: 『「負けず嫌い・打たれ強い・粘り強い」．これらは，進学する人に見られる共通の性格と誤解されがちである．しかし最初から皆そんなに鼻っ柱が強いわけではない．環境や経験が人を変える』 https://t.co/wgS73aBLZ4

お気に入り一覧（最新100件）

9 0 0 0 OA 人工演繹推論コーパスによる学習は言語モデルをどのように強化するか?

発表します:人工演繹推論コーパスによる学習は言語モデルをどのように強化するか？ https://t.co/0HpxPvAup9 言語モデルの論理推論能力を強化するため、数理論理学に基づく大規模コーパスを生成したよ。一階述語論理の完全性を頼りに、多様な多段演繹推論を学習させる。実験で効果を確認。 #JSAI2023

22 0 0 0 OA 意味論の証明論的転回

依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文（4ページ）がお勧めです。 「意味論の証明論的転回」(戸次ら2017） https://t.co/uH0vRJWG0S 依存型理論からDTSに至る経緯と関連論文、および2017年6月までのDTSによる意味論研究についてまとめてあります。

66 0 0 0 OA 形式言語理論:非可換と可換のあいだ

昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入れてみました． https://t.co/B4PKRNZb6p https://t.co/qc71Z2O43m

5 0 0 0 OA 範疇文法の構文解析についての圏論的な視点

範疇文法の構文解析についての圏論的な視点 https://t.co/HSXTG4FRfY

5 0 0 0 OA 合理主義言語学における部分構造論理(<特集>ポスト経験主義の言語処理)

ところで誤字見つけた（loves, Mary→S\NPのはず）。 https://t.co/JIAmilwPv4 https://t.co/0Um6dfqhTr

1 0 0 0 ACL 2020 参加報告

#ACL2020 の学会参加報告が #情報処理学会 の学会誌に掲載されました。オンライン国際学会について語ってます。読んでいただけると嬉しいです。執筆依頼も歓迎です！https://t.co/qoM622kFby　また、人工知能学会全国大会優秀賞が #人工知能学会 の学会誌に掲載されました。　https://t.co/qnz5vcpt4m

34 0 0 0 OA 辞書に基づく単語の再帰的語義展開

@yos1up すこし違いますが、減衰係数をかけて代入を繰り返して計算解を出すという手法もあります。 鈴木敏『辞書に基づく単語の再帰的語義展開』 https://t.co/Fy1Hj67Bng

3 0 0 0 契約書における権利義務の認識

本日の14時より論文の口頭発表を行います． 「ニューラルネットワークを用いて契約書から権利や義務を自動で認識する」という内容です． もしよろしければいらして下さい！ #JSAI2020 2020年度 人工知能学会全国大会（第34回）/契約書における権利義務の認識 https://t.co/r7MaZwzXG2

100 0 0 0 OA 物体認識のための畳み込みニューラルネットワークの研究動向

昔頑張って作った資料が10万viewいってるー！ https://t.co/J54ifMmUkG アップデート版の論文もよろしくお願いいたします（もう古くなってしまった気も） → https://t.co/shIP86wHq1 https://t.co/sABsRQWHwn

15 0 0 0 OA 間接検証としての演繹的推論

YouTubeのコメントで「主張」と「否認」の関係について質問が出ていたのでこの論文をおすすめしました。便乗して宣伝すると、私の論文↓がそれについて、Restall論文に依拠してねちっこく論じているので興味ある方はどうぞ。用語は「検証」と「反証」を使ってます。 https://t.co/3fQPwj6IJc https://t.co/YVBVydYCPD

18 0 0 0 OA テキスト情報と画像情報を組み合わせた論理推論システムの構築

戸次研M1の鈴木莉子さんらによる論文「テキスト情報と画像情報を組み合わせた論理推論システムの構築」が、人工知能学会2019年度全国大会優秀賞（口頭発表部門）を受賞しました（学会誌「人工知能」Vol34,No.6に記事有り）。 https://t.co/d9eVVSyUt0 https://t.co/4X7ls40CqC

28 0 0 0 OA 視点 女性研究者のリアル:その3 「輝く」ために断る勇気

坊農さんのこの記事は、人工知能学会の表紙問題に興味がある人も、研究者を目指す方々も、一度読んだほうが良いと思う /J-STAGE Articles - 視点　女性研究者のリアル：その3 「輝く」ために断る勇気 https://t.co/lWfyt7X9Pa

282 0 0 0 OA オートマトン理論再考

“オートマトン理論はコンピュータサイエンス(CS)の基礎づけに大いに貢献しており，その意味でCSにおける線形代数と言っても過言ではないのかもしれない．実はこれは単なる比喩的な標語ではなく，技術的に， オートマトン理論と線形代数を強く結びつけることができる．” https://t.co/YTHDDa010k

9 0 0 0 OA トポロジー最適化の概要と新展開

とりあえずみんなこれでざっくり概要つかんで https://t.co/ErMT9EEAsW

184 0 0 0 OA グリーンスーパーコンピュータZettaScalerの技術と今後の展望

あなたが資料ほしいって言ったんだろ。。 1つ前だけど基幹技術は同じなので。こういう事やってるから早いんだよ。これでわかる？ https://t.co/8gvj4UEtuB https://t.co/S9XE8CvLI2

184 0 0 0 OA グリーンスーパーコンピュータZettaScalerの技術と今後の展望

PEZY の論文 ( https://t.co/w4rekw0H8V )、Deep Learningへの応用について書いてあるけど実際あれでNNやってるケースあるの？Shoubu使って山崎先生が小脳シミュレーションやったのはあるか

2 0 0 0 OA 力学系学習木 - 連続力学系の階層型学習 -

これがDeep binary treeの元論文かな: JAIRO | 力学系学習木 - 連続力学系の階層型学習 - https://t.co/nqAuj5XEsW

5 0 0 0 OA PyJer:高位合成ツールとSoCを用いたIoT向けデバイスプロトタイピングのためのフレームワーク

色々組み合わせて使うのはけっこうハードル高い気がしてしまう．面白そうだけど．無料で読める → PyJer：高位合成ツールとSoCを用いたIoT向けデバイスプロトタイピングのためのフレームワーク https://t.co/qNnUwSivTX

フォロー（1679ユーザ）の投稿一覧（直近7日間）

フォロワー（779ユーザ）の投稿一覧（直近7日間）