俺の Colimit を越えてゆけ

2020-03-13から1日間の記事一覧

2020-03-13

ナンプレ(数独)は難しさを定義するのが難しい

ナンプレ(数独)は難しさを定義するのが難しい。ナンプレサイトの作成を通して苦労したところを解説します。作成した問題は puzzle.dev で毎日無料で遊べます。

ナンプレ(数独)は難しさを定義するのが難しい
プロフィール
id:hitotakuchan id:hitotakuchan はてなブログPro
読者です 読者をやめる 読者になる 読者になる
最新記事
  • 分散合意アルゴリズム Raft を TLA+ で検証する
  • A Proof for Log Matching Property of Raft
  • ナンプレ(数独)は難しさを定義するのが難しい
  • 大学数学の個別指導を始めます
  • Steve Awodey の Category Theory を読む : Chapter 10
注目記事
月別アーカイブ
検索
俺の Colimit を越えてゆけ 俺の Colimit を越えてゆけ

Powered by Hatena Blog | ブログを報告する

スターをつけました

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる