サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

収録作品一覧

作品 著者 ページ
Compiling techniques for supercomputers Masaaki Shimasaki 著 1-20
The Japanese software factory Yoshihiro Matsumoto 著 21-42
Join algorithm for multidimensional linear hash databases Motomichi Toyama 著 43-62
A computerational method for evidential reasoning with uncertain information Hayato Ohwada 著 63-86
The unfold/fold transformation for attribute grammars Yoshiyuki Yamashita 著 87-110
Categorical functional programming language Tatsuya Hagino 著 111-135
Categorical assertion sematics in Topoi Yasuo Kawahara 著 137-150
A reflective domain construction for type inheritance and higher‐order generics Hideki Tsuiki 著 151-162
Dynamic manipulation of types in misty Yasushi Kuno 著 163-188