lsを間違えてdlと検索してしまったときに、D言語くんが通り過ぎるスクリプト
この記事はD言語くん Advent Calendar 2017の14日目の記事です。
(投稿日時とずれてるような気もしますが気のせいでしょう)
概要
突然ですが、ls
コマンドをついdl
って打ち間違えちゃう、さらに検索だった!!!ということってありますよね?
そういった時にD言語くんが颯爽と走ってきて注意してくれる癒しスクリプトを作りました。
いわゆる sl コマンドのD言語くん版の検索版です。
続きを読むgcd/lcmとmin/maxが同型という話
DDCC2017本戦の問題「B - GCDロボット」の解説の別解、gcd/lcmとmin/maxの話が面白かったので考察してみた。
結論から言うと、gcd/lcmの空間はmin/maxの空間の可算無限個の直積と束同型であることがわかった。
続きを読む