Ark's Blog

引っ越しました→ https://blog.arkark.dev/

ようこそ

2019-01-01から1ヶ月間の記事一覧

DDCC2019 参加記

DDCCこと、DISCO presents ディスカバリーチャンネル コードコンテスト2019 本戦に参加してきました。 www.discoverychannel.jp ハッシュタグ:#ddcc2019

max(∅)=-∞ は半群のモノイド化

全順序集合に思いを馳せながら寝たら思いついたネタを投げます。 導入 数学書かなにかで次のような記述を見たことがあるかもしれません。 を正の整数全体の集合とする。 このとき、に対してと定義する。 ただし、とする。 「ただし、とする」 これ、特殊扱い…