@article{oai:matsumoto-u.repo.nii.ac.jp:00000595,
 author = {小林, 俊一},
 issue = {10},
 journal = {松本大学研究紀要, The Journal of Matsumoto University},
 month = {Jan},
 note = {application/pdf, 二値関数と集合の分割に関する述語論理について成り立つ定理を提案し、その定理の厳格な証明を行った。ここでの述語論理とは「すべての～について」や「ある～について」に関する一階述語論理を指す。本研究の目的の一つは、二値関数に集合の分割の考え方を導入することで、コンピュータの内部で行われる論理動作を、数学的にモデル化することである。デジタルの世界での論理動作を、数学的にモデル化している。},
 pages = {95--104},
 title = {二値関数における述語論理（13）},
 year = {2012}
}