サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「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
×

hontoからおトクな情報をお届けします!

割引きクーポンや人気の特集ページ、ほしい本の値下げ情報などをプッシュ通知でいち早くお届けします。