サイト内検索

詳細検索

ヘルプ

セーフサーチについて

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

収録作品一覧

作品 著者 ページ
Attachment of a first‐order data constructor and its application Hiroyuki Sato 著 1-12
A smoothing algorithm of polygonal curves and polyhedral surfaces Yoshio Ohno 著 13-44
A technique for prolog program synthesis from natural language specification Kunikazu Fujii 著 45-59
Processing left extraposition in a bottom‐up parsing system Satoshi Kinoshita 著 61-77
On learning Smullyan’s elementary formal systems Yasubumi Sakakibara 著 79-101
A data model in the software project database KyotoDB Yoshihiro Matsumoto 著 103-121
Hamada floating‐point numbers and real numbers Hiroshi Horiguchi 著 123-130
An efficient multiple string replacing algorithm using patterns with pictures Masayuki Takeda 著 131-151
Kamui88:a parallel computation model with fields and events Shin‐ya Watanabe ほか著 153-175
Formation and development of the concept of algorithm Ken Hirose 著 177-196
WEB System and its processor Tsunetoshi Hayashi 著 197-208