日々の疲れをじっくり癒す・おすすめフットバス6選 毎日続く長時間のデスクワーク、立ったままでの通勤、足を使った営業活動……知らず知らずのうちに足には疲…
日々の疲れをじっくり癒す・おすすめフットバス6選 毎日続く長時間のデスクワーク、立ったままでの通勤、足を使った営業活動……知らず知らずのうちに足には疲…
前の記事 「永遠に残るデータの恐怖」とその対策 高速度撮影が捉えた稲妻のメカニズム 2010年2月24日 サイエンス・テクノロジー コメント: トラックバック (0) フィードサイエンス・テクノロジー Annaliza Savage Tom Warner氏は、ラピッドシティーにあるサウスダコタ鉱山技術学校の博士課程の学生だ。 「2007年以降、私は毎秒最大5万4000コマの撮影の可能な高速ビデオカメラで、稲妻を記録してきた。この種のカメラは、われわれがこれまで見たことのないような形で稲妻を見せてくれる。稲妻が、雲から下に向かって伸びていっているのか、それとも、高い建物から上に向かって伸びているのかがはっきり見分けられるほどだ」と同氏は語る。 同氏がしばしば使うカメラは、Vision Research社の高速撮影用『Phantom』だ。このカメラでは、リング状のメモリーバッファに、継続的に記
レポートの提出 (1回しか送信することができません) 授業の内容を踏まえて、独自AIを設計しできれば実装してください。 AIの設計とは、AIのモデルを作成することとします。授業中に model = tf.keras.Sequential .. として作成したモデルのことを表します。 提出ファイルの形式は基本的に何でも構いません。 提出は、最後の授業(2024年1月19日)の終了後から、2024年1月26日16:20の間で提出することができます。提出は、上のリンクから辿ってください。 他者のレポートはコピーしないでください。ただChatGPT的な生成AIの使用はOKです。 金曜日 4限 240教室 09月22日 人工知能、強化学習入門、pythonの基礎 1 課題 提出 解答例 10月06日 pythonの基礎 2 (配列内の特定要素の数を数える) 課題 提出 解答例 10月13日 五目並べ
「真」とは,ただの記号.意味はなくて良い.別名 True 又は T 「偽」とは,真ではないこと.別名 False 又は F 「命題」(proposition)とは,真か偽のいずれかである主張 「公理」(axiom)とは,真である決められた命題 「証明」(proof)とは,真とされる命題に推論規則を有限回適用して,別の真の命題を導くこと 「定理」(theorem)とは,公理から証明される命題 「言葉」によって真理に到る方法. 「AはBかCである.」という言葉と,「AはBではない.」という言葉から 「AはCである.」という真実を知ることができるのはなぜかを追求する学問.命題の中に変数を含まない.例えば 「整数x は奇数である。」のような命題は述語論理で扱われる. Hilbertの命題論理公理系 System of axioms ■1.計算に用いる全記号のカタログ(記号倉)の制定 記号倉={命題
生命起源の事典 生命の起原および進化学会(監修)薮田 ひかる・・・ 基礎・用語/生き物の仕組みと変遷/宇宙・地球での化学進化/物から情報・システムへ
Windows Internet Explorer 8 HTML5で導入される機能のひとつvideo要素への注目が高まっている。HTML5が標準仕様として策定され主要ブラウザが機能を実装すれば、現在はプラグインやアドオン、エクステンションを追加することで実現している機能が、そのままネイティブにブラウザで動作するようになる。そうした機能のひとつにvideo要素がある。 H.264ライセンス懸念解消、HTML5 Video問題は継続 | エンタープライズ | マイコミジャーナル HTML5動画プレーヤSublimeVideo、Firefoxサポート HTML5動画プレーヤ、SublimeVideoデモ登場 HTML5 video、ブラウザ対応状況とコーデックまとめ YouTubeがHTML5 Videoサポート、Firefoxはサポートしない 米YouTube、ビデオレンタル、HTML5対応プ
新着記事一覧 【特別企画】コンパクトで多機能なA4カラー複合機 - リコー IPSiO SP C301Sの魅力に迫る [10:00 2/24] 【特別企画】中小企業/SOHOユーザーのためのオフィスプリンタガイド 2010年春 [10:00 2/24] 【特別企画】スモールオフィスに導入しやすい省スペース・低コスト追求「ジャスティオ」 [10:00 2/24] Xerox、特許侵害でGoogleとYahoo!を提訴 [09:49 2/24] 【連載】ほぼ別世界講座 第41回 首都圏を守る「地底神殿」はここにあった! 首都圏外郭放水路 [09:00 2/24] 【レポート】今こそFlashポートフォリオが攻め込むとき - Adobeのプラットフォーム戦略 [09:00 2/24] 【レポート】Azureの国内事例も紹介! 「Microsoft Tech Days 2010"Bes
NECは、同社が開発した映像品質の客観評価技術がITU-T SG9における映像品質の客観評価方法に関する国際標準規格「J.249」の1方式として採用されたことを明らかにした。 同技術は、量の画像特徴量を用いて映像品質(QoE:Quality of Experience)の客観的な評価を自動で行う技術で、送信元の映像画面から少量の特徴量を抽出・送信し、受信端末側でこの特徴量と受信映像の特徴量を比較することで品質を評価。特徴量は、画面を16×16画素のブロックに分割し、各ブロック内の輝度の分散に相当する簡易な特徴量として算出。品質チェックを行う際に送信元の映像が不要で、抽出された少量の特徴量だけあれば、サービス運用中でもリアルタイムにチェックすることが可能だ。また、配信経路のさまざまなポイントで品質評価できるため、システム障害の発生箇所を素早く見つけることが可能となる。 また、圧縮処理前の元映
開米のリアリスト思考室: 協調性がなかったから、独立した 独立した人に理由を聞くと「やりたいことがあった。会社の中ではできないことだった。好きなことを仕事にしていきたかった」といった答えが返ってくるもの。しかし先日会った人からは意外な言葉が返ってきたのです。(09/20) 開米のリアリスト思考室: 話があちこち飛ぶ上司への対処法 口頭で話があっちこっちに飛ぶ、アイデア先行の思い付き型。そんな人が上司だった場合、その話を実務に収束させるためにどのような工夫ができるでしょう?(09/04) 読解力図解力と教える技術の謎解きブログ: ロジカルシンキングでは感情を覆せない 知人がブログで紹介していたリンク先が、デマ記事だったとき。本人にそれを伝えたら、意外な言葉が返ってきました。(02/18) 説明書を書く悩み解決相談室: ロジカルよりも大事なこと――心に響く切り口は当事者でなければ分からない 前
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)=プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明=プログラム , ( {、 { ヽ.ー、、 \、__ぃ._ゝ⌒ヾ iヾ)}、_ ン_ー-_二ー-, 〉 {厶 _、ヽ _ ヽ._>'´ / /,ィ/ / ハYヘい ,. -- 〃⌒ r−-、 ィ´ 〃 ,イ/7' ,イイ/ 小ヽ 丶、 ,. ‐ '´ハ i ″`ヽ、 、ヽ、 /幺ィ {从{小込v' jゥ仏厶川リ} YV, 小 Vj. |丶 ヽ ` ー-ミー--'_,辷三彡
[注意] わかりやすい表現を心がけたため、一部理論的に厳密でない表現や、 曖昧な部分などあると思いますが、ご了承ください。
独立行政法人情報通信研究機構(以下「NICT」という。理事長:宮原 秀夫)は、公立はこだて未来大学(学長:中島 秀之)との共同研究として、「有限体上の離散対数問題」について、これまでの世界記録を大幅に上回る676ビット長(10進数で204桁に相当)の計算に挑戦し、解読に必要なコンピュータの能力評価に初めて成功しました。公開鍵暗号では、この問題の計算が困難であることが安全性の根拠となっています。今回の成果は、現在広く利用されている1024ビット長の暗号が直ちに安全でなくなったことを示すわけではないものの、より強い暗号技術を将来導入する必要があることを示唆する結果であることから、国際標準を決定するISOや、我が国の電子政府に採用すべき暗号を推奨するCRYPTRECプロジェクトなどの場において、その導入時期を検討するための重要な技術的根拠となります。 現代の情報システムには、情報セキュリティの観
TeX is a typesetting system designed and mostly written by Donald Knuth. Bram Stein氏がTeX line breaking algorithm in JavaScriptにおいて、JavaScriptでKnuth/Plass行分割アルゴリズムを実装した例を紹介している。Knuth/Plass行分割アルゴリズムはTeXで使われている行分割アルゴリズム。これをJavaScriptで実装し、HTML5 Canvas要素経由で表示するというもの。TeX line breaking algorithm in JavaScriptではそれ以外にもCSS text-align: justifyの表示結果や、左寄せ、左寄せをベースに使った中寄せ、可変幅の例が掲載されている。 TeX line breaking algorit
NECエレクトロニクスは、携帯電話関連の国際展示会「Mobile World Congress」(2010年2月15日~18日、スペイン・バルセロナ)において、英ARM社のプロセッサ・コア「Cortex-A9」を4つ搭載したプロセッサを展示した。ARMアーキテクチャの高性能プロセッサという分野で、シェアをつかもうとしているようだ。 ストレージや通信、民生機器向け半導体のベンダーである米Marvell Technology Group社(以下Marvell社)は、米国最大の家電ショー「2010 International CES」(2010年1月7日~10日、米ネバダ州ラスベガス)において、世界初のARMアーキテクチャのクアッド・コア(コアが4つ)プロセッサを開発したと発表している。しかし、詳細を明らかにしていない。Marvell社のプロセッサがARM社のCortex-A9に基づいているのか
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く