数学が専攻でないプログラマー屋さんが「それでも圏論を勉強したい」というのならば、まず意識改革が必要だと思います。 どういう事かと言うと、『圏論は(数学的な構造を記述するための)言葉に過ぎない』と予め割り切った意識を持たねばならない。 同じくプログラミングの世界で多少は利用されつつある記号論理が単なる言葉(記述手段)であるようにね。 言い換えると、圏論やそこで登場する様々な概念(定義)そのものに対して具体的なイメージを期待しても無駄という事。 つまり、圏論は言葉だから使い方を知らねばならない。使い方を知るには具体例(語学の勉強ならば文例ですね)を色々と知っておかねばならない。 そうすると、まず圏が登場した切っ掛けは、数学的構造とそれを保存する写像としての準同型の概念それぞれを抽象化して、 対象(object)と射(morphism)となったのだから、圏論の利用での最も基本的なのは数学的構造と
お支払いは『クレジット』『Amazon Pay』『楽天ペイ』『代金引換』『後払い』をご用意しております。 ◎クレジット ◎Amazon Pay ◎代金引換※ご決済手数料 300円 ◎後払い※ご決済手数料 200円 ★送料無料キャンペーン中 6/22(火)13時まで → 詳しくはこちら 送料全国均一:500円 ※代引、後払の場合、別途手数料が掛かります。 国内は「ヤマト運輸(宅急便)」、海外は「DHL(一部EMS)」にてお届けいたします。 ご注文日の約2〜3日後に関西地方より発送いたします。配達日はご注文日より5〜8日後、時間帯は下記よりご指定可。 ◎ご指定頂ける時間帯 ■午前中■14〜16時 ■16〜18時 ■18〜20時 ■19〜21時 ※ご注文後の同梱・変更・キャンセルは原則としてお受けしておりません。 ★送料無料キャンペーン中 6/22(火)13時まで → 詳しくはこちら
ベジタブレラ 見た目は完全にレタスな折りたたみ傘。 シワ加工とフリルで本当にレタスのような傘です。 雨傘としても日傘としても使用可能。 雨の日はずみずしく水をはじいていきいきと、晴れの日は葉脈から太陽の光がキラキラ差し込みます。 もちろん何度使ってもシワやフリルはとれません。 ラベルも売り物のレタスっぽい。 フリルを活かしてくしゃくしゃっと無造作にラベルで束ねるとレタスらしく折りたためるそうです。 Yurie Manoデザイン、アッシュコンセプト名義で製作はEBI。 食卓を彩るサニーレタスがフリルのかわいい折りたたみ傘になりましたベジタブレラ KONCENT (デザインshop) 4,725 円ナリ。
株式会社INFASパブリケーションズ取締役WWDジャパン・WWDビューティ編集長・山室一幸氏が、平成25年3月16日午前、急性心筋梗塞のため死去していたことがわかった。享年53歳。 山室一幸氏は1959年東京生まれ。上智大学理工学部機械工学科を卒業後、1982年モリハナヱ・インターナショナル入社。1985年から「ファッション通信」のプロデューサー、2006年にINFASパブリケーションズが発行するファッション週刊紙「WWDジャパン」編集長に就任。20年以上にわたって世界各国のファッションシーン最前線を取材。トップデザイナーや有名ブランドCEO(最高経営責任者)、スーパーモデルとも深い親交を持つ。また現在「WWDビューティ」編集長も兼任し、ジャーナリストとしてファッションとビューティの両面から、TV、ラジオ、雑誌コラム、講演会、トークショーなど、メディアの枠を超えた活動を行っていた。 15日
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、日本 Ruby の会の有志による Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0058 号 バックナンバー Rubyist Magazine 0058 号 RubyKaigi 2018 直前特集号 Rubyist Magazine 0057 号 RubyKaigi 2017 直前特集号 Rubyist Magazine 0056 号 Rubyist Magazine 0055 号 Rubyist Magazine 0054 号 東京 Ruby 会議 11 直
最近 vagrant がまた話題になっているので久しぶり(390日?)に触ってみたのだけど、公開されている box が海外の人作成のものが多いので、割と変更する箇所が多いので苦痛だった。 やっぱり自分で作るかと思って veewee を入れてみたら最新のバージョン1.1.2に対応してないらしく、エラーでまくりだったので、基本に戻って Vagrant + Virtualbox の基本機能で作成してみたらやっぱり大変だったので、その記録として残しておきます。 virtualboxで作成したときの設定は以下の通り。 Hostname: squeeze64 Domain: (空白) Root Password: vagrant Account Id: vagrant Account Password: vagrant Mirror server: japan ftp.jp.debian.org In
CSSの基本や使える小技テクニックなどを幅広くまとめました。以前書いて今もそこそこアクセスがある「CSSの知識をもっと深める30+2の小技テクニック集|Webpark」という記事があるのですが、2年近く前の記事ですしパワーアップさせて作り直しました。 恐らく過去最長の記事ですので目次を作りました。クリックするとするりと移動します。基本的な内容が多いですが、お役に立つ項目があればうれしいです。 ということで順番に説明していきます。 1. 全般的なこと 1-1. CSSリセット ブラウザごとでデフォルトのスタイルは異なっています。その違いをそのままにしておくと、後でブラウザ間の表示の違いに悩むことになり、どこが原因か分からないとイライラしてしまいます。 そんなことのないように、いったんデフォルトのスタイルをリセットしてしまおうというのがリセットCSSです。 方法は色々ありますが、個人的には一番
http://www.ustream.tv/recorded/22861111 これは「シルクラボ」っていう女性向けAVメーカーが主催したイベントをUSTREAMで生放送したやつの録画。 司会進行をやってるのは、女性向けAVの監督をやっている女性。 この女性の言動が、非常にセクハラオヤジに近い! イケメン男優3人と並んで出演しているけど、その接し方が完全にオッサンのセクハラ。 「どっかにいいチンポねぇかな~ゲヘヘというオッサンみたいな気持ちと、手を繋ぐなんて恥ずかしい!という乙女の気持ちが私の中に混在している」 途中、こんな言葉を彼女が口にするんだけど、その言葉もまさにリアルなオッサンを示していると思う。 オッサンは厚かましくて明け透けなだけでなく、乙女でロマンチックな願望(回春願望、青春美化)も持ってるから…。 他にもオッサン的に男を消費する女として思い浮かぶのは、 NHKの人気女子アナ
各バックアッププログラムの基本操作 バックアップを取るためのツールは多数存在します。ここではtar、dd、dumpという、タイプが異なる3つのツールを紹介します。 tar tarはアーカイブを作成するツールとして、広く普及しています。そのため、Windowsなどの異なるOSにデータを渡したい場合でも利用できます。 バックアップする場合は、どこまでをバックアップデータとするのかを考えましょう。例えば、/home/user1ディレクトリ以下のファイルをtarを利用してバックアップする場合、「user1」というディレクトリを含めるのか、そのディレクトリ内にあるファイルだけをバックアップするのかによって操作が変わります。 ●tarを利用したバックアップ user1ディレクトリ内のファイルのみをバックアップする場合は、以下のように実行します。
目次 当サイトについて bash シェルスクリプト入門 -シェルスクリプトのいろは- コマンド Tips シェルスクリプト Tips 変数を使用する 配列を使用する 入力と出力 if 文と test コマンド for 文の使用方法 while 文の使用方法 case 文の使用方法 関数の使用方法 引数を処理する 終了ステータス シグナルと trap コマンド フィルタを使用した文字列操作 1 フィルタを使用した文字列操作 2 日付を取得する 文字コードと改行コード シェルスクリプトのデバッグ AWK リファレンス (Deprecated) シェルスクリプト ライブラリ 『ether.sh』 お知らせ Bluesky を始めました @sunone.me 変更履歴 2023.10.07 ページ内リンクを修正した。 2021.02.01 このサイトに「もう 1 ページ追加しよう」と思ってから、も
Linux起動の仕組みを理解しよう[init/inittab編]:Windowsユーザーに教えるLinuxの常識(10)(1/2 ページ) カーネルが呼び出されてからログインプロンプトが表示されるまでの間に、一体どのような処理が行われているのか。これを理解するには、この部分の全般をつかさどるinitとその設定ファイルであるinittabがカギとなる。 Linuxが起動するまでの流れや、起動に際して使用されるファイルについて知っておくことは有益でしょう。そこで、今回と次回の2回に分けて、Linuxの起動の仕組みを紹介します。説明の都合上、用語の説明が多少前後するところもありますがご了承ください。 Linux起動の流れ まず、Linuxが起動するまでの大まかな流れを概観しておきましょう。 マシンの電源をオンにすると、BIOSが起動して制御をハードディスクのMBRなどに移管します。Linuxの場
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く