仮説論理解析プログラム
【かせつろんりかいせきぷろぐらむ】
【kasetsuronrikaisekipuroguramu】
假设逻辑分析器