プロフィール丸め誤差や打ち切り誤差などの『誤差』を考慮して、数学的に正しい結果を数値計算で得る計算法を『精度保証付き数値計算』といいます。広く利用されているソフトウェアでさえも、数学的に間違った答えを、何の警告も出さずに出力することがしばしば観測されますが、精度保証付き数値計算を使えば、数学的に正しい答えが含まれた区間を必ず出力するため、信頼性の高い、高品質な計算を行うことができます。精度保証付き数値計算での知見を踏まえ,広い意味での『学習・推論アルゴリズム』について,これまでに広く知られている学習や推論の理論をベースとして,近年活発に議論が行われている脳神経科学での数理理論の知見と,日々進化する機械学習アルゴリズムの知見を融合し,『エナクティブでエビデンスベースドなアルゴリズムを構築すること』を目指しています。