右連続な確率過程のsupを非可算集合の範囲で取っても可測

はじめに タイトルどう書けばいいんかわかんない. 可測関数列に対してやが可測になることはLebesgue積分の講義で学ぶことである. ここでなどは可算集合上で動かしている. これの動かす範囲が非可算集合]上でも右連続ならば同様のことが言えることを示す.…

日本における大学進学率と学位取得率についてざっくりと

はじめに 先日Twitterで 一番異常だなって思えるのがこれ。高等教育を受けてる人の割合。 pic.twitter.com/qcoi2Zcuwv— 柏崎!!! on ICE (@miraiko) 2017年3月27日 といった画像が流れてきた.画像を要約すれば「学位取得率は日本だけ男性が多い」といったも…

Tex環境(2016年12月版)

はじめに 前に自分のTeX環境のまとめをしたのが2015年7月だったので最新版を. 分かりやすく言えばブログの更新がかなり前なので取り敢えずの更新ネタ.

positiveな線型汎函数が可算加法性を持つことの必要十分条件

はじめに B4ゼミを3人で行っているのだが,内1人が教育実習に行っていた間は2人でGamma Function/Emil ArtinとAn Introduction to Probability Theory and Its Applications/William Fellerの輪講をしていた. 後者の本で注釈に書かれていた証明のgapが激し…

ソクラテスの弁明に見る「難しい言葉」

