タグ

ブックマーク / www.itmedia.co.jp (25)

  • 数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」

    このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 英インペリアル・カレッジ・ロンドン(ICL)の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明(形式化)においてその曖昧さが障害になっている」と指摘する。 「=」(等号)にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論

    数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
    metro
    metro 2024/06/10
    代入記号の話はしてないのにブコメは代入記号で大賑わい。馬鹿がたくさん釣れて良かったね
  • 「餃子を焼くと焦げるフライパン」だけ集めたWebサイト、味の素が公開 全国の3520枚を3Dデータ化

    冷凍餃子を焼くと焦げてしまうフライパンだけを集めたWebサイトが登場した。味の素冷凍品が10月13日に公開したもので、全国から提供を受けた3520枚ものフライパンの3Dデータを閲覧できる。 サイトは「冷凍餃子フライパンチャレンジ」というプロジェクトの一環で作成されたもので、「味の素の冷凍ギョーザがフライパンに張り付いた」というTwitter(X)に投稿された声をもとに、同様の経験があるユーザーからフライパンを提供してもらい、研究開発に生かすことを目的としている。キーエンスの協力を得て3Dデータ化し、「我々の研究の途中報告」としてWebサイトで公開したものという。 サイトにはユーザーから提供された各フライパンが並んでおり、クリックすると3Dスキャンされたフライパンを360度自由に見ることができる。提供エリア、直径、フライパンの厚み、重さなどを一覧で表示。「焦げ付き」という項目もあるが、大半

    「餃子を焼くと焦げるフライパン」だけ集めたWebサイト、味の素が公開 全国の3520枚を3Dデータ化
    metro
    metro 2023/10/17
    ティファール多いな。レミパンも発見。リバーライトは見当たらない/傷んだテフロンのフライパンは想像つく。テフロンの働きできないのにテフロンに頼った調理をした結果だろうね/1931凄い
  • メタバース事業、9割が事業化に“失敗”

    メタバースビジネスの取り組み状況に関する設問に対し、「事業化の社内審査がおりた」「事業として既に運営している」ケースについては成功、「事業化に向けた検討が停滞」「検討自体が中止された」ケースは失敗と定義している。 また同レポートでは、失敗事例と成功事例とを比較し、「企画内容・ビジネスモデル」「検討プロセス」「組織・体制」の観点から事業化に失敗する特徴を導き出した。 企画内容・ビジネスモデルの観点からみる失敗層は、メタバースビジネスを既存ビジネスの延長線上に位置づけている傾向がみられた。そのため、“事業”として捉える視点が希薄であり、「キャッシュポイント」が成功層と比較し個数が少なかったり、「コスト」の可視化ができていない企業が多くみられた。 検討プロセスにおいて、失敗層はユーザーへの調査を実施せず、「ターゲットや課題・ニーズ」が曖昧であり、エンドユーザーへの提供価値が小さい企画となっている

    メタバース事業、9割が事業化に“失敗”
    metro
    metro 2023/05/29
    残り一割はまだ失敗する前
  • 電動キックボード、7月1日から免許不要に 条件は最高速度20km以下など 時速6km以下なら歩道も走行

    電動キックボード、7月1日から免許不要に 条件は最高速度20km以下など 時速6km以下なら歩道も走行 警察庁は、電動キックボードの車両区分について定める改正道路交通法を7月1日から施行する方針を明らかにした。最高速度が時速20km以下など一定条件を満たす電動キックボードは、16歳以上であれば免許不要で乗車できるようになる。

    電動キックボード、7月1日から免許不要に 条件は最高速度20km以下など 時速6km以下なら歩道も走行
    metro
    metro 2023/01/19
    免許無しならなんでもアリと思って乗るだろうし実質なんでもアリってこと。信号すら守らないだろう。迷惑千万
  • 0円廃止後も楽天モバイルを「利用している理由」と「解約した理由」:読者アンケート結果発表

    最も回答数が多かったのは、「利用している」の5459人でした。「解約した」と回答したのは2787人でした。 楽天モバイルは2022年5月に「Rakuten UN-LIMIT VII」を発表し、データ容量1GBまで0円とする料金体系を廃止しました。この影響で、4月時点の491万契約から、6月までに14万件が解約。約2.9%のユーザーが楽天モバイルを離れたことになります。一方、アンケートで解約したと答えた人は約30%でした。アンケート実施時期は0円が完全に終わった12月なので単純に比較はできませんが、実際よりも高い比率で解約ユーザーが回答しているといえます。 楽天モバイルを「利用している」理由 Rakuten UN-LIMIT VIIで0円が廃止されたとはいえ、月額3278円(税込み、以下同)でデータ無制限という上限は変わりありません。アンケートでも、月額料金の安さ、無制限のデータ通信をお得に

    0円廃止後も楽天モバイルを「利用している理由」と「解約した理由」:読者アンケート結果発表
    metro
    metro 2023/01/17
    多くは0円期待で契約したわけではないでしょ。楽天ユーザは3G未満利用者ばかりなのかと
  • サーバルームへ“お呼ばれ“した時の正しいコーデって? データセンターに行って考えた【全身1万円の参考プラン付き】

    サーバルームへ“お呼ばれ“した時の正しいコーデって? データセンターに行って考えた【全身1万円の参考プラン付き】(1/5 ページ) Twitter上で「サーバルームに呼ばれた時のコーデ」という投稿が話題になった。ツイートはITネタとして投稿されていたが、ネタではない“真のサーバルームコーデ”を求めてさくらインターネットのデータセンターを見学してきた。 11月下旬、「サーバルームに呼ばれた時のコーデ」という投稿が一部Twitterユーザーの間で話題になった。ツイートには「サーバルームへお呼ばれ」という文言と共に女性のコーディネートの一例が載ったファッション誌の写真が添付されている。この投稿は12月26日時点で約7500RTと約2.7万いいねを集めており、大きな反響を呼んだ。 これは、もともとファッション誌に掲載されていた内容をコラージュした“ネタツイ“(笑いをとるためのツイート)だ。投稿者は

    サーバルームへ“お呼ばれ“した時の正しいコーデって? データセンターに行って考えた【全身1万円の参考プラン付き】
    metro
    metro 2022/12/28
    安全靴はデザインもさまざまで他でも使えて良いよ。DIYやドライビングシューズとして履いてる人いたな/id:vbwmle マリリンモンローでは?
  • ゴキブリを自動で見つけレーザーで殺す装置 数万円で自作も可能

    Innovative Tech: このコーナーでは、テクノロジーの最新研究を紹介するWebメディア「Seamless」を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 スコットランドのHeriot-Watt University、フランスのUniversity Paul Sabatier、英University of Sussexによる研究チームが発表した論文「Selective neutralisation and deterring of cockroaches with laser automated by machine vision」は、ゴキブリを自動的に射殺できるデバイスを提案した研究報告だ。カメラでゴキブリを捉え、その位置にレーザー光を照射して殺傷する。

    ゴキブリを自動で見つけレーザーで殺す装置 数万円で自作も可能
    metro
    metro 2022/10/11
    一方ロシアでは新聞を丸めた
  • Teslaのワクワク感はなぜ伝わらないのか

    iPhoneにタイヤをつけたようなクルマ」と表現されるTesla。IT・ビジネス分野のライターである山崎潤一郎が、デジタルガジェットとして、そしてときには、ファミリーカーとしての視点で、この未来からやってきたクルマを連載形式でリポートします。 2021年の9月に始まった連載ですが、これまでSNSや大手検索サイトの転載記事に対するコメント等で多くのご意見をいただきました。航続距離や充電の利便性、あるいは故障やサービス拠点不足に対する懸念など、アンチEV、アンチTeslaの人々が自己の内奥に堅持する、クルマに対する価値観や信念との対比からTeslaやEVを否定するのは自由です。中には、傾聴に値する意見も散見されますし、「これがEVやTeslaに対する一般的な見方なのか」と再認識させてくれます。 「骨太の方針 2022」では、2035年以降もハイブリッド車の新車販売を継続することが、脚注では

    Teslaのワクワク感はなぜ伝わらないのか
    metro
    metro 2022/07/27
    運転する愉楽も語られず、乗客としての快適さも語られず。断片的なスペックしか語れない。一般客でない野次客にムキになるまえにやる仕事があるだろう。
  • 「新・破産者マップ」が出現 掲載取り下げにビットコインの支払い要求【修正あり】

    自己破産した人の氏名や住所をGoogleマップ上にプロットした「破産者マップ」が公開されたことが6月20日までに分かった。2009年から2018年までの破産者の氏名と住所を掲載しており、6万円分のビットコインを支払えば情報を削除すると主張している。 【修正履歴:2022年6月21日午後4時30分 同マップの主張における不審な点について追記しました。記事でも当初から紹介している通り、個人情報保護委員会は類似するWebサイトについて違法と判断しています。】 地図上に載ったピンの内容(破産者の情報)を非表示にするには6万円分、ピンごと削除するには12万円分のビットコインが必要と記載。支払い後、24時間以内に情報を削除するとして、不備があった際の連絡先としてメールアドレスの記載も求めている。 ただし、盗んだデータから身代金を要求するコンピュータウイルス「ランサムウェア」と同様に、金銭を払ったとし

    「新・破産者マップ」が出現 掲載取り下げにビットコインの支払い要求【修正あり】
    metro
    metro 2022/06/21
    閲覧した方のデバイスがマイニングに使用されるとのことですので、興味本位で見たくなる方はご注意ください
  • ビル・ゲイツ氏、「NFTは大馬鹿理論に基づいている」

    Microsoftの共同創業者で世界長者番付4位のビル・ゲイツ氏は6月15日(現地時間)、米TechCrunch主催のイベントに登壇し、NFT(代替不能なトークン)についての質問に対し、「私は関与しない。当然だ」と応えた。 NFTは「100%、Greater fool theoryに基づいている」とゲイツ氏。Greater fool theoryとは、金融業界で、過大評価された資産でも、自分より愚かな誰かにさらに高値で転売できると踏んで購入することを指す。現実的な価値との乖離が大きくなりすぎれば、価格は大幅に下落する。 ゲイツ氏は、農場や工場など、形あるものを生産する組織に投資することを好み、暗号通貨やNFTには関心がないと語った。 「サルの高価なデジタル画像は世界を大きく発展させるだろうが」と米Yuga Labsが提供する人気NFT「Bored Ape Yacht Club」(BAYC

    ビル・ゲイツ氏、「NFTは大馬鹿理論に基づいている」
    metro
    metro 2022/06/16
    現代美術であったり、経済用語、特に最近はNFT関連でよく使われる慣用句で、ビルゲイツの発明した語ではないよ
  • 今、外部メモリスロットを備えたスマートフォンが減っている理由

    近年のスマートフォンでは、iPhoneだけでなく、Android端末でも外部メモリスロットを使用できない機種も多く存在している。その理由はなぜか、考察したい。 外部メモリスロットを搭載しないスマートフォンの代名詞として、AppleiPhoneが挙げられる。加えて近年ではAndroidスマートフォンにおいても、10万円クラスのハイエンド機種を中心に外部メモリスロットを利用できない機種が販売されている 2021年、日でキャリアが発売した10万円以上のスマートフォンにて、外部メモリスロットを利用できる機種は、ソニーのXperiaシリーズとシャープのAQUOS R6(ソフトバンクより発売のLEITZ PHONE1を含む)にとどまった。SIMロックフリーで展開されたハイエンド機でもASUS Zenfone 8 Flipに限られる。 ハイエンドと呼ばれるスマートフォンで外部メモリスロットが利用でき

    今、外部メモリスロットを備えたスマートフォンが減っている理由
    metro
    metro 2022/05/30
    防水性能や部品点数の増加コスト、可動部増の故障リスク、社外品の追加と意図しないユーザの介入可能性というデメリット多いのは理解できる/容量上げるとびっくりするくらい値段が上がるのはカードも同じ、
  • トレースはもはや「つみ」状態なのか  引用とオマージュと再構築の果てに浮かび上がった問題とは?

    トレースはもはや「つみ」状態なのか  引用とオマージュと再構築の果てに浮かび上がった問題とは?:小寺信良のIT大作戦(1/3 ページ) 2月に入ってからというもの、おそらく一生分の「トレパク」という言葉を目にしたように思う。 人気イラストレーター「古塔つみ」氏の多くの作品が、既存の写真や画像をトレースしたものではないか、またその利用許諾もとっていないのではないかとして、炎上状態にある。 「古塔つみ」氏人はこの騒動について、「引用・オマージュ・再構築として制作した一部の作品を、権利者の許諾を得ずに投稿・販売してしまったことは事実」という声明をTwitterで出している。その一方で、「写真そのものをトレースしたことはございません。模写についても盗用の意図はございません」と、トレースではなく模写であると主張している。 YOASOBIなどを描いたイラストレーターがトレース疑惑で謝罪 「盗用の意図

    トレースはもはや「つみ」状態なのか  引用とオマージュと再構築の果てに浮かび上がった問題とは?
    metro
    metro 2022/02/14
    引用元を示すなどの「引用の要件を満たさない」オマージュと言うには原典へのリスペクトがない、再構成というが解体も再構成もされてない。つまり真っ黒だな
  • 「1Byteが8bitに決まったワケ」についての長い話 まずは「バベッジの階差機関」から

    いつものようにヘロヘロと仕事をしていると、突如担当編集の松尾氏からMessengerで「これに対するちゃんとした回答を書けるのは大原さんだなということで、また歴史物をお願いしたく」という依頼が飛び込んできた。 いやちゃんとした回答も何も、上のTreeで出題されたSEライダー氏が正解を出されているわけですが、歴史的経緯というか、ここに至るまでの話というのが長い訳で、その辺りを少し説明してみたいと思う。 ちなみに出題に少しだけ違和感がある(なぜ10bitがキリがいいと思うのか?)のは、筆者もこっち側の人間だからかもしれない。 回答の前に、その根底にある2進数採用の経緯 そもそも非コンピュータ業界の方からすれば、2進数がベースという辺りから違和感を覚えるのではないかと思う。実際、世界最初の計算機(≠電子計算機)とされる「バベッジの階差機関」(写真1)にしても、世界最初の電子計算機(※1)であるE

    「1Byteが8bitに決まったワケ」についての長い話 まずは「バベッジの階差機関」から
    metro
    metro 2022/02/04
  • Apple、布を発売 1枚1980円

    Appleは、表面を傷つけない柔らかな素材で作られた「ポリッシングクロス」を1980円(税込)で販売開始した。 Nano-textureガラスなど、あらゆるApple製品のディスプレイを安全かつ効率良くきれいにするという。 Apple Pro Display XDRやiMac (Retina 5K, 27-inch, 2020) に付属していたものが単体発売されている。 同製品のヘビーユーザーであるYouTuber、大石結花さんによる製品インプレッションも公開した。 Appleの「布」、実は1年近く愛用しています 関連記事 Appleの「布」、実は1年近く愛用しています 「ポリッシングクロス」はPro Display XDRに付属していたものを単体販売したことで話題になった。その「布」のヘビーユーザーである大石結花さんによるレビュー。 「Macにもノッチ」の理由 新型MacBook Pro

    Apple、布を発売 1枚1980円
    metro
    metro 2021/10/19
    Googleがドアホンを出したほうが驚いた
  • IBM、世界初の2nm半導体技術を発表 バッテリー寿命は7nmの4倍

    米IBMは5月6日(現地時間)、同社研究部門IBM Researchで製造した300mmウェーハ上で、2nmプロセスチップを生み出したと発表した。7nmプロセッサと比較して、約45%の性能向上、あるいは同じ性能レベルでの約75%の電力削減になるとしている。例えば、スマートフォンのバッテリー寿命を4倍にする可能性がある。 第2世代ナノシート技術が2nmノードへの道を開いたとしている。これにより「500億個のトランジスタをほぼ指の爪のサイズのスペースに収めることができる」という。IBMは米AnandTechに対し、指の爪のサイズとは150平方mmのことだと説明した。つまり、トランジスタ密度は1平方mm当たり3億3333万トランジスタということになる。ちなみに台湾TSMCの5nmチップのトランジスタ密度は1平方mm当たり1億7130万トランジスタだ。 IBMは2nmの利点として、スマートフォンの

    IBM、世界初の2nm半導体技術を発表 バッテリー寿命は7nmの4倍
    metro
    metro 2021/05/07
    7nmの読みはなななのなの?
  • Netflix、休眠アカウントに「支払い続けますか? 退会しますか?」確認メール

    Netflixは5月21日(現地時間)、一定期間アクセスしていないユーザーにメールでアカウントをキャンセルするかどうか確認し、反応がなければキャンセルすると発表した。サービスを使っていない人から料金を徴収したくないとしている。 入会後1年以上使っていないか、2年間使っていないユーザーが対象。メールとアプリ内で通知する。反応がなければサブスクリプションを自動的にキャンセルする。 キャンセル後、10カ月はプロフィールや視聴履歴などは保存しておくので、その間に気が変わって再加入する場合は簡単に復活できる。 こうした休眠ユーザーは全ユーザーの0.5%にも満たず、わずか数十万人で、既に業績予想に組み込んであるという。 日の場合、Netflixにはお試し期間はなく、料金プランは月額800円、1200円、1800円の3種類だ。入会したのに忘れている人や、パスワードが分からなくなって放置している人にと

    Netflix、休眠アカウントに「支払い続けますか? 退会しますか?」確認メール
    metro
    metro 2020/05/22
    同じく大儲けしているのにセコいアドビに見習って欲しい
  • 「ありふれた表現」「アイデアの範疇」──グリー逆転敗訴の釣りゲーム訴訟・二審判決文

    争点となった「釣り上げ画面」。GREEの「釣り★スタ」では、竿を投げ、浮きが沈んだらボタンを押す。画面上を激しく動く魚が、円に重なったタイミングでボタンを押して釣り上げる 釣りゲームの著作権を侵害されたとしてグリーがディー・エヌ・エー(DeNA)にゲームの配信差し止めと損害賠償を求めた訴訟の控訴審・知財高裁判決は、グリーの主張を全面的に退け、DeNAの釣りゲームは著作権侵害には当たらないと判断した。 このほど公開された判決文(高部真紀子裁判長)によると、両社の釣りゲームに共通するユーザーインタフェース(UI)などについて、著作権法で保護されない「アイデア」や、釣りゲームならではの「ありふれた表現」だと判決は指摘。具体的な表現は異なっており、DeNA作品からグリー作品の表現上の質的な特徴を直接感得することはできないとして、著作権の侵害を認めなかった。 アイデアと著作権 「アイデア」は著作権

    「ありふれた表現」「アイデアの範疇」──グリー逆転敗訴の釣りゲーム訴訟・二審判決文
    metro
    metro 2012/08/14
    同人誌作者が顏真っ赤にしてパクリだ!って騒いでるのに似てる。そして最高裁へ
  • 「Twitterのせいで留年しました」――女子大生が語る“ソーシャル依存”

    「わたし、Twitterのせいで留年したんです」――こう話すのは、都内の私立大学に通う平岡美優紀さん(21・仮名)。Twitterのほか、Facebook、Instagram、Pathなど複数のツールを使ってきた平岡さん。今年4月、平岡さんにとって2回目の大学2年生が始まった。 平岡さんがTwitterを始めたのは大学に入学した2010年。それまでもmixiなどのSNSを利用していたが「mixiは高校までの友人たちが中心で、Twitterは大学の知り合いがメイン」と、環境の変化に合わせて使用するSNSを変えてきた。 mixiでは日記などを通じた友人とのコミュニケーションが中心だったが、Twitterでは「電車が人身事故で遅れてる、遅刻決定」「あの先生、今日出欠取った?」「この授業終わったらごはんべよう」「今夜飲みに行くけど誰か来たい人!」――など、自分と直接関係がない情報でも、リアルタイ

    「Twitterのせいで留年しました」――女子大生が語る“ソーシャル依存”
    metro
    metro 2012/05/18
    twitterのせいじゃないだろ…
  • 「ハエたたきが当たらない」その理由が判明

    米カリフォルニア工科大学で昆虫の飛行生態について20年間にわたり研究しているマイケル・ディキンソン教授は、ある記者から受けた質問が強く印象に残っていた。その質問とは、「ハエたたきはなぜあんなに難しいのか?」というものだった。 ディキンソン教授はようやくその答えをみつけたという。同大学がこのほど明らかにした。 この問題を解くために同教授が用意したのは、直径14センチの黒い円板が、静止したミバエ(クダモノバエ)に迫りくるところを高速撮影したデジタル写真。同教授らはこの画像を分析することにより、ハエの回避行動特性をつかんだ。 ハエは、飛び去るずっと前の時点で、迫りくる脅威の位置を判断し、回避するための方法を計算する。そして、逃げるのに最適な場所に脚を置き、脅威とは反対の方向にジャンプして逃げ去る。 これらの行動はハエが脅威を発見してからわずか100ミリ秒の間に起きる。 「ハエの頭脳が、知覚情報を

    「ハエたたきが当たらない」その理由が判明
    metro
    metro 2008/09/02
    ブクマで始まる教授叩き。早く逃げろ。攻撃とは逆の方向に。
  • ITmedia +D LifeStyle:「補償金もDRMも必要ない」——音楽家 平沢進氏の提言 (1/4)

    録音・録画補償金やDRMのあり方など、著作物の意義や対価システムが見直されようとしている。消費者にしてみれば、もちろん補償金もDRMもいやだということだけははっきりしているわけだが、権利者の団体はそれによって著作権者の利益が守られるのだと主張する。 だがちょっと待って欲しい。権利者といっても、いつも議論の舞台に登場するのはJASRACを始めとする権利団体だ。当の意味での著作権者である音楽家達は、補償金やDRMなどのことをどう考えているのかという話は、ちっとも伝わってこないのである。 これはどう考えても、議論の席に座る人のバランスとしておかしいだろう。その権利者団体が、果たして正しくミュージシャンなど芸術家の総意を代表していると言えるのかがはっきりしないことには、権利者団体と話し合いをして意味があるのかも、実はわからないのではないか。 実際のプロの音楽家が今日の状況をどのように考えているの

    ITmedia +D LifeStyle:「補償金もDRMも必要ない」——音楽家 平沢進氏の提言 (1/4)
    metro
    metro 2006/06/12