Analyzer
Sentence analysis
11Spans
Sentence
Span Details
ループ不変式
loop invariantnoun
を
object markergrammar
使っ
use; make use of; employ; handle; spend; consume; speak-> 使うgodan verb
て
connective te-formgrammar
アルゴリズム
algorithmnoun
の
possession, attribution, nominalizer, or nominal linkergrammar
正し
right; correct; accurate; proper; righteous; just; honest; lawful-> 正しいi-adjective
さ
-ness; degree; state or quality; assertive sentence-ending particle; come now; come onsuffix, particle, interjection
を
object markergrammar
証明
proof; verification; certificationnoun, suru verb
する。
light/support verb with a noun or noun-like phrasegrammar