URLに関する議論 -- なぜ僕はクエリパラメータを擁護、ときに推奨するのか - 檜山正幸のキマイラ飼育記 (はてなBlog)
一時期（2010年の1月頃）、URLの議論をしていて、僕は拡張子を含むURLやクエリパラメータを擁護していました。 そろそろ決着、HTTPメソッド、URL、そして標準化された動詞 RESTfulなWebサイトと拡張子を含むURLについて 最近、またURLの問題を考えてみたのですが、僕が拘っているのは次の2点なのだと気付きました。 すべてのURLを列挙したい。 すべてのURLを分類したい。 すべてのURLを列挙したい あるWebサイトやWebアプリケーション（以下、総称してWebシステム）を考えたとき、有効なURLを完全に列挙したいのです。ここでの「URL」は、正確に言えばクエリパラメータを含まないパス部分のことです。もちろん、有効なURLは時々刻々と変化します。でも、ある一時点を取れば、その時点におけるURLは確定するはずです。各時点ごとのURLの集合を100%把握したいのです。 列挙する
檜山正幸のキマイラ飼育記 (はてなBlog)
2024-10-16 指標から名前の削除 雑記／備忘 指標は宣言文の集まりです。各宣言文は、順番〈位置番号〉でも名前でも一意識別できます。実用上は、（順番は覚えにくいので）名前が使われます。が、理論上は名前が邪魔になることがあるので、ときに、名前を削除する必要があります。名前の削除方法の記述… 2024-10-15 カリー／ハワード／ランベック対応のための“呼び名”と“書き方” 雑記／備忘 ここ最近の本ブログのテーマは「カリー／ハワード／ランベック対応」です。最近の記事がすべてカリー／ハワード／ランベック対応に関係するわけではありませんが、9月の記事「関数の構成法 (カリー／ハワード／ランベック対応も少し)」あたりから、カリー／… 2024-10-14 コンテキストの圏と指標の圏と限量子 雑記／備忘 「指標の圏はコンテキストの圏の反対圏」と「指標の圏に対する余ディスプレイ包含構造」で述べた
RESTfulなWebサイトと拡張子を含むURLについて - 檜山正幸のキマイラ飼育記 (はてなBlog)
2009年12月16日「チュートリアルを少し変更、おバカな設定例」 Catyでは、ファイル名拡張子の意味付けや扱い方がデスクトップと同じなんだけど、「クールなURIは、拡張子がねーんだぞ」とか言われそうだから、そのうちラショネールを書かなきゃ。 「ラショネール」なんて奇妙な言葉が出てきてますが、目論見や主張が正当であることを示す根拠、てな意味ですかね＞ラショネール。 僕とKuwataさんが開発しているWebフレームワークCatyは、URLに、.html, .cgi などの拡張子を必ず要求します。クエリパラメータも遠慮なしに使います。「拡張子とかクエリパラメータなんて、RESTfulじゃないなー、クールじゃないなー」とか言う人がいますが、なにゆえに「拡張子やクエリパラメータがダメなのか？」 -- その根拠を示して欲しいもんです。僕らが積極的に拡張子やクエリパラメータを使う事情と根拠は、このエ
そろそろ決着、HTTPメソッド、URL、そして標準化された動詞 - 檜山正幸のキマイラ飼育記 (はてなBlog)
（[追記 date="翌日"]文言を少し改善し、注意を付け足したりしました。[/追記]） HTTPメソッド、URL、動詞（verb）に関して次の記事を書きました。 HTTPメソッドの正統的使い方と現実的対処法 HTTPメソッド、URL、そして標準化された動詞 訂正補足：HTTPメソッド、URL、そして標準化された動詞 問題点がほぼ明らかになり、全体の状況も見えてきたので、総括したいと思います。これで決定版にしたいのですが、実のところ、まだ考えが変わる可能性は否定できません。現時点では、以下に記述する案が最善だと思っていますがね。 内容： 用語の注意 事の発端，事の成り行き URLの意味と用途を分類する リソース種別ごとに動詞を考える さらにリソース種別ごとに動詞を考える GETに乗せるか、POSTに乗せるか インターフェースとしてのリソース種別と動詞 リソースとクラス 用語の注意 HTTP
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
圏論 - Wikipedia
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。 集合論的な数学
なぜ「大してうれしくない」か - 白のカピバラの逆極限 S.144-3
今年、南部先生、小林先生、益川先生がノーベル賞に輝かれた。 そのニュースを実験室で知り「おお、このメンバーなら誰も文句がつけられない。つけられるとしたら遅かったことくらいだ。」と思った。ただ、組み合わせが少し妙なので「何で?」と思い、確認すると「自発的対称性の破れ」とある。なるほど〜。 しかし、これは難しい。特に南部先生の業績は説明できる気がしない、というかそれ以前に説明できるほどきちんと分かっている自信がない*1、笑。実際にテレビ局から電話がかかってきた。私はにやりと笑ってこういった。「おう、おまえか。言いたいことは分かる。だが、これは相当難しいぜ。」ざっと説明するが頭を抱える彼。「明日の朝までに、また聞きなおすよ。」 集まり NHK のニュースをみる。いかにも分かってそうな顔で「自発破れ」といっているのがちょっと面白かった。 そして、問題の益川先生の発言である。 「いや、大してうれしく
南部陽一郎の講演でスヤスヤ寝ていた私がノーベル賞研究を解説する準備をはじめてみる - Active Galactic : 11次元と自然科学と拷問的日常
南部の講演は、むかしNHKでやっていたリラクゼーション番組「宇宙デジタル図鑑」並みの寝心地。それはさておき、 人物評：南部陽一郎、伝説上の怪物 なぜ「大してうれしくないか」- 白のカピバラの逆極限 S144-3 「南部先生にノーベル賞が出せるとはノーベル賞も箔がついたなあ。」 まさかの在庫処分、もとい残弾撃ちつくしセールからはや２日がたった。何よりこのタイミングで南部さんが受賞した衝撃は世界中を駆け巡った。祝杯だの飲み会だので家に帰ったのは午前６時、ドイツの共同グループからお祝いのメールが届いていた。獲らせないと差し障りのある方々が本当に獲ってしまって、事後感というかなんだかポッカリと穴の空いた気分だ。来年からwktkできるか不安になる。 彼の格付けについては人によって色々な見方があるとはいえ、地球上に現存する物理学者の頂点、歴史上を含めても特に際立った業績を残した偉人と言って過言ではない
LHCアトラス実験オフィシャルブログ
6月16日（土）に多摩六都科学館にて一般向けの企画を行います。 「巨大加速器LHCで探る宇宙−Phantom of the Universe」 プラネタリウム用に作られたムービーはパソコンの上で見るのと違い、大迫力です。 定員は120名です。申し込みは https://www.tamarokuto.or.jp/event/index.html?c=event&info=1701&day=2018-06-16 からです。興味のある方は是非！ 今年の13TeV陽子・陽子衝突は本日で終了しました。 最終的には4.0fb-1ほどのデータをATLASでは取得できました。(LHC deliveredは4.3fb-1) あとは5TeV runとHeavy ion runをやって今年はおしまいです。 現在、これらのデータを用いて冬の国際会議に向けた解析を進めています。 予定通り、CERN時間の午前中に13
Reset Reloaded
After a bit of time to bake and a few more suggestions from readers, I have what I’m willing to call the final version of my take on the topic of reset styles. To wit: html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, font, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, dl, dt,
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Chimaira.org