2014-12-07

ブログを移行しました．

正確には，アカウント名をoppekepeiからyorisiloというものへ変えました．その他もろもろのサービスのアカウント名をyorisiloに変更中．

<a href="http://yorisilo.hatenablog.com/">yorisiloのブログ</a>

2014-10-25

日記書

眼前の乳房と手元の小説

少年がいる．年は15くらい．彼は何かの本を読んでいる．そこへどこからやってきたのか女が近づき乳房をちらつかせる．少年は女の乳房を視界の端にとらえたが，本を読むことをつらぬき通すことを選ぶ．しかし，女は少年が耐えているのを知っている．欲望を抑えこもうとしているのを知っている．彼は頑なに本に目を奪われているふりをしている．そのままふりをし続けていると，いつの間にか本当に本にのめり込んでしまう．少年はふと顔を上げた．だが，女はもういない．

私は眼前の乳房に手をのばすべきだった．挑発をきちんと受け止めるべきだった．しかし眼前に乳房をちらつかせる女はもういない．二度と私の前に現れることはない．きっとあの女は今も，15くらいの本を読んでいる少年の前にふと現れ，乳房をちらつかせる．そして，どちらかを選ばせる．手を伸ばすのか，伸ばさないのか．女は試している．

2014-02-27

雑記

愛玩動物

ペットショップ無くなればいいのに．保健所が兼任すれば良い．人間の生活に人工的に適応させてきた犬や愛玩動物を売り物してるのを見聞きするのは辛い．それらへの感情移入を促させる装置が私にはもう出来上がってしまっているからだ．

じゃあ牛とか家畜に対しては同情しないのかよという人がいるが，たしかにその批判も分からないではない．どこで線引きをするのかというデリケートな問題は依然として残っている．

家畜はどうせ殺すから同情するだけ無駄．お前も結局食ってんじゃんという批判に対して．

確かに食べるために殺す．というように結果は同じだが，家畜に痛みを感じさせず，またなるべくストレスを加えることなく殺すということを徹底するのは有意義である．なぜなら，家畜にもきっと痛みや恐怖を感じることはあるだろうしそのような動物に対して，恐怖を与え，極端な痛みを伴わせるのはあまりに残酷だからである．もちろんそのように理由付ける背景には，食べるための都合の良い責任逃れを考えているということもある．恐怖や痛みを極力避けているのだから食べても良いよねーというような．結局言いたいのは個人の倫理に反するから殺すとしても痛みや恐怖を極力避けてほしいということなのだが．．．私は本当は，動物を殺して肉を食べることには反対だ．だからといって食べないわけではない．矛盾してるけどもむしろ私は，肉が美味しいと感じているので積極的に食べたい．でも，多少味が本物の肉に劣るとしても人工肉が普及すれば，私はすぐさまそちらを食べることを選択する．

2014-01-27

2014-01-24

放送当時はスルーしていたとらドラ！（原作も未読）だが，色々なブログ記事を目にして昼ドラのような感想を抱いたので見てみた．

このような男女間の葛藤に苛まれたことがなくて過去の自分に対してとてもいたたまれない気持ちになった．そんなことを言うと，「みんなそんなもんだ」とか言う奴がいる．ふざけないでほしい．なぜ私がそんな大多数に属する人材だという前提で話をするのか．私はもっと青春を謳歌すべき人材だったのにそれができなかった．そのことに強い憤りを感じているのに．まったくあいつらはなんにもわかっていない．私は怒っている！！

あと，氷菓のさとしやとらドラ！のみのりんみたいに自分を守るためのわざとらしいキャラ設定を段々と維持できなくなって内面が徐々に表に出てくるキャラクターは興味深い．

今日の観察

久しぶりに，レンタルビデオ店のアダルトコーナーを覗いてみると，熟女コーナーには川/上/ゆ/うがたくさん並んでいた．

今日借りたもの

美代子阿佐ヶ谷気分

2013-12-28

2013-12-27

日記

圏論で考えようの動画は3-8までやった．

f:id:oppekepei:20131228045648j:plain

気になったこと

あと，授業でやった集合と論理の復習をしていてやはり気になったところがあるので書いておこう．

