2019年11月11日追記 ただのタイトルで煽ってるだけの記事に半年経っても未だに大量のアクセスがあるので追記しておきます。 ここで言いたいことは、「プログラマならコンピュータサイエンスを勉強してると役に立つよね」、ということ だけ です。 この一文以上に有用な言葉は以降の文章では出てきません。みなさんの時間を無駄にしないために注意書きをしました。 それでも良いという人は読んでみてください。 Twitterで「〇〇ができるという人が面接に来たけど、『じゃあXXXやYYYって知ってます？』というと知らないという人が多いんだよねぇ」とかいうツイートを見かけて、私はXXXやYYYってのを知らなかったので調べた見たところ、常識とまでは言えない概念だったり、名前は知らなくても誰もが知ってる概念だったり、むしろもっと良いアプローチがあるのではという思想だったりでなんだかなぁと思っていたところ、半日くら
※この記事は2015年8月4日時点のものです まず高校の「情報」の授業を忘れよう 情報科学というと、「情報の科学」という科目のことを思い出す人がいるかもしれません。でも、そういう人は少数でしょう。高校の課程に必履修の教科として「情報」が加わってから10年以上経っているのですが、いまだに中途半端な教科であり続けています。 当初は「情報A」「情報B」「情報C」の３科目があって、いずれかを履修することが求められていました。その後、指導要領が更新されて、いまでは「情報の科学」と「社会と情報」という２科目のどちらかを履修することが求められています。８割の高校では「社会と情報」を教えているそうですが、実は、大学に入って来た学生に聞くと、どちらを習ったかわからない、という答えが圧倒的です。 高校の情報の授業は、万人が身につけるべき情報リテラシーや情報技術の理解を目標として始まりましたが、歴史の新しい分野
東京大学の講義や公開講座の映像・音声をポッドキャストでもお楽しみいただけます。東京大学が誇る「世界の叡智」をいつでも、どこでも、より多くの方々に体験していただきたいと考えています。 MIMA Search とは、UT OCW、MIT OCWに公開されている各授業のシラバスの関係を構造的に見ることができる検索システムです。MIMA Searchは、シラバスに含まれている各種の情報をもとに、検索結果を「点」と「線」でネットワーク表現します。
正規表現と構文図について解説します。オートマトンについても詳しく述べます。オートマトン・スゴロクで遊びましょう！ 世間でよく知られている／使われている概念・方法にはこだわらず、僕（檜山）の感覚で一番わかりやすいと思われる筋書きと用語法／図式法を使って説明します。この記事に目を通して“感じ”が掴めたら、形式言語理論の教科書を読み始めることが出来るでしょう。 [追記]この記事の内容に対する具体例は、「正規表現とオートマトン：なんだ簡単じゃん、JavaScriptによる実装」にあります。[/追記] 内容： 正規表現 正規表現の例 構文図 基本記号 連接 選択 省略可能 繰り返し ストレートワイヤーによるレイアウト調整 有限状態オートマトン 有限状態オートマトンの実行 バックトラックと先読み スゴロクとオートマトン コマをたくさん使うスゴロクと並列処理 非決定性オートマトンと決定性オートマトン 正
社会システム情報学とは何か、というテーマのもとに、本専攻の有志にて「知能社会のデザイン学」というタイトルで執筆しました。本専攻で研究している研究課題を把握する上での助けになれば幸いです。なお、企画および執筆の時期の関係から、平成21年度～平成22年度の本専攻教員が執筆の主体となっています。 平成23年3月末日 知的活動支援 戸田山和久：新しい知識の理論をめざして 渡邉豊英：情報化時代の知的活動支援 コミュニケーションとメディア 石井健一郎：コンピュータによるコミュニケーション支援 鳥海不二夫：コンピュータの中の社会 間瀬健二：コミュニケーションを支援する計算メディア 山本修一郎：CMCがもたらすコミュニケーションの変容 安心安全と情報福祉社会 小池直人：「生の情報」と社会文化形成 安田孝美：生活者視点に立った情報社会の設計 横井茂樹：シニアのパソコン初心者のためのソフトウェアと学習支援 デ
コンピュータサイエンス入門より。 １．離散構造(Discrete Structures) 集合論、論理、証明法、計算の基礎、グラフ理論、組み合わせ論、確率論など。 データ構造とアルゴリズム、形式的証明。 ２．プログラミング基礎(Programming Fundamentals) プログラミングの基礎構成概念、アルゴリズムと問題解決、基礎的データ構造、再帰、イベント駆動型プログラミング。 少なくとも２つのプログラミング言語の習得が推奨。 ３．アルゴリズムと計算量(Algorithms and Complexity) ソフトウェアの性能は、採用されたアルゴリズムとその実装法に依存する。 アルゴリズムの選択や実装において、性能・計算理論の基礎が重要。 ４．コンピュータアーキテクチャ(Architecture and Prganization) コンピュータはプログラムを実行してくれる単なるブラッ
以上のような図や表によって象徴される、 状態とその間の遷移が定義された構造を 「状態機械」 と呼ぶ。 各々の状態の意味は考えない。 全く考えないのかといえばそうでもないのだが、 少なくとも理論上は状態として何を持ってきても構わない。 健康状態のように明らかな意味を持つモノを状態とする事もある。 何が何だかさっぱりわからないモノを状態とする事もある。 スゴロクの桝目のようなモノは後者の例と言えよう。 問題を解く為に最も便利なモノを状態として定義すればよい。 少し変わった状態機械の使用例： 虎と羊を連れた人が野菜を運んでいた。 ある所で川を渡る必要が生じた。 舟が一艘あったがとても小さい。 その人が乗るとあとは虎か羊か野菜の内のいずれか一つしか乗せられない。 しかし人が居ない所で虎と羊を一緒にすると虎は羊を食べてしまう。 同様に人が居ないと羊は野菜を食べてしま
権藤克彦, 明石修, 伊地知宏, 岩崎英哉, 河野健二, 豊田正史, 上田和紀, "なぜソフトウェア論文を書くのは難しい（と感じる）のか", コンピュータソフトウェア, Vol.26, No.4, pp.17～29, 2009年11月 この論文は、情報系の大学生や研究者にお勧めです。 「車輪の再発明」というのは、既存のものを作り直すことを示していますが、ソフトウェアという分野で車輪の再発明を完全に「駄目なもの」として扱うことの危うさもあるのではないかと感じました。 「今あるソフトウェアが駄目だから自分で作り直した」ということが、もっと「論文」へと結びつけば、今よりも大学からのイノベーションも増えるのではないかと思います。 新しいアイデアは運用の中から生まれたり、ソフトウェアの周縁にコミュニティが形成されることで次の種が発生することもあります。 たとえば、「ウェブサービスを作って多くのユーザ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
