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

ころ (@koropicot)

投稿一覧（最新100件）

43 0 0 0 カテゴリー理論的関数型プログラミング言語

@phi16_ この部誌http://t.co/4oRtVhvvaY とか、 http://t.co/mnxqioYzG0 とか

43 0 0 0 カテゴリー理論的関数型プログラミング言語

詳しくはこの辺とか http://t.co/mnxqioYzG0 この辺とか http://t.co/gxv6MmZlSp

43 0 0 0 カテゴリー理論的関数型プログラミング言語

@qliyd CategoricalProgrammingLanguage http://t.co/KrYHLWjI1n http://t.co/mnxqipfCI0

43 0 0 0 カテゴリー理論的関数型プログラミング言語

CiNii 論文 -  カテゴリー理論的関数型プログラミング言語 http://t.co/yekO9ggw なんか楽しそうなんだけど理解する知識が足りない

124 0 0 0 「男の娘」好きの男の子についての考察 (特集 趣味のクロスジェンダー)

RT @noname_lab: …：CiNii 論文 -  「男の娘」好きの男の子についての考察 (特集 趣味のクロスジェンダー)... http://t.co/mXtuQBFO

1 0 0 0 循環構造に適用可能な参照カウント方式GC

@kuina_tesso さっきのの改良版(たぶん) こちらは日本語ですん http://t.co/xh1HYCJT

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

1081 0 0 0 OA 国立国会図書館月報

国立国会図書館は、令和3年度にオープンソースのOCR（光学式文字認識）処理プログラム #NDLOCR を開発し、GitHubでソースコードを公開しています。商用・非商用を問わず自由な利用が可能です。 NDLOCRについては国立国会図書館月報2022年11月号の特集記事でも紹介しています。 https://t.co/XRhRnXyQwa https://t.co/QOdkfrO2DB

11 0 0 0 OA 型理論IV

@koropicot そもそもその *→A は全称型なんだろうかというのもちょっと思った。例えば http://t.co/znT6cxk7rS の型理論シリーズとか

5 0 0 0 オブジェクト指向論理型言語Common ESP

オブジェクト指向論理型言語Common ESP http://t.co/yccLIqgRm2

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

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