11) 対話型証明系 Link copied! Meaning Wikipedia EN In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. More Kanji 対 タイ vis-a-vis, opposite, even 話 ワ tale, talk 型 ケイ mould, type, model 証 ショウ evidence, proof, certificate 明 メイ bright, light 系 ケイ lineage, system
12) 対話型たいわがたプログラム Link copied! たいわがたプログラム [8] Meaning Shirabe Noun computing interactive program Kanji 対 タイ vis-a-vis, opposite, even 話 ワ tale, talk 型 ケイ mould, type, model Forms 対話型プログラム対話型たいわがたプログラムたいわがたプログラムたいわがたプログラム
