携帯型ゲームPC新モデル「ROG ALLY X」は6月2日に登場。ASUSが予告動画を公開
携帯型ゲームPC新モデル「ROG ALLY X」は6月2日に登場。ASUSが予告動画を公開 編集部：千葉大輔 2024年5月10日，ASUSTeK Computerは，ゲーマー向け製品ブランド「Republic of Gamers」（以下，ROG）の公式YouTubeチャンネルで公開した動画にて，携帯型ゲームPC「ROG ALLY」の新モデル「ROG ALLY X」を6月2日に発表すると予告した。また，これに合わせて，公式SNSでは，ティザー映像の公開も始まっている。 ROG ALLY Xは6月2日に正式発表となる予定だ 動画によるとROG ALLY Xは，既存のROG ALLYのマイナーアップデート版と位置付けられるもので，筐体の新設計や搭載CPUの変更といった大規模な改良は行われないという。その一方で，メインメモリ容量や内蔵ストレージ容量の増量や，バッテリー駆動時間の改善などを予定する
アップル、目で iPhoneやiPadを操作するアイトラッキングを追加。乗り物酔い防止や振動で感じる音楽などアクセシビリティ機能強化 | テクノエッジ TechnoEdge
ガジェット全般、サイエンス、宇宙、音楽、モータースポーツetc... 電気・ネットワーク技術者。実績媒体Engadget日本版, Autoblog日本版, Forbes JAPAN他 アップルは、毎年5月に行われれる世界各地でアクセシビリティを考える一日（Global Accessibility Awareness Day：GAAD）に合わせ、障害を持つ人たちに新たな体験を提供すべく、アップル製品への複数の新機能追加を発表しました。 今回発表された新機能のうち、iPhoneやiPadを対象とするものとしては、アイトラッキング(Eye Tracking)機能をはじめとして、カスタマイズ可能なVocal Shortcuts機能、Music Haptics機能、Vehicle Motion Cues機能などがあります。 アイトラッキングまず、一般ユーザーでも気になりそうなアイトラッキング機能は、
“たためるバイク”実機を見てきた 量産はする？ 代表に聞く
箱型に変形し、有事の際はバッテリーとしても使える電動バイク──心の中の少年をくすぐられる、こんな乗り物をご存じだろうか。名前は「TATAMEL BIKE」。スタートアップのICOMA（東京都大田区）が手掛ける製品だ。 すでにオーダーメイド販売で30台ほどを販売しており、5月15日には新たに受注販売を開始。将来的に量産する意欲もあるという。同社はTATAMEL BIKEを誰に、どのように提供していくのか。15日から16日にかけて、東京ビッグサイトで開催されたスタートアップ展示会「SusHi Tech Tokyo 2024 Global Startup Program」で、ICOMAの生駒崇光代表に話を聞いた。 公道も走れる「たためるバイク」 TATAMEL BIKEは名前の通り、手動で折りたたんで運搬できる電動バイクだ。原動機付自転車として公道を走行可能で、3時間の充電で約30km走れるとい
存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
Amber The Programming Language
Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.
1ML - core and modules united
Description 1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language. It is described in the following papers: Andreas Rossberg. 1ML — core and modules united. ICFP 2015. Andreas Rossberg. 1ML — core and modules united (Extended). 2015. Expanded version including Technical Appendix. Andreas Rossberg. 1ML — core and modules un
Functional Programming in Lean - Functional Programming in Lean
Functional Programming in Lean by David Thrane Christiansen Copyright Microsoft Corporation 2023 This is a free book on using Lean 4 as a programming language. All code samples are tested with Lean 4 release 4.1.0. Release history January, 2024 This is a minor bugfix release that fixes a regression in an example program. October, 2023 In this first maintenance release, a number of smaller issues w
Programming Language and Theorem Prover — Lean
Programming Language and Theorem Prover
F*: A Proof-Oriented Programming Language
Introduction F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml. Various fragments of F* can also be extracted to F#, to C or
NetBSD Commit Guidelines
The following Commit Guidelines define the Project's standards for making commits to the source tree: If you are not sure if the code you plan to commit is acceptable (e. g. when taking code that was submitted with a problem report), ask a developer who is familiar with that part of the system for review. If you're new to the Project, check with your sponsor. If you commit code that was not writte
What's New in Neovim 0.10 | g.p. anders
Neovim 0.10 was the longest release cycle since the heady days of the 0.5 release. There are a ton of new features in this release (as well as some breaking changes), so be sure to check the full release notes. You can view the release notes directly in Nvim with :h news. The news file includes information on new features, deprecations, and breaking changes. I especially urge plugin authors to rea
山善“コンセントに刺さない”家電 売上100億円を狙う新シリーズは成功なるか？
山善は5月13日、リチウムイオンバッテリーを活用する新家電カテゴリー「ELEIN（エレイン）」を発表した。コンセプトは「新しいバッテリーが人を自由にする」で、第1弾商品として16商品を用意。6月上旬から順次発売する。同社家庭機器事業部長の中山尚律氏によると、初年度の売り上げは5億円を見込んでいるという。 ELEINのメイン商品は、同社初となるリチウムイオンバッテリー（想定価格1万2000円前後）。同シリーズの商品全てに共通して使用できるバッテリーで、PD20W／Type-C出力機能を搭載。モバイルバッテリーとしても使用が可能だ。 リチウムイオンバッテリーの充電器（同3000円）も併せて販売する。同シリーズのバッテリーを、約2時間でフル充電できるという。
79歳 わたせせいぞう氏が最新作で描くLGBTやハンディキャップ…不寛容の時代に贈る“多様な愛”/デイリースポーツ online
79歳 わたせせいぞう氏が最新作で描くLGBTやハンディキャップ…不寛容の時代に贈る“多様な愛” 拡大 1980年代、都会の恋愛模様をフルカラーで描いて大ヒットした漫画『ハートカクテル』の作者・わたせせいぞう氏による同シリーズ最新作『ハートカクテル カラフル』(小学館)が１７日に発売される。亀梨和也や満島ひかりらが声優を務め、ＮＨＫで昨年放送されたアニメの原作本。「多様性」と「福祉」をテーマに、７９歳になった今も現役の漫画家として時代と向き合う作風が新鮮だ。わたせ氏の思いを都内のオフィスで聞いた。 画業５０周年となる今年、２月に同作アニメのサウンドトラック音源も収録したＣＤが発売されていたが、今回、ファン待望の書籍化が実現した。四季の風景と共に現代の“多様な愛”を描いた１５編が収められ、うち３編にはＬＧＢＴの恋模様が自然な形でストーリーに組み込まれている。 例えば、「パーフェクト・ガールフ
ｉＰｈｏｎｅで決済可能に…アップルが１６日から開始、日本は９か国目（読売新聞オンライン） - Yahoo!ニュース
米ＩＴ大手アップルは１５日（日本時間１６日）、ｉＰｈｏｎｅ（アイフォーン）を決済端末として使用するサービスを１６日から日本で開始すると発表した。国内でのアイフォーンの利用拡大につなげる狙いがある。 【写真】iPhoneを店舗の決済端末として、客がスマホをかざす タッチ決済に対応したビザやＪＣＢなどのクレジットカードで支払いができるほか、数か月以内に日本のアップルストアでもタッチ決済が利用可能になるという。サービスはアイフォーン１０以降の端末で利用できる。 飲食店などを運営する事業者は「エアペイ」や「スクエア」といったアプリを通じ、アイフォーンを決済端末として利用できる。店舗にとっては専用の決済端末導入にかかるコストが不要となるほか、アップルは決済手数料を取らないとしており、利用に伴う追加負担が生じない点もメリットになりそうだ。
Apple、iPhoneのタッチ決済を日本で提供開始
iPhoneのタッチ決済により、事業者はiPhoneとパートナーの対応iOSアプリを使うだけで、非接触決済のクレジットカードやデビットカード、Apple Pay、その他のデジタルウォレットにシームレスかつ安全に対応できます。 東京 Appleは本日、ローカルビジネスが、対面での非接触決済にiPhoneだけで対応できる「iPhoneのタッチ決済」の提供を日本で開始しました。これからは中小規模の事業者から大型小売店まで、お持ちのiPhoneを使って、シームレスかつ安全に、非接触決済のクレジットカードやデビットカード1、Apple Pay、その他のデジタルウォレットに対応できるようになります。使用するのはiPhoneとパートナーの対応iOSアプリだけで、その他のハードウェアや決済端末は必要ありません。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ASUS ROG Ally X Handheld Official: Same AMD Ryzen Z1 APU But Upgraded With Bigger Battery, More RAM & Storage In Black Design
GitHub - Ph0enixKM/Amber: 💎 Amber the programming language compiled to bash
Amber Documentation
GitHub - rossberg/1ml: 1ML prototype interpreter
GitHub - leanprover/lean4: Lean 4 programming language and theorem prover
GitHub - FStarLang/FStar: A Proof-oriented Programming Language
F* – A Proof-Oriented Programming Language | Hacker News
Juice Sucking Servers
Swift sucks at web serving… or does it? – Wade Tregaskis
Swift sucks at web serving or does it? | Hacker News
GitHub - odin-lang/Odin: Odin Programming Language
NetBSD support by andreas-jonsson · Pull Request #3439 · odin-lang/Odin
Odin programming language now supports NetBSD | Lobsters
Release 0.4.0 · buzz-language/buzz
Release 0.4.0 · buzz-language/buzz | Lobsters
NetBSD Foundation 🚩 (@netbsd@mastodon.sdf.org)
NetBSD bans all commits of AI-generated code | Lobsters
What's New in Neovim 0.10 | Lobsters