フォーマルの基礎知識