培養したヒトの脳組織を使ってコンピューターを構築することに成功、日本語の音声認識にも対応
人間の幹細胞を基に作られた脳オルガノイド(ミニ脳)を電子チップに接続した「ブレイノウェア」と呼ばれるセットアップを構築して、簡単な計算タスクを実行することに成功したことが、インディアナ大学ブルーミントン校のエンジニアであるフェン・グオ氏らの研究チームによって報告されました。 Brain organoid reservoir computing for artificial intelligence | Nature Electronics https://www.nature.com/articles/s41928-023-01069-w Scientists Built a Functional Computer With Human Brain Tissue : ScienceAlert https://www.sciencealert.com/scientists-built-a-f
Nand2Tetris(コンピュータシステムの理論と実装)でCPUからOSまで一気通貫で作るのが最高に楽しかった話 - ( ꒪⌓꒪) ゆるよろ日記
どうも、しいたけです。 去年あたりからローレイヤー周りの知識を充実させようと思い、 低レイヤを知りたい人のためのCコンパイラ作成入門 を読んでCコンパイラを書いてみたりx86_64の勉強をしたりしていました。 今年に入ってから、よりローなレイヤー、具体的にはハードウェアやOSについてもう少し知りたいと思い始め、手頃な書籍を探していました。 CPUなどのハードウェア周りについては概要しか知らなくて手を動かしたことがないので、実際に何か作りながら学べるものとして、 O'Reilly Japan - コンピュータシステムの理論と実装 に挑戦することにしました。 O'Reilly Japan - コンピュータシステムの理論と実装 成果物は以下のリポジトリに置いてあります。 yuroyoro/nand2tetris 結論から言うと、やってみて大変楽しめました！ 特にハードウェア周りは今まで挑戦したこ
「世界最速・最大規模」──東芝、量子コンピュータより高速に組み合わせ最適化問題を計算するアルゴリズムを開発
「世界最速・最大規模」──東芝、量子コンピュータより高速に組み合わせ最適化問題を計算するアルゴリズムを開発 東芝が、組み合わせ最適化問題を従来のコンピュータで、量子コンピュータより高速に解けるアルゴリズムを開発した。同アルゴリズムを活用したサービスプラットフォームの19年中の事業化を目指す。 東芝は4月20日、量子コンピュータが得意とする計算の一つである「組み合わせ最適化問題」を、従来のコンピュータ（古典コンピュータ）で高速に解けるアルゴリズムを開発したと発表した。ある問題設定では、現行の量子コンピュータ（※1）に比べて10倍高速に解を求められるという。同アルゴリズムを活用したサービスプラットフォームの、19年中の事業化を目指す。 東芝は、自社が持つ量子計算の理論から、古典力学の「分岐現象」「断熱過程」「エルゴード過程」という3つの現象に着目。これらをうまく利用し、古典コンピュータ上で組み
AlphaGo Zeroの論文の要約 : ブログ
AlphaGo Zeroが自己学習のみで過去最強になったというニュースが出たのでその元論文を読み、要約をしました。 まず感想を述べると、過去数千年にわたって蓄積してきた知識をAIが数時間で発見することに対する気持ち良さがありました。人間などクソ食らえと思っておりますので、こう言うニュースはとてもスッキリします。そして人間の発見していない打ち筋の発見にも感動しました。これこそがAIの真髄だと信じています。人間が見えていないものをAIが見つける、僕もいつかそんなことをしてみたいと思いながら生きています。 あともう一つ重要だと思ったのは、とてもネットワーク構造および学習過程が簡素化されたことです。マシンパワーも過去に比べて非常に少なく済み、個人でもすぐに再現実験ができそうなくらいです。AIが強くなることと、構造および学習のsimplerが同時に達成できていることが本質的だと思います。 一応、下記
プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
「東大入試をクリアする人工知能」計画…開発中の現在、何が可能で何が困難か？23日、模試結果発表（読売新聞） - INVISIBLE D. ーQUIET & COLORFUL PLACE-
2013年11月9日、読売新聞。 あまりに斬新な発想すぎて、学界を追放された新井紀子はかせ（嘘付け！彼女は国立情報学研究所教授だ）が、人間社会に復讐するために作り上げようとする悪魔の人工知能の実態を語る（うそ）。 しかし、悪の天才・成原成行博士ですらつくれなかった「とうだいに行く人工知能」、やはり完成までには厳しい道のりがあるようで… 編集委員が迫る 「人工知能 赤門へ手応え」 10年計画で東大合格を目指す人工知能「東ロボくん」が今月、初の実戦として大手予備校の模擬試験に挑戦した。開発から2年半。東ロボくんはどこまで賢くなったのか、苦手科目をどう克服しようとしているのか… 以下、インタビュー要約。 ・この前東大模試を受けました。23日に結果発表がある。まずは正答率50％以上が目標。 ・文章は記号列として認識しており、言葉として意味は理解できてない。 ・数学と社会はなんとかなりそう。言語理解
Maybeに限らずJavaで直和型を実現できるか - 貳佰伍拾陸夜日記
JavaでMaybeを説明した以下の記事について, id:tozimaさんと某所*1でやりとりしていたら, 有益な話が出てきたのではないか, ということになったので, 紹介. 基本的にやりとりをそのまま*2抜粋したものに, 適宜補足を加えていきます. 発端 2012-06-29 04:29id:tozima こんな記事があった。 Java の語彙で Maybe を説明してみる - ぐるぐる～ 直和型のエンコーディングである、 でMaybeモナドを説明している、まっとうな記事です。気になったのは、上のエンコーディングを Java の上でやって、なにか変なことが起きないのかということ。例えば記事中では、 *3 みたいなことが、Javaでは禁止できない、ってことについて触れています。この他には変なことはおきないんでしょうか？ 僕には全然Java的な言語への直感がないので教えてください！！！ 「.
計算のきまり - d.y.d.
00:41 11/08/04 計算のきまり ( )を使った式の計算には次のようなきまりがあります。 （□ ＋ ○） × △ ＝ □ × △ ＋ ○ × △ （□ － ○） × △ ＝ □ × △ － ○ × △ ... たし算とかけ算には、次のようなきまりがあります。 □ ＋ ○ ＝ ○ ＋ □ （□ ＋ ○） ＋ △ ＝ □ ＋ （○ ＋ △） □ × ○ ＝ ○ × □ （□ × ○） × △ ＝ □ × （○ × △） この考えを使って、くふうして暗算で計算しよう。 小学校算数 5学年 - Wikibooks 分配法則・交換法則・結合法則。 とても当たり前で、当たり前すぎて、ほとんどの人は、もう特に意識することもない法則かもしれません。 でも、プログラミングを知っている僕らは、立ち止まってこの法則の価値に触れることができる。 末尾再帰化 最近のコンパイラは、こんな最適化をします。 i
lock-freeな人によるlock-freeトイレに関する考察
SKS rep @repeatedly 今のオフィスのトイレのロックが粗すぎるんじゃないかという問題が上がっていて，是非lock-freeの人にlock-freeトイレをどうにかして欲しい所． 2011-07-28 13:41:05 鯉江 @koie 先に出したほうが勝ちなのか。いや出してレバーを引いたら勝ちなのか?負けたらやり直すのか? RT @repeatedly: 今のオフィスのトイレのロックが粗すぎるんじゃないかという問題が上がっていて，是非lock-freeの人にlock-freeトイレをどうにかして欲しい所． 2011-07-28 13:45:33 Noritsuna @noritsuna すでに中国では開発されていた。ヒント:ニーハオトイレ QT @koie: 先に出したほうが勝ちなのか。いや出してレバーを引いたら勝ちなのか?負けたらやり直すのか? RT @repeatedl
スタートHaskell第0回に行ってきた+最後にやってたあの難解なLTの解説 - <s>gnarl,</s>技術メモ”’<marquee><textarea>￥
スタートHaskell 第0回に行ってきました｡ 「初心者向けで環境構築から始まりハローワールド程度しかやらない勉強会､Haskellに多少触ったことのある人間が行く意味あるのだろうか……」と思いつつ行ってみたものの､予想以上に向こうの想定している「初心者」がハイレベルだったため行く意味大あり､TAPL読んでたのが役に立つくらいの内容だった(初心者の定義とは……)｡ 実際面白かったので､次回以降もぜひ参加したいですね｡ LTの最後にやった､型から項を作る話についての解説 【注意】私はあの発表をした人とは関係ないです｡しかも実際素人なので､間違ったことを書いている可能性があります!!【ツッコミ希望】 型から項を作る(@pi8027) 一部の人々のHaskellをストップしそうになったこの発表､実はそれほど難しいことはやっていない―― 正確に言うと､「何のためにやるか」「どうやってやるか」は難
·¿¤«¤é¹à¤òºî¤ë - Ì¿Â꤫¤é¾ÚÌÀ¤òºî¤ë
型から項を作る 命題から証明を作る 坂口和彦 (@pi8027) 筑波大学 情報学群 情報科学類 B1 2011/07/24 型から項を 作る 坂口和彦 (@pi8027) 定義 アルゴリズム 実装 論理 自己紹介 名前 坂口和彦 所属 筑波大学 情報学群 情報科学類 (B1) 使用言語 Haskell, OCaml, Agda, Curry, PostScript, C, Scheme, Ruby, C# Twitter ID @pi8027 GitHub http://github.com/pi8027 関数型言語と型理論/型推論が好きです。 型から項を 作る 坂口和彦 (@pi8027) 定義 アルゴリズム 実装 論理 自己紹介 名前 坂口和彦 所属 筑波大学 情報学群 情報科学類 (B1) 使用言語 Haskell, OCaml, Agda, Curry, PostScript,
アリマア - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アリマア" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年8月） [1]アリマア (Arimaa) は、チェスの盤と駒を使用してプレイすることができる2人用のボードゲーム。子供でも理解できる簡素なルールでありながら、各局面で指せる手の数を何千通りにもすることでコンピュータによる計算を困難にしていることが特徴。元NASA職員であるオマール・サイド(Omar Syed) が考案し、2002年11月20日に発表した。当時小学生であったオマールの息子アーミル (Aamir Syed) も、開発に大きな役割を果たした。「Arimaa」とい
情報処理学会が日本将棋連盟に「コンピュータ将棋」で挑戦状 - 情報処理学会
社団法人情報処理学会（会長：白鳥則郎）は、コンピュータ将棋でトッププロ棋士との公開対局を望むべく、社団法人日本将棋連盟に対し挑戦状を送りました。 対戦は今秋から順次実施予定であり、具体的な日時・対戦場所は決定次第広報いたします。 ●本件に関するFAQ 挑戦状 社団法人 日本将棋連盟 会長 米長 邦雄 殿 コンピュータ将棋を作り始めてから 苦節三十五年 修行に継ぐ修行 研鑚に継ぐ研鑚を行い 漸くにして名人に伍する力ありと 情報処理学会が認める迄に強い コンピューター将棋を完成致しました 茲に社団法人 日本将棋連盟殿に 挑戦するものであります 平成ニ十ニ年四月二日 社団法人 情報処理学会 会 長 白鳥 則郎 社団法人 情報処理学会 会長 白鳥 則郎 殿 挑戦状確かに承りました いい度胸をしていると その不遜な態度に感服仕った次第 女流棋士会も誕生して三十五年 奇しくも同年であります 今回は初
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ホーム | RESEARCH INSTITUTE FOR INFORMATION TECHNOLOGY, KYUSHU UNIVERSITY
コンパイラの本: なつたん
Engadget | Technology News & Reviews
kikuzone on Twitter: "「同じ著者の小説をつなげてzip圧縮したら、複数の著者の小説をつなげて圧縮するよりも圧縮率がいいから著者推定に使える！」って論文が見つかった。キワモノかと思ったら精度いいし。論文探してるとしばしば「その発想はなかったわ」な物が見つかって面白いが俺は数日前にこれをやっとくべきだ。"
概要: * 最近の大学生は、ますます計算機を学習することに興味を失ってきている。 * 彼らにとって、パソコンも携帯もPS3も、すでに「あたりまえ」のことである。それの何がすごいの? * なんとか興味をひこうと教科書をいろいろ見てみたが、 ほとんど「幼稚園のお遊戯」なみの例題か (“クマさんの数をかぞえよう!”など)、 あるいはゲームしか載っていない。 * なんとか彼らの社会的な興味を引きだそうと、あたらしい授業を考え出した。 * その授業とは、障害者をつれてきて学生に会わせ「コンピュータを使って、 彼らの
MAKE: Japan : ホントに動くチューリングマシン
Amazon.co.jp: 数学パズル ものまね鳥をまねる POD版 ―愉快なパズルと結合子論理の夢の鳥物語: レイモンドスマリヤン (著), 阿部剛久 (翻訳), 黒沢俊雄 (翻訳), 福島修身 (翻訳), 山口裕 (翻訳): 本
