経緯 社内で勉強会を開いていて、こんな話をしました。 $l \leq x \lt r$ のような片側の端点だけを含む区間を半開区間といい、$[l,r)$ のように表記します。 配列のスライス（連続する部分列）を表すときは、半開区間を使って「$l$ 番目から $r$ 番目まで（$l$ 番目を含み、$r$ 番目を含まない）」とすると便利です。こ...
もう１２月 ２０２３年の最後の月になってしまいました そして大雪の時期ですね いや雪は降ってませんよ 残念ながら紅葉と落葉が同時です 二十四節気の「大雪」、雪がたくさん降る時期 だそうです 北茨城あたり、まったく雪は降りそうにありません 恒例の 若女将から２０２４年のカレンダーのプレゼントが届きました ...
NHK地上波TVの『笑わない数学』は、目下大好きなTVシリーズの一つである。最新の「1+1=2」も、たいへん面白く視聴した。 www.nhk.jp 19世紀の非ユークリッド幾何学登場をきっかけに「自明と思われたことでも疑わなければならない」と数学界では数学の基礎付けに関心が集まり、ペアノの公理系による自然数の再定義が行わ...
先日、下記の記事でナップサック問題の DP を愚直に眺めました。 rsk0315.hatenablog.com 今回は、ナップサック問題に限らず様々な DP を愚直に眺める回です。 「○○（何らかの集合）の最大値」のように計算せず、○○の部分について考えていきます。 もちろん DP をする際に○○をそのまま持つと空間計算量がめちゃくちゃに...
動的計画法 (dynamic programming, DP) はイメージ・メンタルモデルを掴むまでのハードルが中々高いような気がします。 一例を示しますが、必ずしも全部の問題を一貫して説明できるとは限らないので、いくつかのイメージを持っているといいかもしれません（どれかしらに固執する必要はないということ）。 数式がそれなり...
2019年に「データベース:: 論理の使い所は」という記事を書きました。タイトルに「データベース::」という接頭辞を付けたのは、一連の記事を検索しやすくするためです。一連の記事とは、次の意図で書かれる“はずだった”記事です。 ちゃんと書こうと思うと億劫になるので、ふと思い立ったときに、データベースと論理に関...
はてなブログ独自の集計による人気記事のランキング。5月28日（日）から6月3日（土）〔2023年6月第1週〕のトップ30です*1。 # タイトル／著者とブックマーク 1 ゼルダとジムとやりがい搾取 - やしお by id:Yashio 2 2食付き1万5千円以下で土曜日に1人で泊まれる！リーズナブルな極上湯の温泉宿23軒 - 温泉ブログ 山と温...
発端 @fumieval 様のツイート。 空の配列を渡したら True を返すべき この関数に空の配列を渡したら True を返すべきである。仕様によるとか状況によるとか相談すべきとか例外を返すべきかもといった意見もあるようだが、議論の余地がないレベルで True を返すしかない。最大の理由は 「True を返さないと、空集合があら...
こういうツイートが話題になっていた。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ— ふみ (DJ Monad) (@fumieval) 2023年5月29日 つまりScalaで言うと次のようなコードが何になるか、というものであ...
数学に関するポエム的な記事です。特に技術的な内容ではありません。圏論の知識があると共感が得やすいと思いますが読むために必須ではありません。 定義は詳細に説明しませんし数学的に厳密な話でもありませんが、明らかに間違ったことを書くつもりもないので、どこかが明らかに間違っていたら指摘してくれると助かりま...
「空集合」に関連する商品は見つかりませんでした