はじめに Twitterで以下のような投稿をしてみました。 https://twitter.com/tenntenn/status/815807925222412292 この問題は、以下のコード中に存在するスコープの数を聞いている問題です。 package main import "fmt" func main() { const message = "hello, world" fmt.Println(message) }
![Goのスコープについて考えてみよう #golang - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/9ea1d6d60c4670467f44ab78012655d46ddf9ebc/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9R28lRTMlODElQUUlRTMlODIlQjklRTMlODIlQjMlRTMlODMlQkMlRTMlODMlOTclRTMlODElQUIlRTMlODElQTQlRTMlODElODQlRTMlODElQTYlRTglODAlODMlRTMlODElODglRTMlODElQTYlRTMlODElQkYlRTMlODIlODglRTMlODElODYlMjAlMjNnb2xhbmcmdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzFFMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPTk3NGZkMTVjMjgwNDNiMjNhODZiZmY4MTQzYzMzMzQy%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDB0ZW5udGVubiZ0eHQtY29sb3I9JTIzMUUyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9YjE0ZGRkNDA1YWRmYTBiYzNkODBiOTg0NzY3OWM1ZmQ%26blend-x%3D142%26blend-y%3D436%26blend-mode%3Dnormal%26txt64%3DaW4gTWVyY2FyaQ%26txt-width%3D770%26txt-clip%3Dend%252Cellipsis%26txt-color%3D%25231E2121%26txt-font%3DHiragino%2520Sans%2520W6%26txt-size%3D36%26txt-x%3D156%26txt-y%3D536%26s%3Dc41c8f1ee1c8cdf91da325a43e7beca5)
「おどろきの中国」という言葉があるが、外国人を選別する極めつきの制度が、4月から始まる。北京でも上海でも、日本人駐在員たちは、前代未聞の措置に右往左往。スモッグの街からレポートする。 現地法人社長も「Cランク」 「たしかにオレは、もうすぐ定年だし、中国語もからっきしできない。大学も私学出だ。 だがここでは一応、日系企業現地法人の総経理(社長)だよ。それなのに自分の点数を算出してみたら、Cランクの国外追放対象。しかも一緒に日本から来てる若い部下は、Bランクで許可されるって言うんだから、納得いかないよ」 PM2・5が500近くに達し、昼なんだか夜なんだかよく分からない北京の日本料理店街「好運街」の一角。いまはやりの「燕京白生ビール」のジョッキを呷りながらボヤくのは、東京に本社がある中堅メーカーから北京に派遣されている駐在員だ。同席した別の日本人駐在員も憤る。 「中国で外国人が駐在員ビザを取るに
国会答弁、AIが下書き=経産省が実験へ 人工知能(AI)を駆使して、閣僚らの国会答弁の下書きを作成することができるのか、経済産業省がこんな実験を近く始める。過去5年分の国会会議録をAIに学習させ、政策課題や論点をまとめさせることを想定。行政機関でのAI普及につなげる考えだ。 経産省はAIやモノのインターネット(IoT)技術を活用する「第4次産業革命」の旗振り役でもあり、自ら率先してAIを活用。作業効率向上に取り組む。国会答弁づくりは、前日の深夜や当日の未明までかかることも少なくない。経産省の取り組みが長時間労働の是正に役立つか、霞が関かいわいで注目を集めている。 経産省は2月までに実験用のシステムを構築。例えば「省エネルギー政策を推進すべきか」という質問を入力すると、AIが過去に行われた関連質疑から政策のポイント、課題、論点などを整理して提示する仕組みを想定。この下書き資料を基に、職員
ディープラーニングの活用による第3次人工知能(AI)ブームの到来、IoTのビジネスでの活用シーンの拡大、そしてそうして生み出されるビッグデータの活用と、2016年のIT/エレクトロニクス業界は、さまざまな技術トレンドが絡み合い、大きなうねりを生み出す年となった。その勢いは2017年も継続して続いていくことが期待される。 また、2016年はこれらIT/IoT技術の進展の根底に半導体の進化があることが示された年になったとも言える。例えばGoogleはディープラーニング用プロセッサ「Tensor Processing Unit(TPU)」を自社で開発していることを明らかにし、専用チップを活用することで、演算能力を消費電力をそれほど引き上げずに高められることを示した。そこで今回は、こうした演算処理を向上させるアクセラレータとして2017年も活用が期待される3つのデバイス、GPU、FPGA、コプロセ
The document discusses machine learning and AI projects from mofmof inc. It mentions tools and frameworks like Ruby, Rails, Python, scikit-learn, TensorFlow, and links to courses on Coursera. It also lists several projects including Peers, Bot My-ope, and links to code on GitHub for projects like Get Wild and image classification samples using TensorFlow.Read less
再帰的なアルゴリズムの考え方に慣れるためにいくつかの有名な例を集めた。それぞれについてサンプルコードと「問題を小さくする方法」「終了条件」を記している。 注意事項: アルゴリズムの細かい効率よりも、論理の分かりやすさに重点を置いている 問題の前提に沿わない入力(例えば負の整数や小数)のチェックは省いている 再帰的なデータ構造や再帰を除去する方法については扱わない サンプルコードはRubyで書いている 基本的な再帰 階乗 nの階乗とは n! = 1*2*...*n という計算のこと。例えば「n人が一列に並ぶ方法の総数」を表せる。 「1からnまでの整数の積」と言われたらfor文などのループで書きたくなるが、再帰的な計算もできる。
あけましておめでとうございます。ソフトウェア開発をめぐる環境は相変わらず日進月歩です。この変化に伴って、ソフトウェア開発そのもののあり方も変化を続けています。本稿では、少し大きな視点から継続的インテグレーション(CI)・継続的デリバリ(CD)の最近の動向を紹介します。 CI/CDの大きなうねり 筆者がJenkinsに携わって12年になります。かつて、CI/CDの取り組みは、現在の機械学習やスケールアウト技術のような将来の可能性が注目される若い技術でした。ここ数年、この若い技術は、広く産業界で大規模に組織がかりで展開される成熟した技術に変貌してきました。 この背景にあるのは、ソフトウェア開発・運用全般における自動化のさらなる浸透です。このような自動化の進展は2つの側面から考えることができます。一つは、ソフトウェア開発に必要な様々な作業それぞれの「部品の自動化」という側面です。もう一つは、
『理論から学ぶデータベース実践入門』という本を読んでいて、2章の論理学の説明に多くの誤りを見つけたので指摘しておく。 この本はデータベースについての技術書であり、数学書ではないのでこれらの誤りがこの本の価値を完全に損なうとは思わない。しかし、述語論理に基いてリレーショナルモデルを説明するという趣旨の本である以上、その基礎である論理学の説明が不正確なのは大きな問題である。また著者が論理学の専門家でないなら、専門家にレビューを頼むか、最低でも適切な論理学の教科書へのリファレンスが必要ではないかと考える。 この文章は特定の本を参考にしたわけではないが、以下に定評のある論理学の入門書をいくつか挙げておく。 戸田山和久『論理学をつくる』(名古屋大学出版会) 小野寛晰『情報科学における論理』(日本評論社) 以下、論理学についての誤りのうち比較的大きなものを指摘する。これはすべての誤りのリストではないし
つい最近、初めて作った Google Chrome エクステンション「Feedly をはてブ対応させる Chrome エクステンション」をブログで紹介したので、その時の技術的なメモなどを Qiita に残しておきたいと思います。まあ検索すればすぐに集まる程度の情報ではあるものの、一箇所にまとまってなかったので、自分用の備忘録でもあります。 全てのソースコードは github 上で公開しているので、気になる方は参考にしてみて下さい。実際に書いたスクリプトの簡単な解説もこの記事の最後に付録として付けています、 超最低限な Chrome エクステンションの作成 Chrome エクステンションは基本的に、一つのフォルダに保存された複数のファイルからなります。エクステンションのルートに必要な最初のファイルは、manifest.json というファイルで、これがエクステンションの基本的な情報を含んでい
はじめに http://qiita.com/raccy/items/bf590d3c10c3f1a2846b を見ていたら、はてブに「理由がないから」ということがよく挙がっていたので、理由をつけてあげたら有益な内容になるかな?と思い、拙いながらも補足を試みようと思います。 【2017 1/3 15:10 追記】 元記事の前提はgulpなどを使ってminifyなども行なえる(もしくは行う目標がある)前提の様子なので、中級者以上がターゲットかなーと思いました。そのつもりで読むととてもいい記事だと思っています。 「最新のJSの書き方を覚えてあとは変換機能に任せればレガシーなJSのキツイところに向き合わなくて済みますよ?」みたいなイメージだとわかりやすいかな? ==、!= 理由 暗黙の型変換が発生して、別の型の比較が真で扱われてしまう場合があるため。 解説 サンプルコードにも出ていますが言葉足らず
If you're looking to make a significant difference in the world, your startup could be the vehicle that drives that change.
どうもあけましておめでとうございます、分散システム界の負け犬こと李徴・ザ・グレートタイガーです。どちらかというといきなり吠えつくよりも山に篭ってこじらせていくタイプです。新春からAWS,サーバレス,コンテナ,マシンラーニング …2017年のクラウドを占う:新春特別企画|gihyo.jp … 技術評論社という記事を目にし、「ウソはいけません」とコメントしたところ何が本当で何がウソか分からなくなってきたので、わたしも2017年のクラウドを占いつつ、件の記事の批評をしてささやかながら新年の書き初めとしたいと思います。 🔥🔥🔥🔥🔥 件の記事ではまず、 そしてこのデジタライゼーションの基盤にあるもっとも重要なテクノロジがクラウドコンピューティングです。 という言葉から理解できないのだが、デジタル化とは何を指すのか?一昔前には「OA化」という言葉が一斉を風靡した。どの企業でも小売なら会計はP
65年北九州市生まれ。87年九州工業大学卒業、リクルート入社。96年WATTSサービスグループマネジャー、03年ForRent.jp編集長、05年R25式モバイル編集長、06年株式会社リクルートフォレントインシュア代表取締役社長等を経て12年10月より現職。都市住宅学会員、日本建築学会員、日本社会福祉学会員。ITストラテジスト。福岡県築上町政策アドバイザー。研究分野は空き家、住宅セーフティネット、賃貸住宅関連制度等。 News&Analysis 刻々と動く、国内外の経済動向・業界情報・政治や時事など、注目のテーマを徹底取材し、独自に分析。内外のネットワークを駆使し、「今」を伝えるニュース&解説コーナー。 バックナンバー一覧 総務省の「2013年住調」が示した 「空き家820万戸、空き家率13.5%」は本当か? 昨今、空き家問題が非常に高い社会的関心を呼んでいる。空き家は全国に約820万戸存
NYダウ暴落の歴史 下記グラフが非常に示唆に富んだものですので引用します。 投資のデータ集:過去の市場暴落と回復年数 |ETF・インデックスファンドなら!『わたしのインデックス』 1929年の世界恐慌が目を引きます。このあと世界中が不況になり第二次世界大戦へと堕ちていくのは人類の黒歴史に他なりません。 人間は常に紛争や争いが絶えませんが、その原因の殆どが経済であることを思い出させてくれます。イスラム国のテロも宗教対立のように見えますが、根幹は貧困であり、経済です。 殺人を肯定する者はなく、戦争を肯定する者もいない。しかしなぜ有史以前から今まで地球上から戦争はなくならないのか。それはズバリ貧困が無くならないからです。人間の道徳を超えた現実がそこにはあります。 20世紀の相場を知る人たち 相場のベテラン層は日本株で良い思いをしたことは間違いありません。身近な例で恐縮ですが、私の祖父と父は株をや
2010年に創業し、14年にはスマートフォンの世界シェアでサムスン、アップルに次いで3位になった中国のシャオミ(Xiaomi)。また、03年の創業から5年後に、電気自動車の開発・販売に成功したアメリカのテスラ・モーターズ。両社のように近年、創業初期から世界中の取引先と手を組み、世界中の顧客に商品やサービスを提供して急成長する新たな組織形態「ボーングローバル企業」が登場しています。一体なぜでしょうか。 世界規模の事業を行うには、かつては大企業のほうが有利でした。しかし00年前後を境に、それが中小企業でもできるような経営環境の変化が起きたのです。 経済学者オリバー・ウィリアムソンの1971年の論文によれば、不完全市場では、取引相手を探し出すコスト、探し出した取引相手と交渉し契約を行うコスト、契約内容が守られたかを管理するコストが存在します。20世紀には、市場で取引するよりも、その取引を組織内で
英EU離脱やトランプ大統領の誕生など“想定外”のイベントが発生した2016年。2016年の予想は“ほとんどが外れた”とは言え、専門家の見方は気になるところであり、中でも著名投資家の発言となれば尚更だ。著名投資家は2017年をどう見ているのか、見解をまとめてみた。 “神様”バフェット氏は来年を楽観視 “投資の神様”ウォーレン・バフェット氏は、大統領選挙中は民主党のヒラリー・クリントン候補を支持し、共和党のドナルド・トランプ候補を厳しく批判していたが、選挙後に「トランプ氏勝利でも株式相場の見通しはなお明るい」と述べており、2017年の株式市場を楽観視している模様だ。 ただし、トランプ次期大統領の通商政策には懸念を表明しており、中国やメキシコに関税を課すことにつては「良からぬ考えだ」と眉をひそめている。とはいえ、「選挙戦中の公約が選挙後に実施されないことは多々ある」とも述べており、「景気の後退を
基本のキを無視する日経新聞 あけましておめでとうございます。 新年早々なので、定番であるが、今年の予測といこう。ただ、単に予測を書いても面白くないので、日本を代表する日経新聞の「大予測2017」との対比で書いてみよう。 日経新聞は、安倍首相を「シン・アベ」とシン・ゴジラにたとえたうえ、筆者をその子ゴジラに見立て揶揄している(昨年12月12日付け本コラム「なぜこの国の財務省は『経済成長優先主義』を頑なに否定し続けるのか」http://gendai.ismedia.jp/articles/-/50431)ので、その予測力とやらを筆者なりに分析するためである。 参照した日経記事は、昨年12月31日の「正念場のアベノミクス、財政再建に黄信号~日経大予測2017」(http://www.nikkei.com/article/DGXMZO11075290W6A221C1000000/)である。 この論
昨年末からネット上で「低賃金カルテル」なる言葉が流行っていたようですが、あまり口を挟む必要もなさそうな議論が多いようなので静観しておりましたが、そういえばそういう概念って欧米でもあるのだろうかと思って検索してみたら、一昨年の英紙「ザ・ガーディアン」の記事にこういうのがありました。 https://www.theguardian.com/commentisfree/2015/sep/21/lidl-living-wage-low-pay-cartel-british-business-model (Will Lidl’s living wage smash the UK’s low-pay cartel?) 「リドルの生活賃金はイギリスの低賃金カルテルをたたき壊すか?」 「low-pay cartel」は文字通り「低賃金カルテル」ですね。リドルというスーパーマーケットが時給を8.2ポンド(ロ
4割の個人投資家が運用成績プラスという記事が非常に気になりました。 昨年の個人投資家の運用成績は、およそ4割の投資家が運用益がプラスだったという記事がありました。Twitterでわかま屋さんが流してくださった記事です。逆に言うと、去年のような高値を記録した相場でも6割の個人投資家は勝てないということです。 これは大変に厳しい結果と言って良いでしょう。毎年毎年高値を記録する相場はあまりありません。いわば去年は「ボーナスステージ」とも言える恵まれた相場でした。ただ難しかったのは、上下動があったことでしょうか。 日経平均は必ずしも右肩上がりではない、上下動の激しい指数 個人投資家、トランプ相場でひと息 4割がプラスに|マネー研究所|NIKKEI STYLE から引用。以下画像の出所は全て同じです。 これをみて分かるのは、昨年度の日経平均株価はなべ底を描いているということです。米国株が2月から殆ど
2017年は、欧州の未来を占う1年になる。3月のオランダ総選挙を皮切りに、欧州連合(EU)を率いてきたドイツとフランスでそれぞれ総選挙と大統領選が控える。英国はEU離脱に向けて交渉を本格化させる。昨年12月に首相が退陣したイタリアでも、近く総選挙が予想される。各国で広がる「自国第一主義」や「反エリート」のうねりに、欧州統合の理念が試される。 ◇ フランス北東部の「鉄の街」アイアンジュ。雪を模したイルミネーションが街を飾ったクリスマスや年越しにも、浮き立つ空気は乏しかった。 影を落とすのは、鉄鋼世界最大手アルセロール・ミッタルの高炉だ。11年に火を消したまま、街を見下ろすようにそびえる。市は、下請けも含めて影響は2千人に及んだとみる。地元の女性は「レストランは店を閉じ、医者も減った。街は息絶えつつある」という。 ここに、「愛国」を旗印に保護主義を掲げる右翼・国民戦線(FN)が根を張っている。
Tomofumi Yamagishi(ふみふみ) @JV57371 戦死者を「祖国のために命を捧げた方々」と都合よく美化するなよ。彼らは国に殺された人々。亡くなり方も悲惨な人が多かった。ガダルカナル、インパール…病死餓死、病気になり動けなくなり仲間から見捨てられ、死体を残された人達が食らう…それが戦争の現実。変に美化すると真実が見えなくなる。 2016-12-30 10:08:13 田山たかし @neon_shuffle 半分は正しいんだけど、この手の主張は「戦争をしなければ幸せに暮らせたのか」という視点がゼロなのが弱点。 QT @musicman_amp: 戦死者を「祖国のために命を捧げた方々」と都合よく美化するなよ。彼らは国に殺された人々。亡くなり方も悲惨な人が多かった。ガダルカナル、イン… 2016-12-30 10:23:22
一昨日、「数学的センスは日常生活の中で身に付ける」という記事を公開したところ、記事内で例として挙げている2003年の東大入試問題「円周率は3.05より大きいことを証明せよ」の解答を教えてください、といった問い合わせを結構な数いただきました。 数学の専門的な内容の記事作成の際に、いつも協力いただいている方に連絡したところ、「いくつか解法は考えられるが、年末年始休暇中であまり時間が取れないので、簡単な解法を1つ作成してFAXしておきます」とのことで、おそらく一番簡単な解答をいただきましたので共有させていただきます。 問題解決の考え方(アプローチ) 大学入試問題ですので、高校までで習う範囲で解くこととします。 円周率(以下 と記述する)を何かで近似して、その何かが3.05より大きければ (証明終了)となります。何で近似するかで解き方がいくつか考えられますが、円に内接する正多角形を考えるのがすぐ思
1899年生まれのイタリア人、エマ・モラノ。2016年11月29日に117歳の誕生日を迎えた Alessandro Garofalo-REUTERS <最新医学の常識では、老化はもはや自然現象ではない。老化防止のための「ミトコンドリア治療」などの発達で、老化は「治療可能な病気」になりつつある> 現在最高齢の人間は、11月29日に117歳の誕生日を迎えたイタリア人女性のエマ・モラノ。19世紀生まれの最後の存命者だ。長寿の秘訣は、1日3つの生卵と、1938年以来ずっと独身でいることだという。 これまで最も長生きしたのは、フランス人女性のジャンヌ・カルマン。1997年に122歳で亡くなった。 英科学誌ネイチャーは10月、米アルベルト・アインシュタイン医学校の3人の研究者による「人間の寿命の限界を示す科学的根拠(Evidence for a limit to human lifespan)」という
医療が発達した現代では、ちょっとした病気やケガであればすぐに病院で治療することができます。しかし、これは決して当たり前のことではありません。先人たちの努力の積み重ねによって、私たち人類が少しずつ獲得してきたものなのです。今回のYouTubeの科学系チャンネル「SciShow」では、医療を飛躍的に進歩させ、人類の命を救った3人の研究者、ルイ・パスツール、ジョゼフ・リスター、モーリス・ハイルマンの偉業を紹介します。 微生物学の基礎を作ったパスツール マイケル・アランダ氏:誰かを救った経験はありますか? 道路に飛び出す子供を間一髪引き戻したり、川で溺れた友人を助けたり、デリで隣に座った人が喉を詰まらせた時にハイムリッヒ法(喉に詰まった異物を取り除く応急措置)で助けたり……。 長い歴史の中ではほんの一握りの科学オタクな人たちですが、私利私欲ではなく科学の発展のために尽力し、数億いや、数十億もの命を
京都大学大学院工学研究科電子工学専攻 浅野 卓 准教授、野田 進 教授(兼、光・電子理工学教育研究センター長) および大阪ガス株式会社(社長:本荘武宏)は共同で、熱エネルギーを太陽電池が効率よく発電できる波長の光に変換することに初めて成功しました。これにより、熱エネルギーを利用した発電技術の効率向上が期待できます。 一般に、物質を加熱すると物質内部の電子の熱運動が激しくなり、様々な波長の光を放出(熱輻射)するようになります。熱輻射の一種である太陽光も、可視光線だけでなく、紫外線や赤外線など様々な成分を含んでいます。一方、一般的な太陽電池が効率よく電気に変換できる光は、太陽光の広い波長成分のごく一部、可視光線と近赤外線の境界付近の光のみで、他の成分は有効に利用できません。そのため、一般的な太陽電池の発電効率は20%前後に留まっていました。 京都大学は、熱輻射を自在に制御することが、様々な応用
各国の軍が導入を進めるドローン(無人機)ですが、中国も御多分に漏れず推し進めており、その最新機が一般公開イベントでお披露目されました。対する自衛隊の現状はどうなっているのでしょうか。 中国エアショー、注目は「ドローン」 2016年11月1日から6日にかけ、中国広東省珠海市にて東アジア最大規模のエアショー「第11回中国国際航空宇宙博覧会」が開催されました。 中国製J-20ステルス戦闘機の量産型とみられる機体が初めて一般公開され飛行展示を実施し、また将来型中国製旅客機の開発がアナウンスされるなど注目の新型機が目白押しになったことから、その入場券は7500円と現地におけるタクシー初乗り料金の30倍以上という高値にも関わらず、連日多数の観客を集めました。 「中国国際航空宇宙博覧会」の本来の目的は、航空、宇宙、防衛産業の見本市です。会場は航空機だけではなく、戦車やさまざまな戦闘車両、銃器など多数の兵
インターネットによって地球規模の神経回路網が出来上がって、ITカンブリア紀が始まったというような世界観に我々はいる。 カンブリア紀は生物の種が爆発的に増えた時代と言われているが、その爆発には眼の発達が深く関わっていると言われている。生物が眼を持つことによって、他の生物を容易に捕食することができるようになって生存競争において圧倒的に有利になったという説だ。捕食される側も眼を獲得することによって捕食者から逃げるという、ある種の軍拡競争によって生物の種は爆発的に進化・発展していった。 ITカンブリア紀の眼はIoTで、インターネットは神経回路網で、クラウドは脳だ。AIやビッグデータによってバラバラだったものが結線する。世界はソフトウェアでできている。そのような時代に生きている。わくわくする。
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能(広告ブロック機能を持つ拡張機能等)を無効にしてページを再読み込みしてください。 ✕
明けましておめでとうございます。昨年は、当ブログをご愛読くださりありがとうございました。 今年の初エントリーは、もうすぐ、1月11日に刊行されるぼくの新著の紹介をさせていただきましょう。(一部の書店では既に販売されているようです)。 本のタイトルは、小島寛之『証明と論理に強くなる〜論理式の読み方から、ゲーデルの門前まで』技術評論社。これは、ぼくの長年の論理学との格闘から生まれた本。ある意味では、宿願とも言える刊行である。 証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで (知の扉シリーズ) [ 小島寛之 ] ジャンル: 本・雑誌・コミック > 科学・医学・技術 > 数学ショップ: 楽天ブックス価格: 1,922円刊行までまだ10日ほどあるので、今回は、目次だけをさらすこととしよう。次のようになっている。 『証明と論理に強くなる〜論理式の読み方から、ゲーデルの門前まで』目次 序章
今回は科学的に効率の良い勉強法についてまとめていきます。 これから先も、新しい教材が次々と出版され、様々な勉強法が出てくるとは思いますが、ここで書く内容は科学的根拠のある方法ですので、これから先も変わらない形で通用します。 勉強法は、試験勉強だけでなく、仕事やスポーツにも応用が出来るのでぜひここで身につけておいてください。 「あなたの脳を活性化するビタミン・栄養素と食べ物まとめ」 で食材についても書いているのでこちらも参考にしてみてください。 1. 集中学習と分散学習とは ? 学習には 2 種類の方法があり、それは「集中学習」と「分散学習」です。 それぞれ、ざっくり説明をすると、 ・ 集中学習 → 理解してすぐに同じかよく似た課題の学習を何度も続けて行う ・ 分散学習 → 最初に理解してから時間間隔を空けて復習する と、このようになります。 どちらがより効果的だとおもいますか ? こ
動物には爬虫類のような変温動物と私たち哺乳類に代表される恒温動物がいます。では、外界の温度によって体温が変動する変温性から、体内で発熱し体温を自立的に保つ恒温性への進化はどのようなプロセスで進化したのでしょうか。体温を高く、一定に保つことにはどんな意義があるのでしょうか。これが、爬虫類の行動研究を始めて以来30年、私がずっと考え続けてきた疑問です。 現在、私たちは伊豆諸島の島々において、オカダトカゲとその捕食者であるシマヘビの生活様式、捕食を回避する行動に及ぼす体温の影響などを調べながら、体温調節の進化について研究しています。今回は、温度計とストップウオッチを使ったシンプルな野外研究の成果と、内温性の進化に関する最近の研究成果、そして新しい考えについて紹介します 伊豆諸島に生息するオカダトカゲにとって、シマヘビは強力な天敵(捕食者)です。しかし島々の中には、シマヘビが生息せずにオカダトカゲ
「インボイス制度」反対署名54万3114筆 岸田首相へ手渡し実現。100万筆達成で中止へ追い込む【篁五郎】
筋トレを継続するのは難しい。特に何事も面倒臭がる人は筋トレの継続はかなりハード。面倒臭がり屋のひとりである私が、継続のための筋トレ術を提案したい。私達にとって本当に必要なのは筋トレの理論でも鍛え方でもプロテインでもない。 1.やる気に頼らない 筋トレを始めるのに「やる気」に頼ることは絶対にさけるべきことです。 モチベーションが上がってからやろう! やる気になってから筋トレするの! というやり方は面倒くさがり屋は絶対してはいけません。 なぜならモチベーションを上げて行動するエネルギーを上げると 面倒臭がり屋は他のことをやりたくなります。 よし元気になってきたから、今度こそ筋トレしよ! そして立ち上がった瞬間に本棚に目についた「効果的な筋トレ特集」という雑誌の見出し。 いつも読もう読もうとして、放置しっぱなしだったから、今こそ読むぞ! そう、筋トレをやる気になった私は「効果的な筋トレ特集」を読
JavaScriptは大変難しい言語です。Rubyの難易度を2、Cの難易度を5、C++の難易度を8にすると、JavaScriptの難易度は12ぐらいあると思います。このコーディングガイドはそんなJavaScriptの深みに嵌まらないようにするためのJavaScriptの書き方を規定したものです。初級者1のための物ですので、わかってやっている人に好きにやってください。 このコーディングガイドは絶対に従わなければならないものではありません。私は一切強制はしませんし、初級者が従わなければならないという義務もありません。採用するしないはみなさんの自由です。 禁止編 JavaScriptには安易に使用してはいけない機能があります。下記の機能は、それぞれの機能を使っても良い、または、使うべきであるという理由を説明できない限り、使用してはいけません。 ==、!= ==と!=を使用してはいけません。代わり
IP Cam Viewer Lite 外から監視カメラにアクセスするためのアプリ。iOS用。基本無料。 ブラウザだけで映像は確認できるが、IP Cam Viewerなら起動しただけで映像を確認できるし、カメラのライトON/OFFやマイクON/OFFがボタン一発なので、ラク。 上位機能は480円課金すると増やせるので、すぐ課金おすすめ。 VPN(あれば) ※なくてもIP Webcamにクラウド配信機能があるので、VPN作るの面倒な人はそれを。 Raspberry Pi 3 本体+5V/2.5A USB電源アダプター+ケース+スイッチ付きケーブル+ヒートシンク 5点セット Raspberry PiにSoftEther VPNを入れると、6000円くらいでVPNソリューションが導入できる。 VPNがあると、家のLANに外からあれこれできて、それでいて安心なのでおすすめ。 録画サーバー立ててたり、
新年明けましておめでとうございます。今年のテクノロジー業界の予測、自分の頭の整理の為にもやってみようと思います。 メディア業界については、昨年のバイラルメディアクラッシュを受けて、コンテンツ不足が高まっています。引き続き動画が伸びると思います。Facebookなどは、アルゴリズムだけでユーザーを保ちつつ、新しいメディアアプリのパクリを続け、年齢層高いユーザーがワザワザ他で新しい体験をする必要が無いように、Facebook内で新しい体験をキャッチアップできるという事を続ける。Yahoo! JAPANのような戦略を王者として続けると思います。とはいえ、スマホメディアは、本格的な普及期、マネタイズ期に入ると思います。収益と成長が伴った最高の時期かと思います。 今年最も注目を集めると思っているのは、恐らくビットコインです。ポジショントークでもなく、ビットコインの値段が大きく上がると感じています。ア
(原文:Machine Learning is Fun! by Adam Geitgey より許可を得て翻訳) (訳者注:難解な機械学習のコンセプトを平易に説明している素晴らしいブログを見つけ、ぜひ日本の皆さんに伝えたい!と思い文章化しました。共感いただいた方、文章末尾の❤️マークからいいね!お願いします。一緒に機械学習勉強してくれる人も募集中です。=>Email:dai@jenio.co) 機械学習の事を人々が話しているけど、 あなたは言葉の意味はわかっていない。 そんな場面に遭遇した事はありませんか? 同僚の言葉に相槌を打つのに疲れた。。 そんな状況を変えましょう! このガイドは機械学習に興味があるけど、 何から勉強したらいいのかわからない人に向けて書かれました。 多くの人がWikipediaを見ると思いますが、 ストレスがたまり、 誰かがレベルの高い説明をしてくれるのを望みますよね?
github.com こんにちは。 id:Pocke です。 Stackprofを便利に使うGemを作成したので紹介しようと思います。 Stackprof とは 下記参照 github.com Stackprof を使う際の問題点 コマンドラインツールに対してStackprofを使用する際、通常だと以下のようなコードを対象となるプログラムに追加しなければいけません。 StackProf.run(mode: :cpu, out: 'stackprof-out') do # ここに元からあるメインとなる処理が入る end そのため、対象のプログラムをプロファイリングするためには上記のコードを埋め込んだ上でインストールして実行する必要が出てきます。 この作業は煩わしく、またインストールしたのを忘れて意図せずStackprofつきでコマンドを実行してしまうこともあります。 手元に入っているRubo
ロンドン(CNNMoney) 北欧フィンランドで今月から2000人を対象に保証収入を支給する制度を試験的に導入する試みが始まった。 今月から始まったプログラムは、ユニバーサル・ベーシックインカム(UBI)の実効性をテストする最初の取り組みの1つだ。対象者には収入や資産、雇用状況にかかわらず、毎月一律560ユーロ(約6万8000円)が支給される。 この制度は、技術の進歩とともに人間による労働の必要性が低下する中、UBIが労働者により大きな保障を提供するというものだ。この制度では失業者が給付を受けながらパート労働を行うことも可能になる。 この最初のプログラムは、2年間の期間限定で実施される。対象者はランダムに選ばれるが、失業手当か所得補給金を受給していたことが条件だ。また、このプログラムを通じて支給される保証収入は非課税となる。 このプログラムがうまく行けば、フィンランド人の成人全員に対象が拡
デマや偽情報の拡散問題において,WELQの問題でDeNAは叩いても結局Googleを叩く人は少なかった. 私はここでまたもや大きなる権威の前では日本人はおとなしい奴隷となると言う実例を見てしまった.日本人にはGoogleほど巨大な存在に対しては盲目的に追従するのだ. bylines.news.yahoo.co.j 上記のニュース *1は見方によればGoogleはデマ情報を重要な情報としてそのリンクを編集してwebページを作成してるとも言える.ただそうしてるのがアルゴリズムか人かがDeNAやNaverまとめとの違いである. これらのサービスによって得られる負の側面はほとんど本質的には変わらないではないか? なぜアルゴリズムがやったことは責められず、人間が直接編集したことは責められるのだろうか?人間がやったのだからその馬鹿な人間が悪く,そのような分別のない人間は許されないと人は言う. しかし分
【ジャカルタ=鈴木亘】インドネシア財務省が米JPモルガン・チェース銀行に対し、国債の中核的な売買業者として公認する「プライマリー・ディーラー」などの資格を停止したことが3日分かった。処分は1日付。同行が最近配信したリポートでインドネシアの投資判断を3段階で最上位の「オーバーウエート」から最下位の「アンダーウエート」に引き下げたことに反発した。政府が2016年から実施した隠し資産の申告を促す「タ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く