2016年12月のつぶやき
あけましておめでとうございます。
— takus@仕事始め (@takus69) 2016年12月31日
@hyuki おはようございます。
— takus@仕事始め (@takus69) 2016年12月30日
RailsTutrial終わった!仕事の昼休みにちまちまやって1年ぐらいかかったな。面白かったー!
— takus@仕事始め (@takus69) 2016年12月30日
次はrails使ってサイト作ってみよう。
新幹線。帰省ラッシュで混んでるね。大変だ。
— takus@仕事始め (@takus69) 2016年12月30日
去年は具体的な目標を立ててなかったと思う。今年は立てる!
— takus@仕事始め (@takus69) 2016年12月28日
キツイ。。。
— takus@仕事始め (@takus69) 2016年12月28日
全力で年賀状の一言記入中!
— takus@仕事始め (@takus69) 2016年12月28日
今日で仕事納め。個人的な目標ができてないから、後三日頑張る。
— takus@仕事始め (@takus69) 2016年12月28日
実現が大切。来年の抱負決まった!
— takus@仕事始め (@takus69) 2016年12月28日
やはり英語は必要か。勉強するのではなく、日常的に使うようにするのが重要かな。
— takus@仕事始め (@takus69) 2016年12月27日
これはためになる。
— takus@仕事始め (@takus69) 2016年12月27日
「小さくて良い会社」をどうやって探すか。 https://t.co/MzqQCu7Xrl
22歳です! 好きなサンドイッチを作るとあなたの精神年齢がバレる診断 https://t.co/vWwupYpy1f
— takus@仕事始め (@takus69) 2016年12月27日
18歳です! スマホの使い方からあなたの年齢がバレる診断 https://t.co/IjhySn220y
— takus@仕事始め (@takus69) 2016年12月27日
おはようございます
— takus@仕事始め (@takus69) 2016年12月26日
最近やることの方向性を見失っているな。あれこれやりたいとフラフラしてる。今日出勤の電車で整理しよう。
— takus@仕事始め (@takus69) 2016年12月25日
おはようございます
— takus@仕事始め (@takus69) 2016年12月25日
久しぶりのCodeIqの問題解いたけど、おもしろいね。プログラミングコンテストとかも時間見つけてやるのいいと思う。
— takus@仕事始め (@takus69) 2016年12月25日
@piyo_hoge1985 おはようございます
— takus@仕事始め (@takus69) 2016年12月25日
小学校?高校生でも難しそう。。。 https://t.co/DWxVCyM9Vs
— takus@仕事始め (@takus69) 2016年12月24日
おはようございます。ハッピーメリークリスマス。
— takus@仕事始め (@takus69) 2016年12月24日
ゲームしたくなってきた。無課金で楽しめるオススメゲームありますか?前はパズドラやってて楽しかった。星ドラ面白そう。他にもあるかな?
— takus@仕事始め (@takus69) 2016年12月24日
はてなブログに投稿しました #はてなブログ
— takus@仕事始め (@takus69) 2016年12月24日
小学生でも読める算数が楽しくなる本「数の悪魔」を読みました。 - What one likes, one will do well 〜好きこ…https://t.co/5H8j22Trvn pic.twitter.com/IV5Eha7ozF
ハッピークリスマス!2日連続クリパで楽しみました。今日の夜はサンタさんくるかな?
— takus@仕事始め (@takus69) 2016年12月24日
おはようございます
— takus@仕事始め (@takus69) 2016年12月23日
もう少しイメージしやすい問題にしようよ。。。未来のバスかな。。。 https://t.co/LwJUEFDIHn
— takus@仕事始め (@takus69) 2016年12月23日
子どもが冬休みだから自主的に冬休みの自由研究としてプログラミングで何か作ろうと思う。scratchを使う予定。
— takus@仕事始め (@takus69) 2016年12月23日
おはようございます。は朝起きたときにしないとね。起きて随分立ってから思い立った。
— takus@仕事始め (@takus69) 2016年12月23日
教えてる関係で高校数学の問題解いてる。ある程度理解しているから、学びは少ない気がする。自分が理解できていない問題に挑戦して初めて成長できるよね。
— takus@仕事始め (@takus69) 2016年12月22日
Lineでスタンプを頑張って使うようにしてる。文章書かなくてよいから楽だね。、
— takus@仕事始め (@takus69) 2016年12月22日
通勤ラッシュ無駄だな。どうにかならんかな。やはりリモートワークか。
— takus@仕事始め (@takus69) 2016年12月21日
@tbpgr おはようございます
— takus@仕事始め (@takus69) 2016年12月21日
やっぱり物理って面白いよね。
— takus@仕事始め (@takus69) 2016年12月21日
@hyuki おはようございます
— takus@仕事始め (@takus69) 2016年12月21日
RailsTutrial年内に終われそうだな。仕事の昼休みにちまちまやって1年以上かかった^^;
— takus@仕事始め (@takus69) 2016年12月21日
検索順位でクリック率違うのは実感しますね。1ページ目と2ページ目はさらに違う。。。 https://t.co/DPdIkS11T9
— takus@仕事始め (@takus69) 2016年12月21日
電車で標準理論の本読んでるけど、30分かけて1ページ読めない。紙に書けないから式の展開頭でやってるのも遅い原因だけど難しい。。。
— takus@仕事始め (@takus69) 2016年12月21日
Lineのスタンプ買ったのに使ってなかった。使わないと!
— takus@仕事始め (@takus69) 2016年12月20日
新年に向けて準備するか。年が明ける前にそう思ったの初めてかも。
— takus@仕事始め (@takus69) 2016年12月20日
子ども熱出して、また休まないと。冬は体調崩しやすいよね。。。
— takus@仕事始め (@takus69) 2016年12月19日
@777_cobol pythonはいいですよね。キレイに書けます。Rは統計の機能が充実してるので使おうと思ってます。pythonはTensorFlowの勉強で使ってますよ。
— takus@仕事始め (@takus69) 2016年12月19日
統計分析するのにRを使うか、Pythonを使うか悩んでる。でもRかな〜。
— takus@仕事始め (@takus69) 2016年12月19日
人と人との関わり合いは、大切だね。
— takus@仕事始め (@takus69) 2016年12月18日
@wepeketoqix 91かな?何でエンジニアがわかるんだろう?
— takus@仕事始め (@takus69) 2016年12月18日
数学ガール高校生に勧めてみた。読むかな?
— takus@仕事始め (@takus69) 2016年12月18日
いまをさがそう。#twitter
— takus@仕事始め (@takus69) 2016年12月18日
自分の役割、やるべきこと、考えるべきことを整理して、来週・再来週の予定を立てた。 #7つの習慣
— takus@仕事始め (@takus69) 2016年12月17日
タスクは、すぐ手をつけられるものと、検討が必要なものに分けた方がよいと思った。
— takus@仕事始め (@takus69) 2016年12月17日
twitterのツイート数知りたい。曜日別とか時間別とか。
— takus@仕事始め (@takus69) 2016年12月16日
世の中お金じゃないけど、お金はかなり重要だよなー。
— takus@仕事始め (@takus69) 2016年12月16日
いまどき我が家はADSLなんだけど、光回線に変えようとしている。理由は電話で119や0120が使えないから。そんなに金額増えるわけではないけど、ADSLで十分なんだけどなー。悩み中。
— takus@仕事始め (@takus69) 2016年12月16日
@shinadamiho 食洗機便利ですよ。1日1回まとめて夜に洗ってもらってます。
— takus@仕事始め (@takus69) 2016年12月16日
勉強する時って100%理解するつもりでよんで、やっと新しい知識を取得できるな。少しでもわからないからと飛ばすと、ほとんど新しい知識があるは得れない気がする。
— takus@仕事始め (@takus69) 2016年12月16日
今日は標準理論の本読むかな。
— takus@仕事始め (@takus69) 2016年12月15日
今の環境は好きなことができる環境に近い気がするけど、何にもしなければそのままだと思う。努力しがいがある状況にあるので頑張ります。
— takus@仕事始め (@takus69) 2016年12月15日
仕事で好きなことをしている人っていいなと思うけど、そうするには努力が必要だと思った。好きなことができる環境に近い場合も遠い場合もあるだろうけど、自分で努力して好きなことを仕事にできるように変えていくことが必要なんだと思った。
— takus@仕事始め (@takus69) 2016年12月15日
新しく買ったPC(1年近く前だけど)、子どもがいじって壊されたくないからとたまにしか開かなかった。久しぶりに開いて使おうと思ったらインターネットに繋がらない!?セキュリティパッチが当たってなかったから、繋がらなかったよう。無事解決して良かった。せっかく買ったPCも宝の持ち腐れだ。
— takus@仕事始め (@takus69) 2016年12月15日
RailsTutorial 11章終わった。3rdエディションだから、ラスト1章。長かった~。(まだ終わってないけど)でも、とても楽しんでます。
— takus@仕事始め (@takus69) 2016年12月15日
アンパンマンって顔が濡れてやられるたびに元気100倍で強くなる。サイヤ人みたいだ。毎回一度はアンパンマンを追い詰めるバイキンマンも同様に強くなっているってことだな。
— takus@仕事始め (@takus69) 2016年12月15日
物理の勉強をまた始めようとしているのだけれども、その前に数学ガールのガロア理論読んで、群に慣れ親しんだほうがよいかな?
— takus@仕事始め (@takus69) 2016年12月15日
子どもと毎朝「保育園行くよー」「行かないー」を繰り返してなかなか出発出来ないのだけれども、いい方法が見つかった。優しく抱っこして、話ししながら準備する。
— takus@仕事始め (@takus69) 2016年12月15日
その場に行けば楽しむタイプだから、外に出たり、保育園着くと乗り気になってる。焦らないのがコツですね。
子どもが熱を出した。2週目。。。
— takus@仕事始め (@takus69) 2016年12月15日
R言語の勉強始めた。統計分析にはかなり便利そう。
— takus@仕事始め (@takus69) 2016年12月15日
週の真ん中ですが、今更今週の計画立てた。計画大事。さて今週も頑張るぞ。
— takus@仕事始め (@takus69) 2016年12月14日
人生に無駄はない。と思ってる。
— takus@仕事始め (@takus69) 2016年12月13日
自分がどうしたいか。それが大切だよね。
— takus@仕事始め (@takus69) 2016年12月13日
30になって思ったな。最近です。
— takus@仕事始め (@takus69) 2016年12月11日
石原さとみ、自分を変えた助言と一人旅 20代は「変化」の日々 - Ameba News [アメーバニュース] https://t.co/sthcQ6til4 #news @newsamebaさんから
5分10分のお昼寝が効果的というけど、本当にそうだ。すっきりした!
— takus@仕事始め (@takus69) 2016年12月11日
@hyuki こちらこそありがとうございます。いつも楽しく読ませてもらっています。子どもが、大きくなったら読ませたいです。
— takus@仕事始め (@takus69) 2016年12月11日
はてなブログに投稿しました #はてなブログ #数学ガール
— takus@仕事始め (@takus69) 2016年12月10日
数学ガール 乱択アルゴリズムを読みました。 - What one likes, one will do well 〜好きこそ物…https://t.co/sLSPDmSdVc pic.twitter.com/VsuLx6IeZF
久しぶりにボーとしてゲームした。こんな日も必要だよね。
— takus@仕事始め (@takus69) 2016年12月10日
数の悪魔読んでるけど、数学ガールと同じこと書いてある。数の悪魔は小学生でも読めるみたいだけど、すごい内容扱ってるな。
— takus@仕事始め (@takus69) 2016年12月9日
TOEICズタボロだったから毎日の通勤に英語聞き流し始めた。効果ないと言われているけど、さすがに毎日続けると効果あるんじゃ?本当に聞き流ているだけで、本とか読んでるけどね。
— takus@仕事始め (@takus69) 2016年12月9日
最近のアカウント登録時のセキュリティチェックの画像。人間でも解読難しい。3回ぐらい間違えた。違う方法が必要なのでは?
— takus@仕事始め (@takus69) 2016年12月9日
似た話だとなんでも「も」をつけてしまうクセがある。少し話が違うから「は」でしょと後になって思うことがよくある。気にしてるけどなかなか直らない。
— takus@仕事始め (@takus69) 2016年12月9日
@kagamihr コメントありがとうございます。素数の性質は不思議ですね。とても面白いです。
— takus@仕事始め (@takus69) 2016年12月9日
簡単に理解できるのに証明できてないのが驚きです。
2より大きい偶数は、2つの素数の足し算で表される。5より大きい奇数は3つの素数の足し算で表される。すげぇ!
— takus@仕事始め (@takus69) 2016年12月9日
今日から数の悪魔読む。楽しみ。
— takus@仕事始め (@takus69) 2016年12月8日
保育園の送り迎えパパ普通に見るよね。うれしくなるね。
— takus@仕事始め (@takus69) 2016年12月8日
1ヶ月間のつぶやきをブログに掲載しているのだけど、もう1ヶ月経ったかという時間が進む速さを感じるとともに、こんなこともあったんだと1ヶ月で体験したことが色々あって楽しい。https://t.co/nQdDa3gpIl
— takus@仕事始め (@takus69) 2016年12月8日
いまさらだけどjson使うか。
— takus@仕事始め (@takus69) 2016年12月8日
勉強会でTensorFlowのTutorialの説明してきた。楽しいし、自分の学びにもなるね。
— takus@仕事始め (@takus69) 2016年12月8日
@rengaakai お気遣いありがとうございます。胃腸炎が一番怖いかもしれません。
— takus@仕事始め (@takus69) 2016年12月8日
今日は勉強会。急にTensorflowについて話すことになった。Tutorialの簡単な解説するだけですけど。
— takus@仕事始め (@takus69) 2016年12月7日
家族が順に胃腸炎になってる。一巡しそうな予感。。。
— takus@仕事始め (@takus69) 2016年12月7日
twitterは情報源としていいよね。
— takus@仕事始め (@takus69) 2016年12月7日
ミレニアム懸賞問題に興味があるけど、その前に数学ガールのガロア理論かな。
— takus@仕事始め (@takus69) 2016年12月6日
昨日TOEICを受けて特にリスニングが撃沈したから、今日から効果がないと言われるが続けられそうな聞き流しを1年試すことにした。1年後結果はいかに!?
— takus@仕事始め (@takus69) 2016年12月5日
最近は夫婦で歩いてパパが子どもを抱っこしている姿をよく見るな。幸せな時代になったもんだ。家庭が一番大切ですよ。
— takus@仕事始め (@takus69) 2016年12月4日
多層パーセプトロンとニューラルネットワーク、ディープラーニングは学び始めた私にとっては、同じものという理解でいいのかな?
— takus@仕事始め (@takus69) 2016年12月2日
メソッド名が変わっているらしい。チュートリアル直そうよ。。。
— takus@仕事始め (@takus69) 2016年12月1日
global_variables_initializer => initialize_all_variables
tensorflowのチュートリアルやってたら、こんなエラーが。
— takus@仕事始め (@takus69) 2016年12月1日
AttributeError: 'module' object has no attribute 'global_variables_initializer'
一般化線形モデルって、応答変数がある確率分布に従っているのを前提にしてるよね?つまり当てはまりが良い確率分布が見つからなければ使えない。そんな時はどうするんだろう?
— takus@仕事始め (@takus69) 2016年12月1日
2017年に実現したいこと
はじめに
昨年8月からブログをはじめてまだ半年もたっていません。ずいぶん時間がたった気がします。昨年は一年間ありがとうございました。今年もよろしくお願いします。
1年の始まりということで、昨年の振り返りと今年の目標を設定したいと思います。
はてなブログの今週のお題「2017年にやりたいこと」でもあります。
2016年の振り返り
昨年は大きく変化のあった年でした。
育休を2年間とってみて~職場復帰~ - What one likes, one will do well 〜好きこそ物の上手なれ〜
育休から仕事に復帰した出来事は大きな変化でした。育休を取らせてくれ、温かく迎えてくれた会社には感謝の気持ちしかありません。会社に対する愛社精神が増し、会社に貢献して恩返しをしたいという気持ちになりました。今はその気持ちで頑張っています。
また育児に対する考え方や見方も大きく変わりました。育児の大変さを痛感するとともに、男性が育児に参加することが夫婦や子ども、社会にとって大切だと思います。育児は誰かに任せておけばよいものではなく、夫婦を中心にみなで協力していかなければいけない大プロジェクトだと思います。それくらい簡単なものではないと思います。
子どもは放っておいても育つものですが、やっぱり日々悩み、考えながら試行錯誤しながらやっていくものだと思います。
ただ悩みすぎてノイローゼになってはいけません。子どもは放っておいても育つのですから。バランスの難しさを感じますが、子育てというプロジェクトをやりきることが人生の一つの目標ではないでしょうか。
積極的に学ぶ機会を作るようにしました
2015年末CodeIQの忘年会に参加したのをきっかけに、自分の視野の狭さや知識のなさを痛感して、積極的に学ぶ機会をつくるようにしました。
新しいことを学ぶことが自分の刺激になり、さらなる学習意欲を生みよい循環になっていると感じます。
いろいろな本を読みました。
- もしドラを読んでマネジメントの勉強をしました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
- 7つの習慣を読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
- ケントベックのテスト駆動開発入門を読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
- アジャイルソフトウェア開発の奥義を読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
読んだことのない本を読んで新しい知識を入れることはとても大切だと感じます。世界が広がりました。
また7つの習慣やケントベックのテスト駆動開発入門は何度か読んでいるのですが、一度感銘を受けた本を再度読むことは理解が深まり、それも新しい気付きを得ます。
ドットインストールを利用してプログラムの勉強をしました。
- Python入門~ドットインストール~ - What one likes, one will do well 〜好きこそ物の上手なれ〜
- Heroku入門~ドットインストール~ - What one likes, one will do well 〜好きこそ物の上手なれ〜
ブログにはアップしていませんが、他にもRubyやRなどもドットインストールを利用して学びました。はじめて使う場合はとても便利だと思います。
Rails Tutorialに挑戦しました。
まだブログにアップできていませんが、年末ぎりぎりで何とかやりきって、今度記事をアップしようと思っています。とても楽しいので、Ruby on Railsを学びたい人にとっては本当におすすめです。
機械学習を学び始めました。
- 機械学習を学んで、基本的な考え方をまとめました - What one likes, one will do well 〜好きこそ物の上手なれ〜
- Qiitaに記事を投稿しました。~クラウド統合開発環境Cloud9でTensorFlowを使う~ - What one likes, one will do well 〜好きこそ物の上手なれ〜
- Qiitaに記事を投稿しました。クラウド統合開発環境Cloud9でTensorFlowを使う~使い方の基本~ - What one likes, one will do well 〜好きこそ物の上手なれ〜
- Qiitaに記事を投稿しました。クラウド統合開発環境Cloud9でTensorFlowを使う~ソフトマックス回帰~ - What one likes, one will do well 〜好きこそ物の上手なれ〜
まだ勉強途中ですが、自分で試行錯誤しながら使いこなせるよう奮闘している最中です。私の好きな数式がたくさんありますし、それを理解していくプロセスを楽しんでいます。今話題の技術でもありますし、自分のものにしていきたいです。
アウトプットを重視するようにしました
インプットは大切ですが、アウトプットすることでさらに理解が深まるため、アウトプットを重視するようしました。
このブログもしかり、QiitaやGitHubにも記事の投稿や成果物のアップをするようにしています。なかなか大変ですが、その分学びも多いです。自分の成果として一つずつ残していきたいと思います。
- twitterをはてなブログに投稿するgem - What one likes, one will do well 〜好きこそ物の上手なれ〜
- テストの重要性と失敗あるある - What one likes, one will do well 〜好きこそ物の上手なれ〜
- Qiitaで記事を投稿しました。excel VBAで使えるテストフレームワークを作ってみた。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
数学ガールに出会いました
別枠にしましたが、本を読んだ中で数学ガールの出会いは衝撃的でした。とても面白く、自分の中にある数学や物理を好きな気持ちが再燃しました。
高校生レベルで理解できる内容ですが、大学以上のレベルの数学を扱っています。それでいてわかりやすいです。数学が好きな人には本当におすすめです。その気持ちが回りまわって、持っていた物理の本を取り出して物理の勉強も再開しました。
最後の数の悪魔は小学生でも読める算数が楽しくなる本です。小学生におすすめです。
- 数学ガールを読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
- 数学ガール フェルマーの最終定理を読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
- 数学ガール ゲーデルの不完全性定理を読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
- 数学ガール 乱択アルゴリズムを読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
- 小学生でも読める算数が楽しくなる本「数の悪魔」を読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜
育休を2年間とってみて~おやじの会~ - What one likes, one will do well 〜好きこそ物の上手なれ〜
子どもの小学校でおやじの会をはじめました。育休を通じて子どもとの関わりの大切さを感じ、学校に対してできることからやっています。
昔遊びのコマ回しを教えたり、運動会の片づけを手伝ったり、子どもの安全のため旗振りの検討をしたり、まだまだ少しのことしかできていませんが、できることからやっていきたいと思います。
2017年に実現したいこと
2016年は大きな変化があった年でした。そして主にインプット、そしてまずやり始めた年だったと思います。
2017年はその結果を残すため、アウトプットを重視する年にしたいと思っています。
ブログ、Qiita、Github
学んだり、実践したりしたことは引き続きブログやQiita、Githubに残していきたいと思います。3か月に1回それなりにまとまったものを成果として残していきたいと思います。大変だと思いますが、それを目標に頑張っていきたいと思います。
またアップしてある記事や成果物の見直しも行っていきたいと思います。荒削りな部分も多く、改善していくことが大切なことだと感じています。
Ruby on Railsでサイト構築
Rails Tutorialで学んだことを使って、サイト構築したいです。世の中に役立つサイトを構築できたらと思っています。交通安全マップ的なものを考えています。
機械学習で遊ぶ
Python、TensorFlowを学び、機械学習の勉強をしているので、その知識を利用して実際に何か作りたいと思っています。まだアイディアはないのですが、遊び感覚でやっていきたいと思っています。
おやじの会の活動を広げる
立ち上げたおやじの会の活動を広げていきたいと思います。もっと見える形で活動をして、実績を残していくことが大切だと感じています。活動の範囲を広げるとともに、アピールして、認知度を高めていくことが目標です。
物理・数学を深める
まずは今持っている物理の本を理解したいと思います。次のステップとして、ミレニアム懸賞問題の問題の意味を理解したいと思っています。
「ヤン-ミルズ方程式と質量ギャップ問題」の問題の意味を理解して、自分で考えられるようになることが今年の目標だと思っています。
おわりに
振り返ってみると以前に思っていたことが思い返され、新たな原動力になりました。今年の目標はアウトプットということで、難しいと感じます。しかしこれができるとできないのが大きな分かれ目になると思っています。自分自身の意欲は続いているので、それをアウトプットにすべく、一年頑張っていきたいと思います。
今年もよろしくお願いいたします。
小学生でも読める算数が楽しくなる本「数の悪魔」を読みました。
はじめに
数の悪魔を読みました。小学生でも読めて、算数や数学の不思議な話が書いてあり、算数や数学を好きになるそうです。
私も楽しく読みましたし、うちの子(小学3年生)も楽しく読んでいます。
扱っている内容
- 指数。ホップすると言うらしい。
- 素数。エラトステネスのふるいを扱っていた。
- 素数の面白い性質。2より大きい偶数は2つの素数の和、5より大きい奇数は3つの素数の和で表すことができる。
- ルート。大根と言うらしい。ルートを取るときは、大根を抜くと言うらしい。
- 1から順に足していくときの和。
- フィボナッチ数。
- パスカルの三角形。
- 組合せ。
- 階乗。びっくりと言うらしい。
- 級数。
- 無理数。
おわりに
内容は高校レベルなのに分かりやすく、小学生でも楽しく読める内容です。中学受験する子は知っている内容かなと言う印象です。
とにかく面白いのでお子さんにオススメです。おまけに算数、数学好きになってくれれば言うことなしですね。
- 作者: ハンス・マグヌスエンツェンスベルガー,丘沢静也
- 出版社/メーカー: 晶文社
- 発売日: 2000/04/01
- メディア: 単行本(ソフトカバー)
- 購入: 13人 クリック: 141回
- この商品を含むブログ (54件) を見る
数学ガール 乱択アルゴリズムを読みました。
はじめに
数学ガールの乱択アルゴリズムを読みました。仕事や趣味でプログラム書くから、他の数学ガールより簡単に読めるかと思いきや、なかなか難しい内容でした。前にアルゴリズムの本を読んで最後まで読みきれなかったことがあるのですが、やはり私にはアルゴリズムが難しいようです。
それでも数学ガールはわかりやすく、順序立てて書かれているので、理解が深まりました。
読んだ感想をまとめます。
リニアサーチ
アルゴリズムと言えばソートというイメージがあったのですが、最初に検索から入っていました。その方が理解しやすいなと感じました。
少しの工夫で実行ステップ数が改善するのが、面白かったです。今まであまり考えたことがなかったのですが、小さな積み重ねが大きな差になるので、これから気をつけないとと思いました。
確率の公理
確率の公理は初めて知りました。高校で習う数学と大学以上の数学での違いは厳密に定義される点だと感じます。
少しの公理に確率の考えが詰まっていると思うと不思議です。
ソート
検索のアルゴリズムは比較的簡単ですが、ソートになると急に難しくなります。前にアルゴリズムの本を読んだときもたくさんのソートアルゴリズムを読んで途中で断念しました。じっくり読むと理解できるのですが、すっとは入ってこないですね。コードを何度も読んだり、実装するのがよいだと思いつつやってないですね。。。
考え方が理解しやすいバブルソートとよく使われているクイックソートが出てきました。
対角行列
私は行列苦手で、特に対角行列がよくわかってなかったのですが、乱択アルゴリズムに対角行列が出てきて理解が深まりました。
対角化することで計算が楽になります。その計算結果を元の行列の計算結果に戻すのも楽なんですね。
P≠NP予想
P問題は多項式時間で解を発見できる問題。
NP問題は多項式時間で正しい解かを判定できる問題。
PならばNPで、その逆は違いそうという雰囲気はわかりますが、証明できてなくて、ミレニアム懸賞問題にもなっています。簡単そうに見えてとても難しい問題なのですね。
乱択アルゴリズム
ランダム性を取り入れて問題を解く方法で、以下のものが紹介されていました。
- 全体を把握するための乱択アルゴリズム。ランダムサンプリングによって少ない手間で全体を見渡す。
- 最悪を避けるための乱択アルゴリズム。固定的な選択によって最悪のケースになりうるとき乱択することによって回避する。
- 多数の証拠を得るための乱択アルゴリズム。おそらくそうであるという解を得る。
失敗確率がいくら以下かという評価を行うことで乱択アルゴリズムの信頼性がきまってくるので、それをしっかり認識していれば、とても実用的な方法だと思いました。
おわりに
乱択アルゴリズムを読んだのをきっかけにアルゴリズムの勉強をもう一度してみようと思いました。
ミレニアム懸賞問題であるP≠NP予想が出てきたことでミレニアム懸賞問題にも興味が出てきました。
本を読むことで興味の幅が広がりますね。でも何でもやりたくなるから、何をやるかの選択が今の課題だと思っています。
2016年11月のつぶやき
子どもが幼稚園のバスに乗るとき、前はバイバイもせずじっと前を見ていたのだけれども、最近はバイバイする。
— Takuya Saito (@takus69) 2016年11月30日
幼稚園に慣れて自然に振る舞えるようになったのかなと思っていたけれど、今日は名残惜しそうに見えなくなるまでバイバイしていた。
最近の様子を見ていると、寂しさがあるのかなと思った。
数学ガールの乱択アルゴリズムを読んだ。仕事に関係ある話だった。でも確率やアルゴリズムの話を読んでいて、イマイチ理解が十分でない気がした。すっと入ってこない。難しいからなのか、数学や物理に比べると考えた時間がすくないからか。コンピュータサイエンスもちゃんと勉強したいと思った。
— Takuya Saito (@takus69) 2016年11月30日
いいね
— Takuya Saito (@takus69) 2016年11月28日
プロ棋士・羽生善治が語る、AI時代を生き抜くために「身につけるべきスキル」とは?|CodeIQ MAGAZINE https://t.co/4N02WQgwiy @codeiqさんから
ミレニアム懸賞問題。発表されたのは、高校の時だったかな?どんな問題か学んでみようと思う。
— Takuya Saito (@takus69) 2016年11月27日
@hyuki リツイートありがとうございます。数学ガールは、勉強になるし、楽しめます。今は乱択アルゴリズム読んでます。
— Takuya Saito (@takus69) 2016年11月27日
はてなブログに投稿しました #はてなブログ #数学ガール
— Takuya Saito (@takus69) 2016年11月27日
数学ガール ゲーデルの不完全性定理を読みました。 - What one likes, one will do well 〜好き…https://t.co/ssOga5KlvN pic.twitter.com/9FR08xkEFF
ブログ面白かった。自分の考えもブログにまとめよう。 https://t.co/0rKcdZ3c6K
— Takuya Saito (@takus69) 2016年11月27日
数学ガールの乱択アルゴリズムを読み始めた。アルゴリズムだから仕事につながるね。前にアルゴリズムの本途中で断念したから、これを機にまた勉強したいな。
— Takuya Saito (@takus69) 2016年11月26日
snipping tool奥さんが使ってた。めちゃ便利そう。仕事で使える。
— Takuya Saito (@takus69) 2016年11月26日
今何をすべきか。それが問題だ。
— Takuya Saito (@takus69) 2016年11月26日
月に1回ぐらいは自分のためだけに有休を使った方がいいな。その運用回したい。
— Takuya Saito (@takus69) 2016年11月26日
SIDSの原因。ぜひ究明いただきたい。 https://t.co/37Lu4hIdPy
— Takuya Saito (@takus69) 2016年11月24日
気持ちわかる https://t.co/V9Bjdbaxsb
— Takuya Saito (@takus69) 2016年11月21日
数学ガールのゲーデルの不完全性定理読み終わった。難しい内容だったな。プログラムで実装してみると理解できそうだけど、大変そう。。。挑戦してみたいな。
— Takuya Saito (@takus69) 2016年11月21日
大人の怠慢。あるあるです。自分もそれを認めて、子どもに対する接し方を見直さないと。 https://t.co/FeyClKCEXA
— Takuya Saito (@takus69) 2016年11月20日
ruby(rails) => python(機械学習) ときて、今度はHaskellに行くかも。理由は数学。1年前にruby(rails)はじめて、rails tutorialも終わってないのに、これでいいのか?
— Takuya Saito (@takus69) 2016年11月18日
キャンペーンのためやってみた。
— Takuya Saito (@takus69) 2016年11月18日
全ての本好きに贈る、読書一生分プレゼントキャンペーン実施中!116万円相当のポイントが当たる! https://t.co/LXcRS2cPFf #読書一生分 #honto
思う事があって線形代数の本を取り出した。数学ガールに書いてあることが、ちゃんと書いてあるな〜。昔は気に留めなかった事だったな。
— Takuya Saito (@takus69) 2016年11月18日
数学ガールのゲーデルの不完全性定理
— Takuya Saito (@takus69) 2016年11月18日
読んでいるうちに数学とプログラムに類似性がある気がしてきた。フェルマーの最終定理では抽象化を感じた。面白い研究テーマになりそう。
子育ても大人扱いして接するのが大事なんだろうな。 https://t.co/OKp1W0Lnt9
— Takuya Saito (@takus69) 2016年11月17日
メールアドレスとパスワードの整理をしたい。
— Takuya Saito (@takus69) 2016年11月17日
この会社面白い。応援したい。 - 子どもの笑顔をつくる Rails エンジニア Wanted!! by 株式会社キッズスター #Rails https://t.co/JtktoYT9SE
— Takuya Saito (@takus69) 2016年11月17日
数学ガールのゲーデルの不完全性定理
— Takuya Saito (@takus69) 2016年11月17日
僕が興奮するところでで一緒に興奮する。これが数学ガールの楽しさだなー。興奮したのは自然数のペアが整数になる所。プラモデルみたいだなが一番今の気持ちを表してる。
数学ガールのゲーデルの不完全性定理
— Takuya Saito (@takus69) 2016年11月17日
実数全体の集合が可算集合でない証明が理解できてない。カントールの対角線論法は面白い。何か理解できてない部分があるんだろうな。
2週間後TOEICのテストだ。久しぶりで楽しみ。そろそろテスト勉強始めるか。
— Takuya Saito (@takus69) 2016年11月17日
本を読みながらメモを取っていたけど、そのメモをツイートするの面白いかも。
— Takuya Saito (@takus69) 2016年11月16日
数学ガールのゲーデルの不完全性定理
— Takuya Saito (@takus69) 2016年11月16日
イプシロン・デルタ論法が出てきた。大学時代に習ってなんで必要なんだろうと思ったけど、具体的な問題「一点で連続な関数」を通して、少しその理由がわかった。
ubuntu使ってるPaaSも影響するの?ヤバくない?
— Takuya Saito (@takus69) 2016年11月16日
主要Linuxディストリビューションに深刻な脆弱性--Enterキーを押し続けるだけで悪用可能 https://t.co/QjFRTZtjfd @zdnet_japanさんから
音楽は音で表現する。数学は数式で表現する。プログラムはコードで表現する。
— Takuya Saito (@takus69) 2016年11月16日
体力的には土日に子どもの世話をしていた方が大変な気がする。精神的には健康な気がするけどね。 https://t.co/xd7m6lRAGX
— Takuya Saito (@takus69) 2016年11月16日
Google Cloud Platformの無料トライアルに登録した。無料クレジットがあるうちに、色々試さないと!
— Takuya Saito (@takus69) 2016年11月16日
excel VBAで使えるテストフレームワークを作ってみた。 on @Qiita https://t.co/dcJp2NR91Z
— Takuya Saito (@takus69) 2016年11月15日
数学ガールのゲーデルの不完全性定理。「どうして、数学者は集合を考えるの?」考えたことなかったなー。
— Takuya Saito (@takus69) 2016年11月15日
gitで履歴を消して、別の端末でpullして、mergeして、pushしたら履歴が2重になって、消したはずの履歴がもとに戻った。強制的にpullしないとダメなのね。ハマりました。。。
— Takuya Saito (@takus69) 2016年11月15日
毎週月曜日の朝の日課。ミッションステートメントの見直しを行った。見直すにつれて理解が深まっていく気がする。
— Takuya Saito (@takus69) 2016年11月13日
実現することが最近の課題。実現する力。実現力をつけていきたい。
明日から電車で数学ガール読もう。楽しみだ。
— Takuya Saito (@takus69) 2016年11月13日
仲間が大切。失敗してもいい挑戦。実現が大切。
— Takuya Saito (@takus69) 2016年11月12日
よく言われる事で理解しているつもりだったけど、昨日ある出来事があって、朝方考えていたら深まった。
先に進む勇気が出てきた。
勉強したい本をいくつか読んでブログを書きました。一段落ついたので、次は数学ガールの続きを読もうと思います。https://t.co/rAHglEObE8
— Takuya Saito (@takus69) 2016年11月12日
はてなブログに投稿しました #はてなブログ #アジャイル開発
— Takuya Saito (@takus69) 2016年11月11日
アジャイルソフトウェア開発の奥義を読みました。 - What one likes, one will do well 〜好…https://t.co/6wWZ5x0tiS pic.twitter.com/7AiDT6x8Oy
社内で勉強会企画中。切磋琢磨して成長したいね!
— Takuya Saito (@takus69) 2016年11月11日
おはようございます。
— Takuya Saito (@takus69) 2016年11月10日
影響の輪に集中。重要事項を優先。理解してから理解される。
最近気をつけてること。
Tensorflowで自分の手書きデータを予想させたが全然当たらない。MNISTのデータはfloatで、俺のは0,1だから?
— Takuya Saito (@takus69) 2016年11月9日
教えてエライ人
今日はこの辺にして、今度別のデータで試してみよう。
コードは、mnist_test.pyhttps://t.co/OVgRZrs4KQ
面白そう!町田市だったら手伝うから手をあげてほしい!
— Takuya Saito (@takus69) 2016年11月8日
小中学校に「Pepper」を3年間無償貸し出し プログラミング教育支援 https://t.co/EHsDmuhBsd #robotics #techfeed @techfeedappさんから
@papanda_life 私は育休を取って無事仕事復帰できました。私はいい会社だったようです。父親の育児参加の理解がもっと進めばと思います。大変だと思いますが、育休とってよかったとなる事を願います。
— Takuya Saito (@takus69) 2016年11月6日
つまり成功したいなら睡眠時間を確保する事。
— Takuya Saito (@takus69) 2016年11月3日
重要なプロジェクトをするときほど、睡眠時間をしっかり取った方がよい。
— Takuya Saito (@takus69) 2016年11月3日
はてなブログに投稿しました #はてなブログ #TDD
— Takuya Saito (@takus69) 2016年11月3日
ケントベックのテスト駆動開発入門を読みました。 - What one likes, one will do well 〜好きこそ物…https://t.co/H8bVLZeV9p pic.twitter.com/tvuUefyGMv
NECが人工知能で「うまい棒」の好みを当てる正しい誰得サービスを開始 - ねとらぼ https://t.co/oJxX1RVfLi @itm_nlabさんから
— Takuya Saito (@takus69) 2016年11月3日
10年以上情報系の仕事をしてきてバイトオーダーを昨日初めて知った。エンディアンとも言うらしい。知識のなさに愕然とするね。
— Takuya Saito (@takus69) 2016年11月3日
数学ガール ゲーデルの不完全性定理を読みました。
はじめに
数学ガールシリーズの3「ゲーデルの不完全性定理」を読みました。
この本は難しかったけど、数学についてとてもよく考えさせられる本でした。特に高校数学と大学数学のギャップは大きいと思うのですが、私自身大学数学は何をしたいんだろうと思っていました。その理由がほんの少し分かった気がします。
私はtwitter(@takus69)をしているのですが、今回は「本を読みながらメモを取っていたけど、そのメモをツイートするの面白いかも。」と思い、twitterでその時思ったことをツイートして、その内容をまとめてブログにしてみました。
では数学ガール ゲーデルの不完全性定理を読んで感じたことを書いていきたいと思います。
どうして、数学者は集合を考えるの?
「どうして、数学者は集合を考えるの?」何て考えたことありませんでした。そういうことを考えると大学での数学が分かる気がします。数学で重要なのは計算だけではなく、抽象的に考えること、と言うのは物理などを勉強していて、また前に書いた記事「数学ガール フェルマーの最終定理を読みました。」でも感じました。そういうことを考えさせられました。
音楽では音というコトバ、数学では式というコトバが大切。
なるほどと思いました。プログラムを書く私は、プログラムはコードというコトバが大切だと思いました。
イプシロン・デルタ論法
大学時代に出てくる イプシロン・デルタ論法が出てきました。大学時代になんで必要なんだろうと思ったけど、具体的な問題「一点で連続な関数」を通して、少しその理由がわかりました。
高校では具体的な数値を扱って、大学では抽象的な話ばかり出てきてきます。そのギャップが大学数学の難しさを助長させているのかなと思いました。
数学ガールでは「例示は理解の試金石」という言葉が何度も出てくるけど、具体的な問題があることで、理解が深まると思いました。
カントールの対角線論法
カントールの対角線論法はおもしろいと思いました。ただ数学ガールの問題「実数全体の集合が可算集合でない」ことの証明が理解できていません。何か理解できてない部分があるんだろうなと思います。
ゲーデルの不完全性定理
ゲーデル数を考えて、たくさんの定義にて証明していました。長すぎて途中にあきらめそうになりましたが、最後まで読みました。一つ一つは理解できるのですが、途中で何をやっているかわからなくなる部分もありました。数学者は紙とペンを使いつつ、頭の中でイメージを持って証明しているんだろうなと思いました。
ゲーデルの不完全性定理の証明を読んでいて、プログラムを思い出しました。形式的体系やゲーデル数というのは、機械的に証明する形だと思うので、プログラムでも実装できるのではと思いました。
さいごに
数学ガールを読んでいると「僕」が興奮するところでで一緒に興奮します。それが数学ガールの楽しさだと思います。興奮したのは自然数の「ペア」が整数になる所で、「プラモデルみたいだな」というセリフが共感を覚えました。
数学ガールを読んでいて、線形代数の本を取り出して読んでみました。数学ガールに書いてあることが、ちゃんと書いてありました。昔は気に留めなかった事だったのに、理解が進むと重要なことが分かるようになってきました。
ゲーデルの不完全性定理は、プログラムで実装できそうと思ったので、挑戦してみたいと思っています。実装することで理解が深まると思います。
宿題・課題
数学ガール ゲーデルの不完全性定理を読んでの宿題・課題を時間を見つけてやっていきたいと思います。できたらブログで公開します。
数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)
- 作者: 結城浩
- 出版社/メーカー: SBクリエイティブ
- 発売日: 2009/10/27
- メディア: 単行本
- 購入: 37人 クリック: 930回
- この商品を含むブログ (151件) を見る
Qiitaで記事を投稿しました。excel VBAで使えるテストフレームワークを作ってみた。
「ケントベックのテスト駆動開発入門を読みました。 - What one likes, one will do well 〜好きこそ物の上手なれ〜」で書いたように、excel VBAのxUnitを実装しました。
テスト駆動開発入門でテストフレームワークを作るのはとても楽しかったです。実践してみてケントベックが行っていた、「脳外科医が自分の手術する」といった表現がよくわかりました。最初はどこがテストでどこがテストフレームワークなのか混乱していて、その区分けを理解するのに時間がかかりました。
テストファーストを実践して、プログラムがさらに楽しくなりました。次はこのテストフレームワークを使って、VBAのツールを作りたいと思います。
Qiitaの記事は以下です。