スーパーマリオシリーズで「クリア不可能なコース」が作成できることを数学的に証明 米MITの研究者ら【研究紹介】 レバテックラボ（レバテックLAB）
米マサチューセッツ工科大学（MIT）に所属する研究者らが発表した論文「You Can’t Solve These Super Mario Bros. Levels: Undecidable Mario Games」は、任天堂のスーパーマリオシリーズの一部のゲームにおいて、プレイヤーがクリアすることが理論上不可能なコースを数学的に証明した研究報告である。 keyboard_arrow_down 研究内容 keyboard_arrow_down 研究結果 対象となったゲームは、「New スーパーマリオブラザーズ」シリーズ（オリジナル版、Wii、U、2）と、「スーパーマリオメーカー」1および2の全ゲームスタイル（スーパーマリオブラザーズ1、3、ワールド、New スーパーマリオブラザーズU、3Dワールド）である。 研究チームは、これらのゲームにおいて、ステージがクリアできるかどうかの判定が決定不可
「情報 I・II」を学んだ高校生の技術レベルってどのくらい？ 元エンジニア校長にホントのところを聞きました【フォーカス】 レバテックラボ（レバテックLAB）
TOPフォーカス「情報 I・II」を学んだ高校生の技術レベルってどのくらい？ 元エンジニア校長にホントのところを聞きました【フォーカス】 「情報 I・II」を学んだ高校生の技術レベルってどのくらい？ 元エンジニア校長にホントのところを聞きました【フォーカス】 2024年5月22日 工学院大学附属中学校・高等学校 校長 中野 由章 芝浦工業大学大学院工学研究科修了（電気工学専攻）。日本アイ・ビー・エム大和研究所を経て、1993年から教職の道へ。三重県立尾鷲工業高等学校や大阪電気通信大学など、多様な機関で教鞭を執り、教育と情報科学を専門分野として研究を重ねる。2021年より現職。情報処理学会の初等中等教育委員会委員長も務める。愛称は、日本IBM時代に同僚に付けられた「ジョニー」。明確な由来はない。 工学院大学附属中学校・高等学校 高校における情報教育のあり方が、大きく変わろうとしています。20
食べるだけでアルコールを高速分解できるゲル エタノールと一緒に毎日投与されたマウスの内蔵ダメージ減【研究紹介】 レバテックラボ（レバテックLAB）
スイスのETH Zurich（スイス連邦工科大学チューリッヒ校）などに所属する研究者らが発表した論文「Single-site iron-anchored amyloid hydrogels as catalytic platforms for alcohol detoxification」は、食べるだけで血中アルコール濃度を大幅に低下させる、ゼリー状のハイドロゲルの開発について述べた研究報告である。 ▲血中アルコール濃度を低下させるハイドロゲルの外観 研究チームは、アルコール中毒の予防と治療に効果的な新しいアプローチとして、乳タンパク質由来のハイドロゲル「FeSA@AH」を開発した。ヨーグルトやチーズ製造時には、副産物としてホエータンパク質が発生する。このゲルは、ホエータンパク質のβ-ラクトグロブリンからつくられたナノファイバーと、鉄粒子により構成されている。 また、このゲルはアルコールを
圧倒的な読書量を誇るからあげ氏が実践・読書との向き合い方
からあげ AIの仕事をしているエンジニア。インターネットで20年以上情報発信を継続中。 「からあげ先生のとにかく楽しいAI自作教室」「面倒なことはChatGPTにやらせよう」を始めとした著書、商業誌への寄稿多数。個人としてモノづくりを楽しむメイカーとしても「Ogaki Mini Maker Faire」をはじめとした複数のメイカー系イベントに出展。好きな食べ物は、からあげ。 X（@karaage0703）・ブログ からあげです。エンジニアとして働きながら、ブログを書いたり、本を執筆したりしています。今回、読書術についての寄稿をさせていただくのですが、私に声がかかった理由は、ブログで公開した読書記録が大きな理由だったようです。 以下がKindleの購入ログをもとに、年ごとのKindle蔵書購入数を可視化したグラフです。 確かにグラフをみると、ここ2年は1年に約300冊となっています。ただ、こ
趣味でつくった2Dゲームエンジンが導いた「幸」あるキャリア 己の欲求に従い続けた「Ebitengine」開発者に迫る レバテックラボ（レバテックLAB）
TOPフォーカス趣味でつくった2Dゲームエンジンが導いた「幸」あるキャリア。己の欲求に従い続けてきた「Ebitengine」開発者に迫る 趣味でつくった2Dゲームエンジンが導いた「幸」あるキャリア。己の欲求に従い続けてきた「Ebitengine」開発者に迫る 2024年5月15日 Odencat株式会社 CTO 星 一（ほし・はじめ） ソフトウェアエンジニア。2009年にドワンゴでキャリアをスタートし、ドワンゴの関連会社やGoogle Japanなどを経て、2023年より現職。趣味では大学時代から2Dゲームエンジン開発に注力し、Google時代の2013年にEbitengineに着手し始める。2015年にVer1.0をリリース。カクヨムで「オレオ」と3文字だけ書かれた小説を手がけ、週間総合ランキング1位を獲得したことがある。 X GitHub Ebitengine公式サイト Odencat
「人とAIの“模倣”は本質的に同じ」Rubyの父・まつもとゆきひろに聞く、技術の進化と“模倣”の関係 レバテックラボ（レバテックLAB）
「人とAIの“模倣”は本質的に同じ」Rubyの父・まつもとゆきひろに聞く、技術の進化と“模倣”の関係 2024年5月14日 一般財団法人Rubyアソシエーション 理事長／Ruby開発者 まつもと ゆきひろ（松本行弘） プログラミング言語Rubyの生みの親。株式会社ネットワーク応用通信研究所フェロー、一般財団法人Rubyアソシエーション理事長、NPO団体軽量Rubyフォーラム理事長などを務める。島根県松江市名誉市民。 近年、大量のデータから文章や画像を生み出す生成AIに注目が集まる中、改めて「模倣」が果たす役割を問い直そうという動きが広がっているように見受けられます。実際に、人間はこれまで、既存の技術を「模倣」しながら新しい技術をつくりだし、その繰り返しによって発展を遂げてきました。 世界中のプログラマーから支持を集める「Ruby」も、他のプログラミング言語のさまざまな要素を採り入れて誕生し
「Wikipediaっぽい記事」を自動生成できるAIシステム「STORM」 米スタンフォード大学が開発【研究紹介】 レバテックラボ（レバテックLAB）
米スタンフォード大学に所属する研究者らが発表した論文「Assisting in Writing Wikipedia-like Articles From Scratch with Large Language Models」は、AIモデルを使い、Wikipedia風の記事を生成するシステムの開発に関する研究報告である。GitHubのリポジトリはこちら。 ▲STORMは、記事にしたいワードから網羅的かつ深い内容の記事を生成することができる。 近年、大規模言語モデル（LLM）は文章生成タスクにおいて目覚ましい性能を示している。しかし、Wikipediaのような網羅的かつ内容の深さを備えた記事を一から生成することは、依然として挑戦的な課題である。記事の生成には、事前の調査やアウトラインの作成など、執筆前の段階における準備が重要な役割を果たすが、従来の研究ではこの点に着目したものは少ない。 この研
重力を媒介する未発見の粒子「重力子」に似たものが見つかる Nature誌で論文発表、半導体使った実験で【研究紹介】
TOPコラム海外最新IT事情重力を媒介する未発見の粒子「重力子」に似たものが見つかる Nature誌で論文発表、半導体使った実験で【研究紹介】 中国の南京大学、米コロンビア大学、ドイツのミュンスター大学、米プリンストン大学に所属する研究者らが発表した論文「Evidence for chiral graviton modes in fractional quantum Hall liquids」は、重力を媒介すると考えられている「重力子」に似たものを半導体から発見した研究報告である。 ▲論文のトップページ（スクリーンショット画像） アインシュタインの一般相対性理論によると、重力は時空の歪みによって生じるとされる。一方、量子力学の枠組みでは、力を媒介するのは粒子であり、重力の場合は「重力子」と呼ばれる仮説上存在する粒子が媒介すると考えられてきた。しかし、長年の探索にもかかわらず、宇宙空間で重力
「1日1万歩で健康」説はやっぱり本当？ 歩数や座位時間と死亡率の関係を調査、7万人を対象に【研究紹介】
オーストラリアのシドニー大学などに所属する研究者らが発表した論文「Do the associations of daily steps with mortality and incident cardiovascular disease differ by sedentary time levels? A device-based cohort study」は、1日の歩数と、全死因死亡率およびCVD（心血管疾患）発症率の関連性を調査した研究報告である。 この研究は、UKバイオバンク（英国）の参加者を対象に実施。対象となった参加者7万2,174人（平均年齢61.1、女性57.9％）は、24時間7日間にわたって加速度計を装着し、1日の歩数と座位時間の測定を受けた。追跡期間（平均6.9年）中に1,633人が死亡し、6,190人がCVDを発症した。 keyboard_arrow_down 研究内容
「インプットの怪物」あんちぽが語るエンジニア勉強論。終わりなき論争に終止符は打たれるのか
「インプットの怪物」あんちぽが語るエンジニア勉強論。終わりなき論争に終止符は打たれるのか 2024年2月29日 作家／GMOペパボ株式会社 CTO 栗林健太郎（あんちぽ） GMOペパボ株式会社取締役CTO、日本CTO協会理事。情報処理安全確保支援士（登録番号：013258）。東京都立大学法学部政治学科卒業後、奄美市役所勤務を経て、2008年より株式会社はてなでソフトウェアエンジニアとして勤務。2012年よりGMOペパボ株式会社に勤務。現在、同社取締役CTO。技術経営および新技術の研究開発・事業創出に取り組む。2020年より北陸先端科学技術大学院大学に在学する社会人学生としても活動。 X SpeakerDeck Kentaro Kuribayashi’s Website Pepabo Tech Portal での執筆記事 「エンジニアは一生勉強しなければならない職業である」と言われます。「勉
Flashエミュレーター誕生のきっかけは別に「フラッシュ愛」じゃなかった 「swf2js」開発者の本音と数奇な運命【フォーカス】
株式会社ソニックムーブ エンジニアグループ ソリューションユニット マネージャー 家永 稔之 2011年にソニックムーブに入社。個人ではJavaScriptとTypeScriptを用いて、「swf2js」や「Next2D」の開発を手がける。業務のリモート化をきっかけに地元の消防団に所属し、防災活動として月に数回、消防車両に乗って地域の巡回を行う。 X GitHub Animation Tool かつてインタラクティブなWebコンテンツを支えた「Adobe Flash」。「Adobe Flash Player」は2020年12月末でサポートを終了し、ほとんどのコンテンツはすでに姿を消しました。そんなFlashコンテンツ（SWF）を最新のHTML環境で再生可能にする、オープンソースのJavaScriptライブラリが「swf2js」です。ソフトウェアエンジニアの家永稔之さんが開発し、2015年に
AIが自分自身に報酬を与えて進化する「自己報酬型言語モデル」 米Metaなどが開発、実験でGPT-4を上回る【研究紹介】
TOPコラム海外最新IT事情AIが自分自身に報酬を与えて進化する「自己報酬型言語モデル」 米Metaなどが開発、実験でGPT-4を上回る【研究紹介】 AIが自分自身に報酬を与えて進化する「自己報酬型言語モデル」 米Metaなどが開発、実験でGPT-4を上回る【研究紹介】 2024年1月23日 米Metaと米ニューヨーク大学に所属する研究者らが発表した論文「Self-Rewarding Language Models」は、大規模言語モデル（LLM）が自分自身に報酬を与えることで繰り返し学習する「自己報酬型言語モデル」を提案した研究報告である。このモデルは、自身が生成した問題に対する応答に報酬を割り当て、その結果をトレーニングデータとして使用。自己を反復して訓練することで、精度を向上させられる。 keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容
【これは欲しい】聞きたくない音を遮断し、聞きたい音だけ聞こえるノイキャン技術「Semantic Hearing」。ワシントン大とMicrosoftが開発
TOPコラム海外最新IT情報【これは欲しい】聞きたくない音を遮断し、聞きたい音だけ聞こえるノイキャン技術「Semantic Hearing」。ワシントン大とMicrosoftが開発 【これは欲しい】聞きたくない音を遮断し、聞きたい音だけ聞こえるノイキャン技術「Semantic Hearing」。ワシントン大とMicrosoftが開発 2023年10月31日 ワシントン大学とMicrosoftに所属する研究者らが発表した論文「Semantic Hearing: Programming Acoustic Scenes with Binaural Hearables」は、聞きたい音だけを抽出し、不要な音を排除するヘッドホンやイヤホン向けの技術を提案する研究報告である。この技術を用いれば、ユーザーはスマートフォンを通じて特定の音に焦点を絞ってそれのみ聞こえるようにすることができ、多様なシチュエーシ
普通の映像から“動いている3Dシーン”をリアルタイム生成できる「4D Gaussian Splatting」【研究紹介】
普通の映像から“動いている3Dシーン”をリアルタイム生成できる「4D Gaussian Splatting」【研究紹介】 2023年10月18日 華中科技大学とHUAWEIに所属する研究者らが発表した論文「4D Gaussian Splatting for Real-Time Dynamic Scene Rendering」は、2Dの映像から動的な3Dシーンをリアルタイムで生成する手法を提案する研究である。この技術は2D映像から動くキャラクターの3Dモデルや動的な3Dシーン全体を生成し、単一の視点だけでなく、多くの異なる視点から3Dシーンを閲覧することができる。 ▲高解像度の動的な3Dシーンでも、高品質の表示を維持しながらリアルタイムでのレンダリングを実現している。 keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容 「Novel view
脳を3Dプリンタで印刷、原料はヒトの細胞 マウスの脳に移植し正常に機能 英オックスフォード大が開発【研究紹介】
英オックスフォード大学に所属する研究者らが発表した論文「Integration of 3D-printed cerebral cortical tissue into an ex vivo lesioned brain slice」は、人間の神経幹細胞から脳組織を3Dプリントで作成することを示した研究報告である。生成された組織をマウスの脳に移植したところ、結合し機能したことが確認された。 研究者らは、脳に損傷を負った人々にオーダーメイドの修理が施される日が来るかもしれないと述べている。 ▲人間から取り出した細胞を含む液滴を使って、脳の2層の組織を3Dプリントで作成する。作成した組織をマウスの脳に移植した。 keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容 keyboard_arrow_down 展望 脳損傷の原因として、事故による外傷、脳卒
「いらない人やモノ」だけを映像からキレイに消す技術「ProPainter」 シンガポールの研究者らが開発【研究紹介】
「いらない人やモノ」だけを映像からキレイに消す技術「ProPainter」 シンガポールの研究者らが開発【研究紹介】 2023年10月2日 シンガポールの南洋理工大学に所属する研究者らが発表した論文「ProPainter: Improving Propagation and Transformer for Video Inpainting」は、動画内の指定した不要な動く物体を後から編集で消す技術を提案した研究報告である。これは、動画の欠損部分を修復するビデオインペインティングという技術を用いて、あたかも存在しなかったかのように除去するものである。 ▲左が入力動画。右が車だけを消した出力結果。車から出る煙は消えていないのが確認できる。 ▲上段が入力動画。下段が歩行する女性を消した出力結果。 keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容 k
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
