Googleのコンピューターサイエンス学習教材「CS First」に日本語教材が登場！【どれ使う？プログラミング教育ツール】
筆者は「精度保証付き数値計算」という分野で研究をしている大学院生です． 「数値計算は分かるけど」「精度保証付き数値計算？ナニソレ？」という方がほとんどだと思います． 「精度保証付き数値計算」の研究自体は30年ほど前から盛んに行われていますが，世間に浸透しているとは言えない状況です． 自分の研究分野が世間に知られていないのは何か少し寂しい感じがするので「精度保証付き数値計算」を少しでも広めるべく記事を投稿することにしました．(シリーズ化するかも知れません) 本日は「精度保証付き数値計算」というワードだけでも覚えていただければ幸いです． 今回は"数値計算に潜むとんでもないリスク"に関してカジュアルにお話します． そして筆者の研究分野である「精度保証付き数値計算」の必要性を知ってもらえればなと思います． この記事を読み終える頃には計算機を信頼できなくなっているかも知れません(笑) ※不安を煽るこ
Rustの特徴のひとつは、所有権(ownership)・移動(move)・借用(borrow)の概念です。これらがコンパイル時に厳格にチェックされることにより、古くから未定義挙動でプログラマを悩ませてきたダングリングポインタなどの問題がなくなり、メモリ安全性がもたらされます。 しかし一方で、自分で多少複雑なデータ構造を定義しようとする場合にはコンパイルを通すだけでもかなりの知識・力量が要求されます。 この（不定期）連載では、 Rustではじめるデータ構造とアルゴリズム と題し、プログラミングコンテストなどでよく見かける基礎的なデータ構造とアルゴリズムを、できるだけシンプルにRustで実装していきます。 &, &mut, Box, Rc, Cell, RefCell などの使い分けや、なぜそれを使う必要があるかの解説を、実例を通して行います。 第1回は、最もシンプルな木構造である 二分木 を
ドイツの大学院でコンピュータサイエンスを学ぶー文系卒会社員から理転して修士号を取得するまで - 元コンサルタントな歴史家―ドイツから見た日本
さて今回は、理転されて、かつドイツで修士号を修められたnanakoさんにご寄稿願いました。現在は大学院を修了し、次のステップに踏み出されようとしているところですので、ついこないだまでの体験を記事にしていただいております。そのため、かなり新鮮な体験記となっています。 読むだけでnanakoさんの体験を追体験できますので、苦労も緊張も成長も喜びも含めて、留学気分に浸れます。ぜひとも楽しんでみて下さい。 ----------------以下、寄稿文---------------- はじめまして、nanako(@__nanakom)です。 私は2017年10月からドイツ・ダルムシュタット工科大学（Technische Universität Darmstadt, TU Darmstadt）のコンピュータサイエンス（以下、CS）修士課程に在籍しています。 つい先日、修士論文の成績が確定し、ようやく全
あらためて学ぶOSの役割 - 「OSの気持ち」を知り、コンピュータをよりよく理解しよう ｜ハイクラス転職・求人情報サイト AMBI（アンビ）
あらためて学ぶOSの役割 - 「OSの気持ち」を知り、コンピュータをよりよく理解しよう パソコンを操作するうえで、欠かすことができないOS（オペレーティングシステム）ですが、あまりにも「あたりまえ」の存在ゆえ、その実像をイメージすることは多くはないでしょう。OSは「なにを」「どのように」処理しているのかを学ぶと、自身が使用するパソコンがもっとよく理解できるようなるかもしれません。内田公太さんが、OSの役割と働きの基本、そして「OSの気持ち」を理解するための方法を解説してくれました。 こんにちは、内田公太（@uchan_nos）です。 普段皆さんはパソコンを使っていろいろな処理をしていると思います。ネットサーフィンに文書作成、音楽を聴いたり絵を描いたり。この記事をお読みの方はプログラミングもしている方が多いと思います。 C言語の入門書で学ぶ最初のプログラムはだいたい printf("Hell
0 fgets <internal>:-1 1 <main> <internal>:-1 0 fgets <internal>:-1 1 <main> <internal>:-1 0 fgets <internal>:-1 1 <main> <internal>:-1 ... 0 time_nanosleep <internal>:-1 1 PhpProfiler\Lib\Loop\LoopMiddleware\NanoSleepMiddleware::invoke /home/sji/work/php-profiler/src/Lib/Loop/LoopMiddleware/NanoSleepMiddleware.php:33 2 PhpProfiler\Lib\Loop\LoopMiddleware\KeyboardCancelMiddleware::invoke /home/sji/
NPTEL IITm
2020年1月に入社し、SWETの仕様分析サポートチームに加わったtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報発信をしています（形式手法 カテゴリーの記事一覧）。 この記事では、加入3か月を経てようやく形式手法の輪郭が掴めてきた私の視点から、学習前後での理解の変化について振り返ります。想定読者として学習前の私と近い属性——すなわちコンピュータサイエンスや数学の専門教育を受けておらず、主に現場での実務と自習に頼ってきたソフトウェアエンジニアを想定しています。 形式手法を学ぶ前の認識と疑問 ソフトウェアエンジニアとしての私の一番の興味関心は設計手法です。設計は、なんらかの解決したい問題に対して、ある一面を切り取った構造（モデル）を与え、そのモデルを解決の機構に落
この記事は、プログラミングの専門教育（大学のコンピューターサイエンスなど）を受けておらず、独学でプログラミングを学習している方へ贈るアドバイスです。 ＝タイムマシンがあったら、過去の自分に会いに行って教えたい話です。 （自分で自分に話しかけるつもりで書いてみますｗ） プログラミング言語はひとつマスターすれば他もできる？ - t-hom’s diary [プログラミング] [設計] [教育] プログラミングパラダイムは(1)命令型（チューリングマシン）、(2)宣言型（ラムダ計算）に大別される。両方理解したら全部カバーできる。言語は開発の背景（動機、歴史）を知るとなじみやすい。例：JSはScheme＋Selfで誕生 2019/09/16 06:49 b.hatena.ne.jp ↑はてなブックマークでこの記事が目にとまりました。 なるほどと思いつつ、自分なりに考えてみたことをメモ。 勉強のコツ
2ヶ月間で低レイヤを学ぶためにやったこと
こんにちは。来週末久しぶりに100kmマラソンを走ります。y-meguro です。 この記事は「#しがないラジオ Advent Calendar 2019」6日目の記事です。 ポッドキャスト「[しがないラジオ](https://shiganai.org/)」のアドベントカレンダーです！ ## どんなブログエントリを書けばいい？ - 下記のテーマ例を参考に、フリーテーマでご自由にどうぞ！ - しがないラジオについて - 転職/転職活動した話 - 楽しく仕事をするためのアドバイス - IT業界論、SIer論 - 2019年に頑張ったこと ## 過去のAdvent Calendar [#しがないラジオ Advent Calendar 2018 - Adventar](https://adventar.org/calendars/2927) [しがないラジオ Advent Calendar 201
ジョージア工科大学のOnline Master of Science in Computer Science（OMSCS）に合格した 受験者の参考までに，合計作業時間572時間29分02秒の内訳と推移を公開するサイトを約82時間21分11秒かけて作った 本記事では，上記のサイトとその作り方を概説する 「ジョージア工科大学に合格するまでの572時間29分02秒」 背景 OMSCS ジョージア工科大学（Georgia Institute of Technology）とは，アメリカのアトランタにメインキャンパスを構える，州立大学です．THEのWorld University Rankings 2021で総合第38位，コンピューターサイエンス（以下，CS）で第13位と評価されています． OMSCS（Online Master of Science in Computer Science）とは，ジョ
はじめに Web アプリケーションを開発している皆さん！ 日夜性能問題に悩まされていると思います😅 本記事では性能問題における 「CPU 使用率の見方」 に焦点をおいて話そうかと思います！ CPU あるある CPU にまつわる謎？ は大体次の２ケースかな〜、と思います。 ① クエリ応答が遅いからスケールアップ！ → あれ？変わらないぞ？ Web アプリ開発していると、API 応答が遅い → 原因は重いクエリ (SQL) というケースはよくあるかと思います。当然速度改善したいです。お金で簡単に解決できるならそうしたい。 例えば RDS のインスタンスタイプ db.r5.xlarge を今使っているとしましょう。 vCPU 数は 4 です。これを ２倍性能 の db.r5.2xlarge にしましょう！ db.r5.xlarge db.r5.2xlarge
マンガでわかるHCI: 今週のコンピュータサイエンス研究 140字での論文解説 まとめ 7/19-7/26｜マンガでわかるHCI（ヒューマン・コンピュータ・インタラクション）
はじめに前回に書いたように、このブログは、コンピュータサイエンスに興味を持った小中高生とかに、コンピュータサイエンス研究の入り口があったらいいと思い、マンガでわかるHCIなるものをはじめました。 ただ、研究を始めるにあたって、重要な要素が2つあります。 1. 基本的な概念や、学問全体の流れがわかっている 2. 最新の研究を追ってキャッチアップできている 1を主に、マンガでわかるHCIとして、描いていこうおもっているわけですが、それだけでは足りないわけです。やはり研究というからには、最先端の動向がどうなっているのかも知らないといけないわけです。 というわけで、このブログでは、最新のコンピュータサイエンスの研究を140字でゆるく解説しつつ、気になる論文にはこういう研究もあるよーと2-3個似てる研究を紹介して、コンテクストも与えられるようなことも書いていきたいと思っています。要は、それぞれが上の
マンガでわかるHCI （ヒューマン・コンピュータ・インタラクション) - はじめました｜マンガでわかるHCI（ヒューマン・コンピュータ・インタラクション）
はじめまして、アメリカの大学でコンピュータ・サイエンスの研究をしている鈴木 遼（@ryosuzk）と言います。 僕の研究分野は、特に、ヒューマン・コンピュータ・インタラクション（Human-Computer Interaction、略してHCI）というのですが、コンピュータ・サイエンスの中でも正直（よくわからない）少し変わった研究分野だと思います。 今回、ちょっと思うところがあって、「マンガでわかるHCI」なるものを始めてみようと思いました。今回は、とりあえず、そのあらましについて。 マンガでわかるHCIをはじめたきっかけ実は、HCIの研究を始めて、かれこれ4年くらいになるのですが、実はその前は、HCIという言葉自体、全く知りませんでした。というか、そもそもコンピュータ・サイエンスの分野にいませんでした。実は留学と同時に、専攻を変えたので。（変えた理由は少し長くなるので、今回は端折ります。
マンガでわかるHCI: 今週のコンピュータサイエンス研究 140字での論文解説 まとめ 6/1-6/7｜マンガでわかるHCI（ヒューマン・コンピュータ・インタラクション）
このnoteでは、最新のコンピュータサイエンスの研究を140字でゆるく解説しつつ、気になる論文にはこういう研究もあるよ、と似てる研究を紹介しています。 分野の中の人も外の人も、実務で忙しい人もそうでない人も、小学生も大学生も、「なるほど、最先端ではこんなことがおきてるんだな。ふむふむ」と感じてもらえたらと思います。 --- しばらく死んでましたが、ぼちぼち再開していきます。(ˊvˋ*) 無事、Defense終わりました。ここ最近は、これでかなり忙しかったんですが、とりあえず1個、一段落ついたので、少しずつ再開していこうかと思います。 （ただ、終わってふと見るとUISTのレビュー依頼が10本くらい来てたけど。笑 ここ数年、CHIとかUISTのレビュー2桁いくこと多いな…） https://t.co/IT5rysaIje — マンガでわかるHCI（ヒューマン・コンピュータ・インタラクション）
2021年4月15日 報道関係者各位 プレスリリース データサイエンス・カリキュラム標準（専門教育レベル）の公開 一般社団法人 情報処理学会 一般社団法人情報処理学会（会長：江村 克己）は，データサイエンス分野における大学レベルの専門教育を対象としたカリキュラム標準の策定を進めています．このたび，同カリキュラム標準がまとまりましたので，公開いたします． 政府が推進しているAI戦略2019や欧州EDISON Data Science Framework等にも見られるように，データサイエンス教育やデータサイエンティストの育成は社会的にも重要性が高いことが認識されています．情報処理学会のデータサイエンス・カリキュラム標準（専門教育レベル）は，関連する様々な取り組みを参照して策定されており，以下に挙げる様々な特徴を持っています． ACM Data Scienceカリキュラムおよび欧州EDISON
Home
Come on in! Exhibits are open Wednesday–Sunday, 10 a.m. to 5 p.m. Buy Tickets CHM has something for everyone, from docent-led tours to demonstrations to self-guided visits. Learn Photoshop from the pros, experience the sights and sounds of classic computing, try your hand at coding, and discover why computer history is more than 2,000 years old. Discover all this and more in CHM’s onsite and onlin
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数値計算の研究をしている学生が"数値計算に潜むとんでもないリスク"について話してみる - Qiita
二分木 - Rustではじめるデータ構造とアルゴリズム（第1回）
「別プロセスの PHP が今何をしているか」を実況するプログラムを PHP で作った - Qiita
ゼロから学んだ形式手法 - DeNA Testing Blog
プログラミングの仕組みを理解する方法 - JavaScript勉強会
「ジョージア工科大学に合格するまでの572時間29分02秒」を公開するサイトを約82時間21分11秒かけて作った
あれあれ？ CPU 増やしたのに速くならないぞ？ - Qiita
データサイエンス・カリキュラム標準（専門教育レベル）の公開-情報処理学会
HowSearchEnginesWork2020June.mp4 | Powered by Box