いつも思うのだけど，全称命題 ${\forall x \in X , P(x)}$ の証明をするときに ${x \in X}$ と固定して， ${P(x)}$ が真であることを証明するという手続きをふむでしょう？ ${x \in X}$ として固定するってのは， ${x}$ を自由変数から具体的な元として扱うってことだろうけど，そうすると，その元以外の他の元については考慮できているのかがわからない．任意の ${x \in X}$ を１つとって固定するとは ${X}$ の中から不特定に元を１つ選んできてそいつを ${x}$ とするということを意味する．と説明されたけど俺には腑に落ちない．他の元についてはどーなの？？ってなる．

たしかに， ${\forall x \in \mathbb{R} (x^{2} +4x +5 > 0)}$ を証明せよという問題を考えると

${x \in \mathbb{R}}$ とすると， ${x^{2}+4x+5 = (x+2)^{2}+1 > 0}$ となり，実数の公理より ${(x+2)^{2} \geq 0}$ ，そして ${1 > 0}$ であるので， ${\forall x \in \mathbb{R} (x^{2} +4x +5 > 0)}$ は真

となって腑に落ちるような気がするのだけど，言葉の使い方として， ${x \in X}$ として固定って ${X}$ の元から唯一つ選ぶみたいなニュアンスを感ぜられる．そうすると，他の元はどうなんねん！！ってなる（3回目は強調してみた

あと，markdownでのtexの記号の入力をもっとスムーズにできるようにしようと思った

2013-12-26

2013/12/25 日記

日記

最近は，わざわざクリスマスの日にレンタルビデオ店のアダルトコーナーで催される紳士の集いへ出かけ，世間の浮かれたムードに抵抗する遊びを楽しむ気も起きず，無関心にクリスマスを過ごすようになってしまった．まあとはいってもこういう日記を書いている，ということは多少の未練は残っているという向きもあるだろう．

今日は圏論の動画をyoutubeで見つけたので，食事中に見ていた．これは食事中にちょろっと演習するのに良い感じ．こういう肩肘を張らなくて見れる動画はありがたい．ただ字が汚すぎて判読できない時があるのと，少し不親切な証明の解答のときがあるのはご愛嬌．圏論動画圏論で考えようのまとめ

あと，虫皇帝の動画を少しネットで見た．ゴア描写が思ったより少なかった．ネットで私が見たのは2試合のみだったので，実際のところはどうかわからない．なのでDVDをレンタルしてみようかと思っている．

冬休みにすることリスト

herokuでrubyアプリをデプロイしてみる
データ構造とアルゴリズムの課題をやる
数理解析(グラフ)の復習
江田本(数理論理学)であそぶ
youtubeで見つけた圏論の動画で圏論の考え方に触れておく

2013-12-11

12/11 日記

日記

proxyを刺してsendmailで外部へメールが送ることができない問題は私には解決できませんでした．とりあえず，先日の日記に書いたように設定しておりまする． 5日前の私は日記を書きやすくなったのでどんどん更新していきたいとのたまっているけど，早々にその目論見は消え去ってしまったようだ．残念なことだ．でも，やるんだよ．

今日はバイト中に線形代数の勉強をしてた．久しぶりに楽しい気分を味わっている．俺はバイト中に本を読んだり，他にも勉強というか遊んだりしまくっている．ノルマをこなせば何も言われないこの環境はとてもすばらしい．この間は遅刻してごめんなさい．

行列の対角化についての疑問

n次正方行列Aの固有値が重解無しでn個あるとする．すると，それぞれに属する固有ベクトルもn個ある．それらの固有ベクトルを横に並べてn次正方行列Pが作れるとき ${P^{T}AP}$ は対角行列となるわけだけど，先生のプリントではそのPを直交行列と書いていた．事前に固有ベクトルをユークリッドノルムが1となるようにしているとPは直交行列となるのだろうか…．あとで他の行列で試してみる．

疑問解消しました．

上記の行列Aは対称行列でした． ${A = A^{T}}$ なので，そいつの固有ベクトルは互いに直交してて，それら固有ベクトルを規格化してやって横に並べたものは直交行列となる．

追記

研究室決めました．ロジシャンになりたい