Webページに簡単に埋め込むことができるオープンソースのテキストエディタであるCKEditorの開発元が、リアルタイム共同編集機能を実装するにあたってのこだわりや工夫について公式ブログに投稿しています。 Lessons learned from creating a rich-text editor with real-time collaboration https://ckeditor.com/blog/Lessons-learned-from-creating-a-rich-text-editor-with-real-time-collaboration/ CKEditorは以下のような見た目のツールです。 共同編集機能を実装するにあたり、CKEditorでは以下の点にこだわったとのこと。 ・コンテンツをロックしない 同時に複数人が同じ段落や表、リストなどを編集できるようにする。 ・
先日行われた July Tech Festa 2018 で、モデル検査を使った分散アルゴリズムの検証について発表してきました。 前半はオートマトンによるシステムの記述と検査の基礎について、後半は三種類のツール SPIN、TLA+、P による記述方法の紹介、といった内容です。 後半のソースコード紹介が散文的な感じになってしまって、いまいちメリットが伝わらない感じだったので、次回があればもっとエモいスライドにしようと思います。 分散アルゴリズムの形式化 定理証明による検証 今回の話の流れとして「分散システムにはモデル検査が有効」と述べていますが、必ずしも定理証明が分散システムの検証に向かないという趣旨ではありません。 例えば、定理証明器 Coq によって分散システムを証明するためのフレームワークとして Verdi が開発されています。 github.com さらに、Coq は実行可能なコードも
研究開発成果 2024年度 国際会議論文 Yusuke Miyake, Ryuji Watanabe, Tsunenori Mine, Online Nonstationary and Nonlinear Bandits with Recursive Weighted Gaussian Process, The 48th IEEE International Conference on Computers, Software, and Applications (COMPSAC 2024) (to appear) 国内査読無し論文 畑中 遼, 渡辺 龍二, 三宅 悠介, 鳥海 不二夫, C2Cマーケットにおけるユーザ復帰の予測可能性と連動性, 2024年度 人工知能学会全国大会(第38回), 4C1-GS-11-02, pp.1-4, 2024年5月. 口頭発表 黒瀧 悠太 リザバーコンピ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く