関小量さんが公開している投稿動画の一覧
http://www.nicovideo.jp/user/132298141/video
アリアルさんが排中律と二重否定除去の同値性を示す動画！【合成音声】アリアル : Voiced by 3:21｜2024年03月01日 01：28：02 投稿
http://www.nicovideo.jp/watch/sm43467501
