imunolion (Twitter) - ユーザ詳細

imuno@シリコンバレー7年目 (@imunolion)

投稿
お気に入り
フォロー
フォロワー

投稿一覧（最新100件）

1 0 0 0 OA スクリプト言語用リアルタイムプロファイラのためのフレームワークの設計と実装

@nagise 当時の論文みつけました．https://t.co/lF25QrPALN

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

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

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

23 0 0 0 OA システムソフトウェア研究の移り変わり

"システムソフトウェア研究の移り変わり" https://t.co/JJyEoLRlRe むちゃくちゃ面白いな！