査読有り 2014年 単純かつ実用的な静的サイズ検査つき線形代数演算ライブラリ 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 阿部 晃典, 住井 英二郎 開始ページ 1 終了ページ 16 記述言語 日本語 掲載種別 研究論文(その他学術会議資料等) エクスポート BibTeX RIS