並列法的推論実験システム HELIC-II
next previous contents