哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく
ほんわかしたPC大作ゲームがやりたい
追記： 人気エントリになってる！トラバやブコメめっちゃ参考にしますありがとう。 PCは何でもあると思っていたら任天堂ハードで出てるゲームみたいなのが （技術的には可能なはずなのに）出てないのが意外だったんですよね SFの話は主題が混ざってすみません ショートサーキットとかWALL-Eみたいなかわいいのがもっとあってもいいのにな ----------------------------------------- ゲームが下手なのであまり触れてこない人生だったのだが Detroit: Become HumanがやってみたくなりゲーミングPCを購入した。 終わって満足しさすがにそれだけではもったいないので色々調べてみたのだが せっかくのPC性能を活かせそうなゲームだと 銃/剣、中世/世紀末、ソンビ/エイリアン、クライム系みたいなのが大半で 暴力、血、グロが苦手な自分に向いてそうなものが少なくて残
ソシャゲにありがちな「キャラがプレイヤーに好いてくれる」のがマジ
20数年オタクとして生きてきてはいるけど、かつての艦これ全盛期からアイマス系統、最近のウマ娘でも「キャラがプレイヤーを好く（恋愛感情をもつ）」がマジで気持ち悪すぎて無理なんだけど同じような気持ちになるオタクっているのかな？ こんなこと言ってるけどその昔は艦これはやっていて、それでも提督（プレイヤー）を好く艦娘が無理すぎてボイス関係全部切ってたくらいなんだけど、友人のオタクがやってるアイマス、シャニマス、ウマ娘とか割とストーリーが重要（物語性がある？やってないからアレだけど）なゲームだとそういうの飛ばすと遊んでると言い難い気がして手を出せずにいる。 アイドルをプロデュースして舞台に上がらせるのが目的ってゲームならただのビジネスパートナーとして最初から最後まで完結できないんだろうか？ ウマ娘をトレーニングさせてレースで勝利させるのが目的ってゲームならただのビジネスパートナーとして最初から最後ま
キャンプ始めようと思って５ｃｈの登山キャンプ板を覗いて衝撃を受けた
とにかく暗黙の了解が多いと思った。 「ワークマン着てキャンプしてる奴見ると許せない」 「性能が同等以上だからってピコグリル買わずに値段1/3のパクリ安物グリル使ってる奴が許せない」 「家族で来たキャンプ場にソロキャンパーがいると殺意沸く」 こういう奴がめちゃくちゃいた。 なにより「いやいや、個人の自由だろそれ」みたいな指摘した人が相当旗色悪かったことに衝撃を受けた。 あとユーモアに障害ある人ばっかりだった。 「キャンプ場行く前に近所の精肉店にモツ肉の買い出し行ったら売り切れてて災難だった」みたいな書き込みに対して、 「OK、とりあえずお前が持ってるその〇〇製の安物ナイフで自分の腹割いてモツ取り出してみようか」みたいな返しを堂々とする奴いたんだけど、 一事が万事そんな調子で「なんでそんな寒いことを痛い文体で書いちゃうの？」って感じの人がウヨウヨいて気持ち悪かった。
今後、まんがタイムきららに日常系アニメを期待するのはやめろ
ごちうさの3期が終わり、『ゆるキャン』と『のんのんびより』へと続く。これから少なくとも3ヶ月先は移住先を探すこともない安泰な日々が続く。 しかし、ここから先はどうなるのか。さらに先に『まちカドまぞく』の2期があるが、1期より作風が変わると聞く。ひょっとすれば、『NEW GAME!』のようにいざこざの多い作品に変わっていくかもしれない。日常系アニメの新作がないかと不安になっている人がいるはずだ。 そういえば、アニメ化が発表されたきらら原作漫画は『球詠』だったよな。この作品を最後にアニメ化の発表がされた作品が現れなくなって1年半も経つ。 しかしながら、これからアニメ化の発表がされるきらら原作漫画が増えていくだろう。だが、それと同時にきらら原作アニメに対して「自分が期待していたものと違う！」という批判が急増していくと思う。 なぜなら、まんがタイムきららからきらら系と呼べるような日常系が減ってきて
「すいとーよ」
もう何年も前の事になる。 仕事の都合である地方へと越す事になったときの話だ。 支社は小さくて、事務の子は新卒で入った子らしくて小柄でかわいらしい子だった。 同世代が俺と彼女としか居ない事もあって、それなりに仲良くなったんだ。 そんなある日の事、俺がいつも自販機でお茶を買っているのを見て「水筒持ってくれば節約になりますよ」的なことを言ってきた。 面倒くさくてね、と俺が答えるとその子はちょっとだけ考える素振りを見せて「私、水筒なんですけど、よかったら○○さんの分も持ってきましょうか？」 そう提案してくれて、悪いかなと思ったけれど「大丈夫です、ひとつもふたつもそんなに変わらないですから」そういって笑ってくれた。 次の日からその子は俺に水筒を渡してくれて、「はい、すいとーよ」と、その子はいつも笑顔でそう言って俺に水筒を渡してくれた。 俺はいつも「ありがとう」と言って水筒を受け取り、休日には何度か一
参考として5年前に結婚相談所経由で結婚できた我が家を見てみよう
当方 (当時) 35歳 デブ 年収600万 情報技術者相手 (当時) 35歳 ガリ 年収550万 公務員 オタクとしてステレオタイプにイメージされやすいパソコンへメチャクチャ強く、漫画アニメゲームが大好きで、それがこうじて同人ゲームを作っちゃうような俺は日々充実したオタクライフを送っていた。 結婚なんて縁がないものと中学生の時点で既に気付いていたので、ドールを理想的な容姿にして愛でていた。ドールへ自分好みのミニスカ履かせようがホットパンツ履かせようが誰にも迷惑かけじゃん？ そんなある日、子供部屋おじさんだった俺は親から呼び出され突然2万5千円を請求された。 「毎月6万円収めてるのに金ないのか？香典がかさんだ？」 「結婚相談所の入会金の半分だよ。お前もそろそろ結婚考えろ」 「いやいやいや待て待て待て。なにしてくれちゃってんの？どうして勝手にやって折半しようとしてんの？」 勝手に結婚相談所へ入
「婚活している全男性に略」にキレる全男性が気をつけるべき事
https://anond.hatelabo.jp/20200402213732 https://b.hatena.ne.jp/entry/s/anond.hatelabo.jp/20200402213732 これに関して、ちょっと細かすぎな感はあるものの一般常識に近いことばかりだろうに、「マナー講師」がどうの元増田のスペック叩きブコメで溢れて挙げ句コロナなのに外出自粛しないのかとの不謹慎厨まで大挙して正直呆れてるよ。 もっとも元増田さんほどの気配りならこれ位のはてな村人の発狂ぶり想定済みでフェイクを混ぜ混ぜしつつ書いたのだろうが、あまりに見てらんないから元増田じゃないワイ（婚活あがり）が元増田に代わって忠告してあげるよ。 女に恋愛面で痛いところを疲れた男性特有の「男女逆なら云々かんぬん」厨がわいてたので言っとくけど、やる気のある婚活女子ならこの程度のこと言われなくても自己研鑽してるのばっ
新宿駅の攻略指南書（主に乗り換え）
大前提JRと私鉄・地下鉄の乗り換えは原則として（JR）西口を使うこと。 新宿駅は西口中心の鉄道文化だというのを覚えておくこと。 JRからは西口を出てから案内の通りに進めば問題ない。適当に近くの改札から出るから迷う。 東口は東口エリア・サブナード・歌舞伎町方面 中央東口・中央西口は基本利用しない。普段使いするなら覚えると便利。 南口や東南口は目的があるときのみ。でもルミネぐらいか？ 新宿駅 攻略とかでググると近道とか出してくるけどそれは普段利用する人が覚えると便利なもの。 乗り換えはとにかく西口に出ればなんとかなる。 地方から来た場合のざっくり攻略空路羽田なら京急で品川から山手線がベター。モノレール乗りたければ浜松町からでもよい。どちらもわかりやすい。 成田は成田エクスプレス乗りなさい。 新幹線品川か上野から山手線。東京駅に行ってしまったら丸ノ内線でもいいがちょっと遠い。 バスあとで説明する
昔小学生だった時、担任の先生が「誰か一人だけを褒めるのは他の全員をけ..
昔小学生だった時、担任の先生が「誰か一人だけを褒めるのは他の全員をけなすのと同じだ」と言いました。 あなたはこれに対してどう思う。
新幹線で親切にしたのに邪見にされた話
名古屋から東京に向かう新幹線の中で、俺が一番窓際の席、その隣に小学生低学年の子どもが一人、通路側に若い女性が座ってた。 女性はトイレか何かに立って、横浜に着く前くらいに突然に子どもが嘔吐した。 俺めちゃくちゃ焦ってハンカチを子どもに渡し、吐しゃ物が広がらないように着替えと一緒にタオルとか出して処理した。 子どもは依然として調子が悪そうにしているし、前後の席の人に「子どもが吐いてしまったので、荷物が汚れないように気を付けてください」って伝えた。 そしたら「父親なら早く片付けて！」ってヒステリック気味に後の婆さんに言われた。 俺はこの子の父親じゃない。 誰の子か分からんし、まだ調子が悪そうだったから無闇に離れるわけにもいかんし、前の人に車掌さんを呼んで下さいと伝えたら蔑んだ眼で「お子さんにこれ使ってください」ってチリ紙をもらった。 だから俺はこの子の父親じゃない。 一生懸命にチリ紙で処理してた
ロマンスカー！
静岡出張の帰り道、新幹線ではなく小田原からロマンスカーを使った。 会社は世田谷にあるので、町田までの短い時間のきまぐれ。 最初に切符を買って席を確認したときから、はじまる。 「1号車3D！展望室のそば！むだに良い席！」 疲れで少しテンションが下がっていたはずが、ふふんと笑いたくなる。 席についてロマンスカーが発車して、窓からの景色をみてるともうだめ。 小田原→町田は特急券670円とぜんぜん高くないのに。 「なんて贅沢な出張なんだ！」 新幹線や飛行機とはちがう、ロマンスカーの特別感。 西武のアロー号や、東武のスペーシアともちがう、大阪のひとが阪急に感じるそれに近いのかもしれない。 もしかしたら、ちいさな頃から小田急沿線に住んでいたから感じる特別なのかもしれないけれど。 家に帰って妻にいう。 「次の旅行は、ロマンスカーで箱根湯本にいこう」 今日感じた特別を、いつか妻にも分かってほしい。
Suica vs PayPayの結果はもう見えてる
ちきりんは2019/2/24の記事で、Suicaの盤石さを書いてた。 2019年 日本のキャッシュレス決済事情 - Chikirinの日記 ツイートからも、Suicaへの愛とQRコード決済の不便さへのいらだちが感じられる。 https://twitter.com/search?q=from%3Ainsidechikirin%20suica&src=typd ちきりんのブログ記事から7ヶ月が経過したPayPayの現状。 PayPay「スーパーアプリ」を目指す。決済から全てをPayPayに - Impress Watch 店舗数はすでにPayPayがSuicaを抜き、決済回数の月間4000万回は、Suicaの月間2億回の1/5程度。年内には半分程度になりそう。 ちきりんに言わせればこれはバラマキの結果に過ぎないのだろうが、本質はそうじゃない。 キャッシュレス戦争の構図がわかっていない、ちきりん
アニメに課金要素って持ち込めないの？
例えばなんだけど、同じアニメでもこのキャラって違う声優の声質とか演技の方があってそうだよなぁってこと結構あるじゃん？ だからオーディションの最終選考まで残った複数の声優にも最後まで声を当ててもらって、自分の聴きたい声優のデータをダウンロードすることでイメージ通りの声優の演技でアニメ楽しめたら最高なのになーって思うんだけどダメかな？ 同じアニメでも声優の演技次第で何パターンも楽しめるの良さそうだと思うんだよね。自分は1000円くらいだったら何パターンもダウンロードすると思う。 テレビ放送じゃなくてネット配信がこれだけ身近になってるからいけそうな気もするんだけどダメなのかな？
ツイッター創世記を語るツイッター老人だぜ
2006年から日本でツイッター使えるようになったんだけど、しっかりとした日本語でツイートできるようになったのは2007年ごろ 2008年ごろにぐいっと利用者が伸びた（第一次流行というか…） その08年ごろにミーハーとしてツイッターを始めてもっと古参が居るというのに老人枠になっている一人が自分だ。 その頃にはもう津田大介はツイッターに居た。 ただその当時のツイッターは本当にオタクしか居なかった。 アニメ、アイドル。今も昔もこの層が多くて圧倒的に人が居る。 アイドルのなかだとジャニオタ、次いでハロオタだったかもしれない。 ブログ→ツイッターと流れて行ったので、この二つがブログ文化でも栄えていた影響だろう。 その頃は殆どオタクLINEグループと変わらない使われ方をしていて、芸能人目撃情報が書かれてもその芸能人オタク以外に広まらなかったし、アニメ実況もアニメ垢にしか目に入らなかった。 なので津田大
婚活で「趣味はWikipediaの編集」って言ったら引く？
割と週末やることなくて記事書いてるんだけど 【追記 2017/11/12】 結構引くみたいですね、ありがとうございました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
船オタクって少なくない？
この漫画の作者は女(男)っぽい！！
名前は「あ」や「a」から始めるべき
鬱っぽいな〜って時、みんなは何してる？