たけすぃ@『追放された侯爵令嬢と行く冒険者生活』カクヨム、なろうで連載中 @takesxi とりあえず朝風呂という禊は終わった。問題は冗談で作った地震緊急速報に連動してHDDのデータを消すソフトがきっちり動作してくれた事である。誰か俺のエロフォルダ知りませんか!ここに!ここに確かに俺のエロフォルダがあったんです! 2013-04-13 06:20:29
スピヴァックが関手データモデルでやったことは、データベースの諸概念を極端に単純化することにより、圏の基本概念(圏、関手、自然変換)だけで書き直すことです。これにより、圏論のあらゆる手法をデータベースに適用できる途が開けたわけです。 徹底的に夾雑物を排除して単純化すればいいことあるよ -- これが関手データモデルから得られるひとつの教訓です。この教訓は、いつか役に立つとかではなくて、すぐさまに使えるノウハウでもあります。僕自身、身近な懸案に適用して効果があるのを確認しています。 頂点と辺からなる有向グラフが出てきたら、そこに圏があるんじゃないか? と推測してみるという無邪気な方法論は思いの他に強力です。広い意味でのフローチャートはその典型例でしょう。 比較的最近、The n-Category Cafe の記事にプロジェクトスケジュールに出てくるPERT図(Program Evaluation
Modern Arabic mathematical notation is a mathematical notation based on the Arabic script, used especially at pre-university levels of education. Its form is mostly derived from Western notation, but has some notable features that set it apart from its Western counterpart. The most remarkable of those features is the fact that it is written from right to left following the normal direction of the
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く