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

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

RT @f_nisihara: 「大学学部生の科学技術情報と進路選択に対する意識」という調査 https://t.co/cKliAt3gHy によれば、「抗菌剤は、バクテリアと同様、ウイルスの増殖も抑える」という文に対する○×問題（答は×）に正解した大学学部生はたったの 24.…

RT @f_nisihara: 「大学学部生の科学技術情報と進路選択に対する意識」という調査 https://t.co/cKliAt3gHy によれば、「抗菌剤は、バクテリアと同様、ウイルスの増殖も抑える」という文に対する○×問題（答は×）に正解した大学学部生はたったの 24.…

@ytb_at_twt 予稿集はこちら（→）です。 https://t.co/8svKjTs1TY

JSAI発表一本目「依存型意味論における型チェックの実装の試み」 https://t.co/fYp017vWW5

将棋AI がプロ棋士の棋譜に与えた影響 ―定量的分析からの考察― 興味深い論文ですね。直近10年における40手目以降の平均損失(1手平均でどれだけ将棋AI最善から評価値を落としたかの値。棋力と相関あり）は、A級棋士のみ有意に向上しており、その他のクラスでは差がないと。 https://t.co/LO0w8Pi5hq

2017年に人工知能学会の『人工知能』に書いた拙論、「麦とペッパー」がJ-STAGEで公開されてた。 https://t.co/f2DKkhGhKB

大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

@1t0ocha 先生にご寄稿いただいた記事、IT企業にとっても大変示唆に富む内容です。 JSAI会員でしたら、以下のリンクからすぐにお読みいただけます。 https://t.co/pl66BcaECb Amazonでの購入も可能です。 https://t.co/yek7V5HHWq https://t.co/aHejS1t8VY

リポジトリで公開されていました→「無知の責任と無知による行為の責任」『国際哲学研究』9号 https://t.co/uDXIc0goLO

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

文章まわりの仕事をしておられる方は、ぜひご一読を。 「正しく伝わる日本語のために：共同通信社記者ハンドブックの成り立ち 」 成川 祐一　情報管理　Vol. 60 (2017) No. 2 p. 69-78 https://t.co/Mfde51c8YN https://t.co/h5qPha89Yk

「楕円曲線　細胞分裂」でググったらなんかすんごいのが出てきました… （リンデンマイヤ・システムから導出した隣接細胞間の相互作用ルールをなんかすごい変換でいじくったら楕円曲線の標準形が出てくる…） https://t.co/SATuReDT83 これが『代数生物学』… https://t.co/0qnOuWrx20

直観主義的型理論上でどの程度循環的な集合の定義ができるのかは、非常にホットな現代的話題である。興味をお持ちの方は拙論をご覧下さい（宣伝） http://t.co/uokRjiFmnN 「循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響」

むらかみさんグッジョブ！https://t.co/tgrXTJP3

すさまじ。 QT @hikita: この論文凄い RT @a_saitoh: 所属もなかなか・・・。それ所属じゃなくて居所では？ RT: @zu2: 著者名が / / “CiNii 論文 - 皇居におけるタヌキの食性とその季節変動” http://t.co/27T3azJ8

私の論文「大きな数としての超準数 : 超準数と厳格有限主義」も公開されました。 http://t.co/adxWwcG6 ご意見・ご感想をいただければ幸いです。

[カテゴリー理論的関数型プログラミング言語] http://ci.nii.ac.jp/naid/110003743564