2018-10-22
奨学金の書類を記入している
なんとか提出した
1st-order HFL
再帰的な論理式が恒真であるかどうか判定したい
おうちに帰って寝ていた
プログラム検証の動機説明だと「人工知能と呼ばれるような統計的手法によるソフトウェアが発達してブラックボックス化している昨今,特にIoTのようにソフトウェアが物理的挙動に介入する用途では安全上特にセキュリティを追求する必要がある」という具合にそれらしく ““““今風に”””” 言える.
SQLクエリのサブセット言語に意味論を与えて解析する