back
prev
next
2016年1月14日 (木曜日)
07:15:58
#
Life
coqc コマンドを実行したらvファイルからvoファイルが生成される。 このvoファイルってなんだろう。
Junichi Uekawa