はじめに プラトンの「ソクラテスの弁明」やアリストテレスの「形而上学」等といった書籍にはどうにも難しい単語や言い回しが多い. その効果についてソクラテスの弁明を題材として見ていきたい. ソクラテスの弁明 ソクラテスの弁明とはプラトン(BC427-BC3…

MtGの拡張アートを始めた話.

はじめに 久しく離れていたお絵かき.やはり楽しい. お絵かき 自分は中学2年の時のクラスメイトに影響されて絵を描き始めた.当時は授業中もいつも絵を描いてばっかでいた. 普通の中学校だったので,授業は聞いてなかったが成績は常に10位程度だったのでま…

ThinkPad X201のCMOS電池を交換した話

はじめに まただよ(笑) 以前ThinkPadのバックライトが死んだっぽかったので液晶を交換した. 症状はなくなり順調かと思いきや再発. 残る可能性はCMOS電池,ここにCMOS電池を交換するに至ったのであった. 手順 いつも通りキーボードとパームレストを外す…

翻訳,それと原文に関する雑感

はじめに 翻訳は極めて偉大な所業に相違ない.それは万人が認めるところであろうと思う. しかし同時に,翻訳された文ではなく原文を読むべきという意見もある.それもまた当然のことである. 細かいところはさておき,この辺りについての雑感を記しておきた…

楕円を経路とする複素積分を2通りに解釈して式を導出しろという問題

はじめに Cauchyの積分公式のapplicationとして,パラメータの取り方によってnon-trivialな結果が得られることがある.それの例を示す. 2年次開講科目の演習時間に解いてので纏めた次第である. 問題 曲線を楕円を正方向に1周するとしを2通りに解釈して \be…

電気回路を用いたPólyaの再帰性定理の証明

確率論 (新しい解析学の流れ)作者: 熊谷隆出版社/メーカー: 共立出版発売日: 2003/03メディア: 単行本購入: 1人 クリック: 31回この商品を含むブログ (9件) を見る 3年後期のゼミで上の本の第3章の輪講を行っている. 内容としては電気回路を用いた確率論の…

2015年の振り返りと2016年の抱負

はじめに 新年が明けた. 2015年は自分の周りではなかなかに激動の年だったと思うし,ここで振り返りと,そして本年の抱負を書いていきたい. 2015年 1月・2月 明石高専での卒研に忙殺されていた. 元々自分が悪かったのだが,卒研開始日時が実質2014年12月1…

クリスマスの夜にひとりぼっちでカレーを作ったら美味しかったので備忘録とか.

はじめに みんなも華麗なる食卓を読もう. 華麗なる食卓 1 (ヤングジャンプコミックスDIGITAL)作者: ふなつ一輝,森枝卓士出版社/メーカー: 集英社発売日: 2012/12/14メディア: Kindle版この商品を含むブログを見る 材料 名称 量 ジャワカレー 半箱 じゃがい…

D-DAYダイスの紹介

はじめに 本記事はボドゲ紹介 Advent Calendar 2015 - Adventarの21日目のものとなる.本記事ではD-DAYダイスを紹介したいと思う. セミナー等が重なったため遅れてしまったことは申し訳なく思うところである. 画像は全てBoardGameGeekから引用した. D-DAY…

Twitter空間上で認識される概念としての友利奈緒

はじめに 本記事は友利奈緒 Advent Calendar 2015 - Adventarの9日目のものとなる. 筆者はCharlotteを一切視聴していないため,アニメの情報なしにTwitter空間上で認識出来る友利奈緒についての私見を述べる. 友利奈緒 友利奈緒は,2015年7月5日-9月27日に…

ThinkPad X201の液晶のバックライトが死んだので交換した

はじめに 2015/11/9 以前からThinkPad X201を(再)起動すると,ThinkPadのロゴはうっすら見えるがそれ以降は真っ暗という現象に陥っていた. この日まではたまに発生するという程度で,その時は放電すれば解決した……が,今回はそうも行かず. 起動時間とか…

YAPC::Asia Tokyo 2015 2日目に参加してきた.

はじめに 2日目や! 祭りや! 祭りやで! 改めて記載するがYAPC::Asia自体は昨年に続き2回目の参加である. 基本的に敬称は略す方針である. 書いてる途中に気付いたが,感想というよりはまとめ・備忘録に近くなってしまったのでここで記しておく. 聞いたト…

YAPC::Asia Tokyo 2015 1日目に参加してきた

はじめに 1日目,睡眠不足のため眠かったのがつらかった. 改めて記載するがYAPC::Asia自体は昨年に続き2回目の参加である. 会場 今年もありますDeNA水 #yapcasia pic.twitter.com/9azNcyYFZF— ホテルバルティック(クローン)in東京 (@noan6251) 2015, 8月…

YAPC::Asia Tokyo 2015前夜祭に参加してきた.

はじめに ざっとhashtag眺めてるけどブログ投稿してる人少なくね? って思ったし投稿するしかない. YAPC::Asia Tokyo 2015 世界最大のYAPCが最後の大花火をぶちあげに今年ももどってきました!YAPCはYet Another Perl Conferenceの略で、Perlに関するカンフ…

実質的に両親が離婚した

はじめに まさかこの歳で実質的にとは言え両親が離婚するとは思っていなかったし,またそれに際して色々と思うことがあったのでまとめておきたかった(正直に言うと今現在は「離婚した」と聞いてはいないだけなので離婚したかしてないかが定かで無い).大体…

Facebookにおける性

はじめに 昨今のソーシャルにおいて,性別は「男」と「女」のみならずそれ以外のものも認める傾向にある. 勿論全部がそうではないが,世論全体としてもある程度そのようなものが認知されつつあるのが現状である. そこで今回はSNSの一つとしてFacebookを取…

TeX環境

はじめに 軽いまとめとして自信のTeX環境のまとめをしたかった.適宜追加はしたい. 最新版は spark6251.hatenablog.com 2016/12/02追記. 使用しているパッケージ 大体CTANに落ちているものだと思うが,構築が結構前なものもあるので怪しい. \documentclas…

日本の数学教育の変遷

はじめに 二階線型斉次微分方程式ぐらいは高校の範囲でいいと思うんスよ(選民思想). Motivation 「昔は高校で群論の講義があった」なる噂を聞いた(恐らく半年ぐらい前のことだ).これがひとつ. ちなみに群とは,数の集合に,結合法則・単位元・逆元を…

Unicode 8.0.0対応フォント一覧

はじめに 過去の記事 spark6251.hatenablog.com で,楔型文字などどうやって表示するんだろうと言っていたが,案外フォントは存在したのでそれをまとめたかった. 注意 この記事の多くはUnicode 7.xの時に書いていた. 2015/06/17にUnicode 8.0.0が公開され…

Unicode 8.0.0がリリースされた

はじめに めでたい.赤飯を炊こう. 結局全てUnicode 8.0.0を読めば解決する. Summary summaryだけは訳しておこう.Synchronizationは訳さないけど. Unicode 8.0で7716文字が追加された.6種の新しい文字と記号……勿論既存の文字にも追加の文字はある.追加…

続・幸せになるために

はじめに 前記事 幸せになるために - てきとーになんか書きますspark6251.hatenablog.com 大事なことは「幸せになるためにはやりたいことをやる.そのために面倒なことに掛ける時間を減らす」ということ. プログラマの三大美徳 プログラマ諸兄にはお馴染み…

幸せになるために

はじめに 幸せになりたい. 定義:幸福度 幸福度とは単位時間あたりに幸福であると感じる割合である. 幸福度 人生の一つの尺度として幸福度が挙げられる.充足度などと換言しても差し支えないと思う. 短期的な幸福とはある瞬間に幸福を感じるということで…

The umbilical points of the ellipsoid in R^3

Problem Find the umbilical points of the ellipsoid \( x^{2}/a^{2}+y^{2}/b^{2}+z^{2}/c^{2}=1 \) . The ellipsoid in may be parametrized as \[ \begin{align} p(u,v)=(a\cos u\cos v,b\cos u\sin v,c\sin u) \end{align} \] Solution Partial differen…

勉強会開催にあたって考えるべきこと(あと僕自身が発表をする時の話)

はじめに 勉強会を開催する時,考えることが結構あると思う. 主催をしたことはないため参加者側から思うことを書いていく.基本的には募集段階のみの話. またこの記事ではYAPCやPyConと言った非常に大きなカンファレンスではなく,100人以下程度の規模の勉…

3Dプリンタを使用した雑感

はじめに 岡山大学テクノロジーラボの課外活動の一環として,就実大学の3Dプリンタを使用させて頂いたのでその感想. 筆者の知識 そもそも僕には3Dプリンタの現状(スペック)に関する知識が殆どなかった. 初めて3Dプリンタを知ったのは3年ほど前. その頃…

目指せウィキペディアン

はじめに ぶっちゃけ唯の翻訳練習. ウィキペディアン ウィキペディアン (Wikipedian) とは、ウィキペディアの執筆者・編集者のことです。ウィキペディアはプロジェクトの性質上広く一般に開かれており、誰でもウィキペディアンとなることが出来ます。*1 ま…