→ポインティングデバイス
「米田埋め込みの書き方（色々ありすぎ）」において、米田埋め込みの記法がたくさんあることを紹介しました。別名／別記法の氾濫は、鬱陶しくて面倒な事ですが、メリットもあります。それは、用途・場面に応じて適切な呼び名と記法が選べることです。今言った「適切さ」は、メンタル／エモーショナル、あるいは認知的な「適切さ」です。だって、別名／別記法の指す対象物〈denotation〉は同一なので、「何を指すか」に違いは無いのですから。もうひとつ、記法には機能性・効率性があります。例えば、「視認性の良し悪し」「誤解されるリスクの大小」「短さ・簡潔さ」などの評価基準があります。$`\newcommand{\cat}…
ランキング参加中映画 www.youtube.com 『スパイダーマン：アクロス・ザ・スパイダーバース』について擦っていこうと思います｡ 日本ではまだ未公開なので､早め早めに書いていこうと思います｡ 『スパイダーマン：アクロス・ザ・スパイダーバース』には僕が発見できた中で20 個ほどのイースターエッグがあるので、紹介していきます｡ 言うまでもないことですが、以下には『スパイダーマン：アクロス・ザ・スパイダーバース』の重大なネタバレが含まれます。新しい映画をまだ見ていない場合は、今すぐ戻ってください。 また､こちらの記事も読んでいただくと尚理解ができると思います｡ happeningday.ha…
晴れ、のち曇り。夜に雨。25度。 ７時に起きる。 朝餉は、蜂蜜とヨーグルトをかけたバナナ、レタス・キャベツ・玉葱・カニカマ・バジルのサラダ、味噌汁（とき卵・小松菜・玉葱・人参・油揚げ・豆腐）、ハム・卵焼き・レタスのトーストサンドイッチ、アールグレイ。 古書を求める。３冊とも最果タヒ。前２冊はリトルモア刊『夜空はいつでも最高密度の青空だ』、『愛の縫い目はここ』、『星か獣になる季節』（ちくま文庫）。 この女の子が、誰も紡がない言葉を生み出しているというなら、この国はちょっとだけ開き盲だ。 多感な女の子の詩はこういうものなのだ、と気づいてもよさそうなのに。誰も言わないものだから、この女の子は不安に駆…
1本目 NBAルールブックのファール規定の中に 的球をキューで誤って直接撞いた場合（はファール）。ただし、故意に的球を直接撞いた場合はその試合を負けとする とあります。このルールの存在自体は球歴の初期から知っていました。 「的球を誤って撞く」はしばしばありますよね。勢いよく手球を撞き抜いたら、近くにあった的球まで撞いてしまったなんてことはたまにある。自分もちょくちょくやらかすし、見かけることもある。 また、手球の手前に邪魔な的球があって、的球越しに手球を撞こうとしたけど的球を撞いてしまったということもありがち。 これらは球触りということでファールでしょう。 テンパって、的球を手球だと勘違いして…
互いに逆向きな関手のペア $`F:\mathcal{C} \to \mathcal{D}`$ と $`G:\mathcal{D} \to \mathcal{C}`$ を含むような随伴系〈adjunction | adjoint system〉の定義として、次の2つがよく使われます。 自然なホムセット同型 単位と余単位を含む代数系 “単位と余単位を含む代数系”から“自然なホムセット同型”を作る作業は、ストリング図と相性がいいので、（ストリング図を使うなら）比較的簡単です。この記事でやってみます。“自然なホムセット同型”から“単位と余単位を含む代数系”を作るほうは、（僕は）うまくストリング図が描け…
セキュリティ 480 1 30 脆弱性 脅威がつけ込むことができる弱点。セキュリティホールとも。0 情報資産 企業が組織が保有している情報全般0 脅威 情報資産に損害を与える恐れ。0 物理的脅威 火災や地震、侵入者による機器の破壊や盗難など、直接的に情報資産が脅かされる脅威0 技術的脅威 ウイルス、不正アクセス、サーバへの攻撃などにより情報が漏えいしたり失われたりする脅威0 人的脅威 ミスによるデータや機器の破壊、内部犯による確信的な犯行によって情報資産が漏えいしたり失われたりする脅威0 ヒヤリハット 結果として事件・事故には至らなかったが潜在的に事件・事故につながりかねない事象を指す1 セキ…
はじめまして。今回は、パソコン作業における新たなマウスの選択肢として注目されている「トラックボールマウス」の利点についてご紹介します。トラックボールマウスは、従来のマウスとは異なる特徴を持ち、効率的な作業と快適な利用体験を追求することができます。さっそくその利点を見ていきましょう。 1. 動作範囲の制約がない トラックボールマウスは、ボールを回転させることでカーソルを操作します。そのため、デスクトップや作業スペースの制約を受けずにマウスを使用することができます。マウスパッドや平らな表面も必要ありませんので、デスクの上がすっきりと整理されます。 2. 腕や手首への負担が軽減される 従来のマウスで…
AIが人間を超えることってあるのだろうか。 既に物理的な制約は超えられている。たとえば計算速度だ。 とはいえ飛翔能力だって、走る速さだって動物に劣っているのだし。 人間が優れているのは、おそらく知能以外の何かだよ。 生産性 医療 教育 リスク 用語
最近 Macbook Pro + Parallels の可能性に魅力を感じています。 www.free-denshi.life 一方で、Windows でも結構いい感じの性能が出せるマシンがあるだろう、という反骨精神も持っていたりします。 その思いを胸にネットの海を漂っていたところ、なんともいい感じの端末を見つけました。 Dell の New Precision 3480 というモバイル ワークステーションです。 www.dell.com ワークステーションを一言で言うと、「業務用に利用される、高性能な PC」 です。 モバイルということで、そのノート PC 版になります。 その構成を眺めなが…
MX570は名機として有名なトラックボールです。 僕自身も初めて使ったトラックボールで最初こそはボール操作に戸惑ったものの、2-3日で手に馴染み、手を移動させないで良いということの素晴らしさに気づかせてくれました。 そういうわけで、業務・プライベートではこれまでずっとLogicoolのMX570を使っていたんだけど、この度MX ERGOへ替えることにしました。 ロジクール ワイヤレスマウス トラックボール 無線 MX ERGO MXTB1s Unifying Bluetooth 8ボタン 高速充電式 MXTB1s windows mac iPad OS ワイヤレス マウス ブラック 国内正規品…
雲南省天文台の月レーザー測距研究・実験 雲南省天文台の月レーザー測距研究・実験 | 中国レーザー -- 中国光学ジャーナルネットワーク (opticsjournal.net) から引用した ダウンロード: 1536 回 雲南省天文台における月レーザー測距の研究と実験 取得 。.PDF 全文 チャート 論文概要 メトリック もっとその リー・ユーチャン 1,2 フー・ホンリン 1 リー・ロンワン 1,2,* タン・ルーフェン 1 李珠蓮 1,2 ジャイ・ドンシェン 1,2 チャン・ハイタオ 1 パイ・シャオユ 1 イップ・ヒョンギ 3 シオン・ヤオヘン 1 著者所属 測定 レーザー測距 レーザー…
「チャットAIで形式証明も自然言語混じりで書ける（はず）」と「自然言語証明から形式証明を抽出できる（はず）」で述べたように、自然言語を使って形式証明が書けるようになるだろうと予測（むしろ期待）してます。しかし、自然言語であろうが形式言語であろうが、ものごとをハッキリと述べるための枠組みは必要です。この枠組みの記述には、当面は形式言語のほうが有利でしょう。「自然言語ヒント／キュー前提の形式証明の書き方」への補足の形で、枠組みの記述法を述べます。$`\require{color} \newcommand{\Keyword}[1]{ \textcolor{green}{\text{#1}} } \n…
記号の乱用〈記法の{乱用 | 濫用} | abuse of notation〉は、ものごとを分かりにくくして誤解と混乱のもとになります。しかし、非常に広く使われていて、使わないで済ますことが困難です。人間にとってだけではなく、プログラミング言語や証明支援系などのソフトウェアが記号の乱用を解釈・処理するのも難しい課題となっています。$`\newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\In}{\text{ in } } `$内容： 記号の乱用の例と型クラス 付点半群の例 相対指標と相対モデル 相対モデル・データベースと検索 記号の乱用の例と型クラス記…
ガウディ －バルセロナの風－発売元:ウルフチーム発売時期:１９８９年６月定価:９８００円対応機種：:PC-8801mkIISR以降ディスク７枚組 １９９２年に開催されるバルセロナオリンピック。その開催地スペインを題材にしたら注目度が高くなるぜ！…という事だったのだろうか？本作はスペインを舞台にしたサスペンスアドベンチャーゲームである。 なお、この時期ウルフチームの８８ゲームは、２Ｄ版と２ＨＤ版の両方をリリースする試みを行っており、本作も両バージョンが発売されている。８８で２ＨＤドライブが搭載されているのはＭシリーズとＶＡシリーズのみ。２Ｄ版はディスク７枚組だったが、２ＨＤ版は３枚組だった。ただ…
www.100shiki.com
xtech.nikkei.com
ja.wikipedia.org
blogpal.seesaa.net
ukgk.g.hatena.ne.jp
ascii.jp
news.ameba.jp
render.s73.xrea.com
