Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
14
0
0
0
型理論-1- (関数型プログラミングと計算の基礎<特集>)
著者
竜田 真
Makoto Tatsuta
東北大学電気通信研究所
出版者
日本ソフトウェア科学会
雑誌
コンピュ-タソフトウェア
(
ISSN:02896540
)
巻号頁・発行日
vol.8, no.1, pp.p25-33, 1991-01
被引用文献数
3
言及状況
変動(ピーク前後)
変動(月別)
分布
はてなブックマーク
(4 users, 4 posts)
[paper][type]
[type][logic][programming][lambda][functional]
[type_theory]
Twitter
(10 users, 14 posts, 8 favorites)
型とはから始まってるしいいかも https://t.co/3pRziO7epE
@nf_spitz あーなるほど。型理論かな? https://t.co/2zUK8mOviG
@nf_spitz あーなるほど。型理論かな? https://t.co/2zUK8mOviG
@its_out_of_tune あと「型理論」シリーズ http://t.co/DMUya0cJY1 http://t.co/a6pJ3TFiMY http://t.co/fptcjalwaH http://t.co/ndmFmPcGFs
@ccccccccandy 型推論というか型理論だけなら、基礎論の知識なくてもこの PDF がわかりやすいよー http://t.co/ufpnR0XL http://t.co/uaVrg0Yc http://t.co/rj5VsHjb http://t.co/28lLSO9O
@fumieval この辺りのはどうでしょう? http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6
RT @dico_leque : あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す
RT @dico_leque : あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す
あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す
収集済み URL リスト
https://ci.nii.ac.jp/els/110003743606.pdf?id=ART0004921077&type=pdf&lang=jp&host=cinii&order_no=&ppv_type=0&lang_sw=&no=1486055343&cp=
(1)
https://ci.nii.ac.jp/els/contentscinii_20180409114304.pdf?id=ART0004921077
(1)
https://ci.nii.ac.jp/els/contentscinii_20180417170716.pdf?id=ART0004921077
(1)
https://ci.nii.ac.jp/naid/110003743606
(5)
https://ci.nii.ac.jp/naid/110003743606/
(9)