「円周率の新しい求め方」兵庫の高3生4人が証明 豪州の大学発行の数学雑誌に掲載 高校で学ぶ公式だけでエレガントに（神戸新聞NEXT） - Yahoo!ニュース
高校分野の解法を使って円周率の新しい求め方を証明した（左から）中山啓太さん、丸尾祐希さん、田中陸人さん、宮本陣弥さんと指導した宮寺良平教諭＝西宮市高座町 西宮市立西宮高校（兵庫県西宮市高座町）３年の４人が「三角比の定理」などを用いて証明した「円周率の新しい求め方」が、オーストラリアの大学が発行する数学雑誌に掲載された。授業の一環で取り組んだ。高校までで学ぶ公式などを使って証明することは困難とされており、新たな証明方法として評価された。大学受験と部活に励む生徒たちは「答えのない研究だったが、成果を出せて安心した」と快挙を喜んでいる。（久保田麻依子） 【写真】史上最年少で「数学検定」１級合格 兵庫の小４、理数系大卒業レベル メンバーは、同校グローバル・サイエンス科の田中陸人さん（１７）▽中山啓太さん（１７）▽丸尾祐希さん（１７）▽宮本陣弥さん（１８）。臨時講師の宮寺良平教諭（６７）が指導した。
どうして自分を過小評価するのかと言われた話
忘年会の時に、「おじさん(私のこと)って自分のことをできないエンジニアであるふりをするけど、どうして？」って言われたのだが、いざどうして自分がそういうふりをするのかを言語化しようとしたら難しかったので、時間をかけて言語化してみた。 ぶっちゃけ自分はできないエンジニアではないと思っている まず「できる」「できない」の定義だが、ここではしない。 いろんな人と比較されて「できない」側の人間として扱われてきた自分にとってその定義は考えたくない。 「できない」の定義は人を傷つけると思うのでしたくない。 なのであくまで読者の感覚的な尺度で解釈して欲しい。 自分はいわゆる別業種からの転向組で、エンジニアとして働き始めたのは 2018 年なので今年で 5 年目エンジニアだ。別業種からの転向ということでコンピュータサイエンスを大学で学んだ者・小学生の頃からバリバリやってきた者・新卒でエンジニアになって研修や
ググり時間をぶった切る。AWSを最速で攻略するサイト13選 - Qiita
はじめに 自分がAWSをこれっぽっちも知らない頃、 ググって出てきたどこか知らんサイトからだと、「欲しい情報はこれじゃない」ってのが多くあった。 そんなこと繰り返していると エラー、トラブル時に即対応できない 間違って構築したせいで運用時に悪化してしまう 古いソースコードでエラーがでて動かない これで無駄な時間を過ごすことになる。 要は「ググって得たその情報で、作ったものは正しいのか？」 AWSは常にアップデートされ続ける 欲しい情報を手に入れるまで調べる時間を割くなら、 公式展開してるサイトから得たほうが正確である。 ということで、最速でAWSを攻略するサイトをまとめる。 この記事をブックマークでもしておくと、ググる手間も省けるだろう。 目次 AWSドキュメンテーション AWSサービス別資料 トレーニングライブラリ AWSブログ アーキテクチャーセンター ワークショップをする よくある質
第1回 学習用テスト ～学びを自動テストとして書く～ | gihyo.jp
こんにちは、今回からコラムを書かせていただく和田（t_wada）と申します。 現代のソフトウェア開発の対象領域は、広く複雑で不確実なものになりました。この連載では、自動テスト（Automated Test）に関わるトピックを中心に、ソフトウェア開発の荒野を生き抜いていくためのプログラミングやソフトウェアエンジニアリングの考え方を書いていきたいと考えています。 初回のテーマは、学習や調査が目的のテストコードを書くテクニック「学習用テスト」（Learning Test）です。では、よろしくお願いします。 二兎を追わない プログラミングのコツに、「一度に2つ以上のものを相手にしないこと」があります。 未知の技術を使って問題を解決するコードを書こうとするとき、私たちは2つのものと同時に戦うことになります。未知の技術そのものと、その技術を使った問題解決の2つです。2つ以上のものを同時に取り扱おう
文芸的diffでソースコードを解説する - ABAの日誌
プログラムの解説文章をソースコードに混在して表記し、そこから解説記事を生成する、文芸的プログラミングという手法がある。 文芸的プログラミングはソースコードに強く結びついた形でドキュメントを管理することができ、ソースコードの解説を記述するためには良い手法である。ただし、生成される解説記事はあくまでソースコードの記述順に沿ったものであり、プログラマの開発手順、実装順序に沿ったものでは無い。 ソースコードの解説は、そのコードが作られた順番に行われたほうが、プログラマの思考に沿って説明がされるので分かりやすい。そのような発想に基づいて提案された手法が、文芸的コミットだ。 コミットメッセージに、そのコミット内容を説明する文章を記述していくことで、コミットのヒストリーが解説記事になる手法だ。この方式だと、コミットというコードが改変されていく順番で解説ができるので、より分かりやすい内容にできる。 この方
AI時代の英語学習法 - 運河
意識的な英語学習を再開して1年以上経つ。以前に英語学習をしていたときよりも、技術面での進歩のおかげでより効率的な学習ができるようになっていることに気づいた。 トライしてきた学習方法のなかで、いまも日常的に運用しているテクニックを紹介しようと思う。 僕自身の目的として、話す能力と読む能力にフォーカスしていたので、口頭英作文と語彙獲得の内容が多い。 この中で最もパワフルな学習方法は、AIと最も関係ないので最後に書く。Anki による長期記憶化システムである。 YouTube 字幕を使った語彙獲得 好きな映画を見続けるだけで、自動的に語彙が増えていき、リスニング能力も高まっていくとしたら、素晴らしいことだと思う。 Language Reactor という Chrome 拡張を使うと語彙獲得がとても捗る。画面に検索可能でスクロール可能な字幕を開きつつ、動画を見ることが可能になる。 最近の YouT
若者向けソフトウェア人材おすすめビルドN選 - Qiita
この記事はpyspaアドベントカレンダー2021の三日目です。前日の記事はykubotaさんです。 はじめに 「自分には才能がある！」と信じてこの業界に踏み込んだものの右も左も怪物だらけで形見が狭い思いをしているのは僕だけではない。 憧れるのは異世界転生のような俺TUEEEE展開であり「何ってクイックソートをしただけだが？」とか言ってたら地位と名声が向こうから転がり込んできて欲しい。 しかし世の中そんなに甘くなく、標準ライブラリを使って威張れるのは学生ぐらいのものである。 学生？そうだ！学生の頃から精進しまくっていたら今ごろすごいソフトウェアエンジニアになれていたはずなんだ！という後悔を抱えて生きている社会人が世の中にはいっぱいいる。 そんな立場から若者を見ていると「大学に入ってプログラミングを始めました」という大学生を見かけるたびにアドバイスをしたくなる衝動に駆られるが、毎度同じような事
2021年のエンジニア新人研修の講義資料を公開しました - Cybozu Inside Out | サイボウズエンジニアのブログ
こんにちは。開発本部 オンボーディングチームの酒井（@sakay_y）です。社内のオンボーディングコンテンツを、どんどん社外へ公開することを夢見ています。 2021年もエンジニア新人研修を行いましたので、軽い紹介と、講義資料および一部講義動画（New!）を公開いたします。 2021年のエンジニア研修について 講義資料公開 Webアプリケーション基礎 HTTP/DNS ソフトウェアライセンス ソフトウェアテスト テスト自動化 アクセシビリティ Docker Chrome Developer Toolsの使い方 サイボウズのアジャイル・クオリティ デザインの役割と関わりかた データベース CI/CD セキュリティ モブに早く慣れたい人のためのガイド ITコミュニティ文化と情報発信に共通する成長と貢献の要素 正規表現 Kubernetesを使った開発入門 モニタリング入門 gRPC入門 日本語話
【徹底解説】名古屋市 小中学生に配布したタブレットを当面使用中止に「個人情報保護条例に違反」｜やわらかセキュリティ
2021年6月10日に報道された、名古屋市教育委員会のニュースが目に留まりました。 問題になっている点がわかりにくい気がしたのでまとめてみたいと思います 個人的な見解も入っていますので、間違いなどがあればフォームかSNSでご指摘いただければと思います。 名古屋市教育委員会が、オンライン学習の環境を整えるために、市立の小中学校に通うおよそ７万人の子どもたちにタブレットを配ったそのタブレットの操作履歴を、名古屋市教育委員会が子どもや保護者に事前に知らせずに取得し、教育委員会のサーバーで保存していることが後からわかったので問題になった教育委員会は「子どもたちがトラブルに巻き込まれた場合に対応するため」に取得していたが、問題が解決するまでは当面の間タブレットの使用を中止することになった
サークルで初心者向けにプログラミングの話とかをする際にちょっと考えてみたいことについて発表した - ぱすたけ日記
はじめに ちょっと前の話なのですが、僕の所属している京大マイコンクラブの新入生向け説明会で講座*1をやらせてもらったので、その内容について書いていきます。 スライドを公開するだけでも良かったのですが、スライドだけだと伝わりづらいこともあるかと思ったのでブログで補足しようという作戦です。 スライドはこちら モチベーション 講座やってくれと言われてから何について話すか考えてて、昨年はわくわくシンセサイザー入門というタイトルでWeb Audio APIについて話したけど、この時期に来る新入生はコードを書いたこともない人が多かったので、具体的なAPIなどを紹介するのではなくて何かしら精神っぽいエモさあるトークをしようという方針を立てた。 ちょうどそろそろスライドを作るかというタイミングでたまたま部室居たら、サークルの若者たちが競技プログラミングを始める新入生に向けたC++のスライドのレビュー会をし
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
カリー・ハワード同型対応入門