(大学院の定期試験)問題データベースの構築・運用 https://t.co/2fmdf6h4qq 最後のエジンバラ大学のくだり、専門の講義に関して他の人の内容に注文をつけられるのか本当か？一般教養的なところだけか？ それはともかく、このデータベースは興味深い。

これか。まぁ修論ならいいんじゃね？これを改訂して発表論文にしてたらすごいけど。 @solairo_mansaku http://t.co/OjAlqmWejr

もうあるよ、で瞬殺ワロス CiNii 論文 -  例示操作に基づくXQuery推論系 http://t.co/LcMOipLu

型整合（well-typed），整形式（well-formed），整礎（well-founded）等からの類推だと，整定義か？ と思って検索したら佐々先生が使用した例を発見 https://t.co/tXv3QuoHAM https://t.co/PWYPyKeQKh