地元の真珠産業を盛り上げる→「握手」きっかけで出禁、失敗越えて NEW キャリア 2025.03.04
地元の真珠産業を盛り上げる→「握手」きっかけで出禁、失敗越えて NEW キャリア 2025.03.04
http://www.math.pitt.edu/~thales/flyspeck/index.html いわゆる球の最密充填率に関するKeplerの予想(1998年ごろ解決)のformal proofを与えようというプロジェクト。定理証明系HOLを使ってるらしいので、勉強してみようかなー http://www.neubert.net/FSOIntro.html オーダーNのソーティングアルゴリズム。抽象的な理論ばっか勉強してたので、リハビリ代わりにSchemeで書いてみようと思ったけど、原理がよく分からない･･･。論文(?)読みづらいし。 まず、全体を大雑把な大きさ(=key value)でグループに分けてグループをソートして(partial-sort)、更に、そうやって、分けた各グループを再帰的にソートして(要素数が十分小さいときは、挿入ソートを使うのは定石通り)、最後にくっつけるとい
文字「L」自体には特に意味が無い。プレースホルダーつうか変数つうか。適当な有限個の代数（広い意味の「代数」！）の集合上を走る変数がL。代数系の集合は {I, F1, F2, N, Z} あたりか。 I または I -- 自明なモノイド F1 または F1 -- 自明な零付きモノイド、通称一元体 F2 または F2 -- 二元体 B または B -- ブール半環 N または N -- 自然数半環 Z または Z -- 整数環 これらの代数を便宜的にL代数と呼ぶ。L代数上の加群、特に自由生成加群により既存の圏（主に集合圏の部分圏）を豊饒化するシナリオ。そのために事前にいくつかの概念と練習が必要。 自由構成 自由群が典型だろうが、自由モノイドのほうがわかりやすい。自由モノイドの要素は「語、文字列、列（シーケンス）、文、リスト」などと呼ばれる。自由モノイド構成は関手になる。モナドにもなる。 自由ベ
もともとの（かなり狭義の）フロイド／ウォーシャル法では、無向グラフ上の最短距離行列や最短経路を求める。 有向グラフにして、距離を非負値コストにしてもたいして事情はかわらない。[0, ∞] に min-plusをいれた加法的ベキ等半環を係数域とする行列計算になる。 Aのクリーネスター級数の打ち切り多項式を A[n] と書くことにする。A* = A[∞] 。フロイド／ウォーシャルのアルゴリズムとしてのキモは、累乗の計算を 2, 4, 8, 16 と2のベキで行うので速いことだろう。2のベキで済む根拠は次のこと。 An+1 = An となるようなnがあるとき、Aはベキ安定とでも呼ぶ（なんか用語があるのか？）。グラフの直達距離行列（あるいはコスト行列）Aはベキ安定である。 加法的ベキ等半環を係数とする行列では、A[n]×A[n] = A[2n] という公式が成立する。 最短経路（または最小コスト経
[追記] http://d.hatena.ne.jp/m-hiyama-memo/20110713/1310515189 とだぶっていた。[/追記] もともとの（かなり狭義の）フロイド／ウォーシャル法では、無向グラフ上の最短距離行列や最短経路を求める。 有向グラフにして、距離を非負値コストにしてもたいして事情はかわらない。[0, ∞] に min-plusをいれた加法的ベキ等半環が係数域とする行列計算になる。 Aのクリーネスター級数の打ち切り多項式を A[n] と書くことにする。A* = A[∞] 。フロイド／ウォーシャルのアルゴリズムとしてのキモは、累乗の計算を 2, 4, 8, 16 と2のベキで行うので速いことだろう。2のベキで済む根拠は次のこと。 An+1 = An となるようなnがあるとき、Aはベキ安定とでも呼ぶ（なんか用語があるのか？）。グラフの直達距離行列（あるいはコスト行列
TLが盛り上がってるな、と思ったら以下のURLが流れてました。 大人がハマる嘘つきゲーム！株式会社人狼によるオリジナル「人狼」制作プロジェクト- CAMPFIRE 株式会社人狼というのは**人狼が好きすぎる人たちが集まって設立した人狼普及のための会社**とのことで、人狼プレイヤーにとっては時間を割いて人狼の楽しさを一般に伝えてくれるありがたい存在…のように思えますが、**僕の周りの古参プレイヤーの評判は良くないです。**古参と言っても、人狼BBS・人狼審問の流れを組むRPを大切にするプレイヤーから、わかめて系2ch鯖のガチプレイヤー、2,3年前からオフラインで始めたプレイヤーなど、いろいろいるのですが、どの層にも不評に思えます。**正直僕もいけ好かないと思ってます。** ただ、株式会社人狼の取り組みが成功して人狼がメジャーなゲームになれば嬉しいのは僕らなのに、なぜいけすかないと思ってしまう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く