ラスベガスのネバダ大学で開催の国際会議ICSEng2011にて情報工生が新ブール多値論理系の研究発表
2011年8月16~18日に米国ラスベガスのネバダ大学(the University of Nevada)で開催される第21回システム工学国際会議ICSEng2011(the 21st Iinternational Conference on Systems Engineering)において、情報工学専攻学生の杉本さんと同修了の佐々木さんが共同で
New Boolean Multivalued Logic System Simplifying Inferences in Flexible Styles
(柔軟な様式の推論を単純化する新ブール多値論理系)
と題した研究発表を行う予定です。