タグ

2021年3月13日のブックマーク (5件)

  • IOC会長、22年北京冬季五輪ボイコットに自制呼び掛け

    国際オリンピック委員会(IOC)のトーマス・バッハ会長(2021年3月10日撮影)。(c)AFP PHOTO / IOC / GREG MARTIN 【3月13日 AFP】国際オリンピック委員会(IOC)のトーマス・バッハ(Thomas Bach)会長は12日、中国におけるイスラム系少数民族ウイグル人の扱いをめぐり2022年北京冬季五輪のボイコット論が出ていることについて、アスリートが犠牲になるだけだと訴えた。 【関連記事】元国連大使も米の北京五輪ボイコット主張 共和党の要求高まる 中国政府は現在、同国北西部にある新疆ウイグル自治区(Xinjiang Uighur Autonomous Region)でウイグル人などの少数民族に対してジェノサイド(大量虐殺)が行われているとして、人権団体や一部の国の政府から高まる批判の声にさらされている。 人権団体は、同自治区ではウイグル人をはじめとするイ

    IOC会長、22年北京冬季五輪ボイコットに自制呼び掛け
    pmint
    pmint 2021/03/13
    日本では聖火ランナーやボランティアのボイコットが進んでいる。そもそも夏の開催さえ危ぶまれているんだから、冬にできるわけがないけど。
  • Draft.js

    Extensible and CustomizableWe provide the building blocks to enable the creation of a broad variety of rich text composition experiences, from basic text styles to embedded media. Declarative Rich TextDraft.js fits seamlessly into React applications, abstracting away the details of rendering, selection, and input behavior with a familiar declarative API. Immutable Editor StateThe Draft.js model is

  • プログラムに潜むトラブルの原因を探索する - エムティインターナショナル株式会社

    pmint
    pmint 2021/03/13
    COBOLコードをダイアグラム化するツールの紹介
  • シナリオ関数について

    閉じる ChatGPTで生成されたプログラムの品質、 セキュリティ面でアシストする「Research Lite 」がリリースされました。 次世代プログラムの在り方と時代に合わせた 品質向上を追求するサービスです。 ぜひ一度お問い合せください。 お問合せはこちらへ シナリオ関数とは 『潜在バグのないバグレスプログラミングの開発方法』です。 地球上のあらゆる電子機器で稼働しているプログラムが実行中に突然トラブルを起こす原因である潜在バグ(来のバグを指す)を含む不完全なプログラム開発方法の世界から、100%完全体であるプログラムを開発できる方法になります。 シナリオ関数化プログラム技術の効果 <1>コンピュータウイルス侵入時の無力化 <2>デッドロックの防止 <3>テストレスの実現 <1>、<2>は、同期アルゴリズムの仕組みで実現します。 <3>は、Semanticsチェック(生成データ経路の

    シナリオ関数について
    pmint
    pmint 2021/03/13
    「データフロー図を描いたら分かりやすかった!」という体験が元になっているんだろうか。ステートチャートやStateパターンに発展しそう。あとは既存用語を独自のものに置き換えただけか。独自用語の羅列は語彙不足。
  • What&WhyLYEE?

    【特別寄稿】 モデリング化技術と最新版LYEEについて LYEE新版情報処理装置特許申請中 (特願)2014-096414 弊社が推進しているモデリング化技術は最新版LYEE論文がベースになってます。弊社がなぜLYEEを採用したかの背景を最新版LYEEの解説を加えて述べさせて頂きます。 システム開発に関わる技術者共通の課題である「テスト工数の大幅な削減」すなわち開発済みプログラムを検証する技術「データパスルートの解明」をLYEEにより導き出す事が可能である事と確信し、モデリング化技術として完成させました。現時点でLYEE理論が公理の世界を表現できる唯一の方法論でもありました。 なお文は発明者である「根来 文生氏」の許諾のもと根来文生氏の講義内容の抜粋に解説を加えております。 ―目次―モデリング化技術でのモデルベース開発にLYEE理論の採用背景 プログラムの公理(品質検証の基準)に関して

    pmint
    pmint 2021/03/13
    「要求通りの処理を書けるかは、開発手法による。これが公理だ」と。単に語彙が足りないだけの文章。