また中原の台詞に使われた公式、証明、定理などは岡本氏が監修.
氏