コンパクト閉圏
コンパクト閉圏の定義を示し、定義にまつわるいくつかの事柄を調べてみる。 より具体的には、「左」という形容詞への違和感を述べ、一方で「単位」とい う用語法が整合的であることを裏付ける。 関連記事：お絵描き圏論 関連記事：コンパクト閉圏を定義する 関連記事：「圏論」インデックス 1. はじめに 2005年2月8日の時点において、Googleで "compact closed categories"（あ るいは、"compact closed category"、「コンパクト閉圏」）で日本語のペー ジを探しても、なんと2件しか出てこない。1件はこのChimairaサイトで、もう 1件は、 SLACS（スラックス; Symbolic Logic And Computer Science）1996年の発表プログラム内の、白 旗優（慶応大学商学部）氏発表のタイトル「A sequent calculus
お絵描き圏論
「誰でもわかる『コンパクト閉圏』」を目指して書き始めた記事。だが、前 書きが長くなりすぎて、本編に至ってない。結局この記事は、前置きの部分だ け。コンパクト閉圏は（図形的に見れば）、まっすぐな線分だけから交差や曲 がり（回転）も取り入れる形で“進化した圏”、と位置付けられることを示す。 関連記事：ETBダイアグラム 関連記事：コンパクト閉圏 関連記事：コンパクト閉圏を定義する 関連記事：「圏論」インデックス 1. はじめに 「コンパクト閉圏」という記事を書い たが、これは「脈絡もなく雑多なこと」を備忘目的で記したものだ。そのため、 系統的な説明にはまったくなってない。で、この記事でなにか系統的な話をす るかというと、そうではなくて:-)、もっと脈絡もなく雑多なことになる。 「コンパクト閉圏」の6節の短いノー ト「ネーミング同型のあからさまな表示」で、コンパクト閉圏は、どことなく 算数っぽい
「自分が面白いと思うこと｣をやるべきか?「他人が面白いと思うこと｣をやるべきか? - teruyastarはかく語りき
今後の漫画界についての話で、この記事が面白かったです。 これからの漫画についての話は記事を見てもらうとして、 2人の価値観がはっきり違うところを抜粋。 特に気になったところを太字にしてます。 徹底討論 竹熊健太郎×赤松健 Vol.1：電子出版時代における漫画編集者のあるべき姿 (1/3) - ITmedia eBook USER http://ebook.itmedia.co.jp/ebook/articles/1102/14/news015.html 赤松 面白いのと売れるのと、どっちがいいですか。 つまんないのに売れてるのはダメですか。 竹熊 うーん、面白いのがいいでしょ。 赤松 じゃあ、面白ければ売れなくてもいいんですね。 竹熊 まあその場合はね。 でも、「面白い物を売りたい」 とはみんな考えているんじゃないですか。 赤松 うーん、私は嫌だなあ。 そこがロマンチストすぎません？ (略
Tech Mom from Silicon Valley - 「パプリカ」の今敏監督がいいこと言った件について
ちょっと前になるが、昨年日本で最も評価の高かった劇場用アニメ映画、「パプリカ」の今敏監督と、「時をかける少女」の細田守監督が、たまたま相次いでアメリカに来られた。いつも映画関係の記事素材を提供してくださるハリウッドの映画ライター、はせがわいずみさんが、お二方にインタビューしたものを、私が現在、慶応大学デジタル・メディア・コンテンツ機構の英語ニュースレター記事に仕立て直しているところだ。 はせがわさんのインタビューは、いつも面白い発言を引き出していて、記事を書きたい意欲がわく。今回も英語だけではもったいなくて、日本語でも書きたい良いネタがいろいろあるのだが、日本語記事ははせがわさんご自身がどこかに書いておられるだろうし、彼女は仕事でやっているので、このような個人のブログに書くわけには本当はいかない。でも、彼女の記事はだいたい映画専門誌なので、ギーク世界の皆様の目にはあまり触れないだろう、とい
JavaScriptの巧い書き方 - Archiva
Make a note of it: Web tech, montaineering, and so on. Note: この記事は、3年以上前に書かれています。Webの進化は速い！情報の正確性は自己責任で判断してください。 Webに言語は数あれど、特に玉石混淆の激しいJavascriptの書き方について纏めてみた。間違い指摘大歓迎！ 発端はYahoo!の Eric Miraglia による、YUI 式モジュールの作り方をまとめた記事。ざっくりまとめると、以下の手順になる。 YAHOO.myProject.myModule = function () { //"private" variables: var myPrivateVar = "I can be accessed only from within YAHOO.myProject.myModule."; //"private" m
mktexlsr は有害だ (mktexlsr Considered Harmful)
最近の TeX システムには mktexlsr なるコマンドが付属していま す。これは /usr/share/texmf (環境によって異なります) ディレ クトリ以下の全ファイルのリストをテキストファイル /usr/share/texmf/ls-R*1 に記 録するためのコマンドです。 ls-R ファイルの目的は、/usr/share/texmf 以下のファイルの検索 (Kpathsea ライブラリによって行われます) を高速化することにあ ります。筆者はこの高速化の仕組みは有害であると主張します。 なぜなら、この高速化によって得られる利益より、弊害の方が大き いと考えられるからです。極端に言えば「百害あって一利しかない」 ということです。 弊害とはこういうことです。/usr/share/texmf 以下に何かファイ ルを追加したとします。このとき、必ず忘れずに mktexlsr を実行
「地球はミニ氷河期に突入した。」と発表（ドイツ研究所） : カラパイア
英紙「デイリーメール」が伝えたところによると、気候変動に関する政府間パネル（IPCC)の重要メンバーであるドイツ・キール大学ライプニッツ研究所は、太平洋および大西洋の水温自然循環の分析により、「地球ミニ氷河期説」を発表したという。 事実、コロラド州の米国家雪氷資料センターの数値によると、2007年より、北極は夏に海面氷結面積がすでに約106万平方キロ増加しており、増加率は 26％にのぼったという。「地球ミニ氷河期説」は、北極が2013年の夏までに、完璧に融けてしまう「地球温暖化説」と1900年から始まった地球温暖化は人類が排出した温室効果ガスが原因であるとのこれまでの認識を覆した。 広告 海外研究：地球はミニ氷河期に突入か？ ライプニッツ研究所・研究チームを率いるラティフ氏は、海洋の寒さと暖かさの循環の始まる所、即ち地表下914メートルのところの海水温度の測定を発案し成功したと2008年に
リアル脱出ゲームの作者に聞く 株式会社SCRAPインタビュー（前編） - はてなニュース
先日、はてなブックマークニュースでは、京都国際マンガミュージアムで開催されたリアルRPGのレポートを掲載した。実は、このイベントを手がけた株式会社SCRAPは、最近ネット上で大きな反響を呼んでいる「リアル脱出ゲーム」を手がけている会社でもある。そこで、今回は株式会社SCRAP代表の加藤隆生氏に、リアル脱出ゲームについての話を伺ってきた。 ひきこもり勇者を救え！ 『リアルRPG』体験レポート - はてなブックマークニュース “脱出”の次は“リアルRPG” 京都で参加型イベント「ひきこもり勇者と4つの扉」が開催 - はてなブックマークニュース 「一周回って、またブームが来てるんかな」 ―― まず、リアル脱出ゲームを始められた経緯について教えて戴ければと思います。 加藤 SCRAPの会議で次の企画を練っていたときに、その中にいた一人の女子大生が、「わたし最近、リアル脱出ゲームにはまっているんです
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CiNii Research