Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. はてなブックマーク
  3. takuto_h

id:takuto_h

投稿一覧（最新100件）

1 0 0 0 OA 高効率なI/Oと軽量性を両立するマルチスレッド処理系の設計と実装

高効率なI/Oと軽量性を両立するマルチスレッド処理系の設計と実装

15 0 0 0 IR ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)

4 0 0 0 カテゴリ-理論とプログラミング--カルテシアン閉カテゴリ- (関数型プログラミングと計算の基礎<特集>)

1 0 0 0 存在型と部分型をもつオブジェクト計算モデル