日本国憲法を論理プログラミング言語で表記し、Q＆A方式で分かりやすく表示してくれる「論理憲法」を使ってみた
日本の最高法規である日本国憲法の条文を論理プログラミングを用いて表記し、日本国憲法の内容をQ＆A方式で分かりやすく表示してくれるウェブアプリ「論理憲法」を使ってみました。 論理憲法 http://bitlaw-jp.github.io/logicon-system/index.html 「論理憲法」のトップ画面はこんな感じ。画面中央に質問内容を設定する選択ボックスが配置され、その下に設定した質問内容が表示されています。初期設定では「天皇ってなに？」という質問が表示されていたので、そのまま「質問する」をクリックして回答を見ることにしました。 回答の表示はこんな感じ。左側に「論理憲法」のプログラム実行結果が表示され、右側には「天皇は日本国の象徴です。(第1条)」「天皇は日本国民統合の象徴です。(第1条)」という回答が表示されています。このように「論理憲法」では日本国憲法の内容を簡潔に分かりやす
原美術館が東京での活動を終了。「原美術館ARC」へ引き継がれる理念とは
原美術館が東京での活動を終了。「原美術館ARC」へ引き継がれる理念とは1979年に開館して以来、約40年にわたって日本の現代美術シーンを牽引してきた原美術館が、1月11日をもって東京での活動を終えた。春以降、「原美術館ARC」として群馬で活動する同館。その今後について、原美術館館長の内田洋子に話を聞いた。 文＝橋爪勇介（ウェブ版「美術手帖」編集長） 原美術館 2021年1月11日、原美術館が東京における約40年の活動に幕を降ろした。長年にわたり、日本の現代美術を国内外に発信してきた同館は今後どのような活動を展開していくのか。現在同館館長を務める内田洋子に話を聞いた。 原美術館の歴史 今後を語る前に、まず原美術館の歴史を振り返っておきたい。原美術館は、原俊夫（原美術館を運営するアルカンシエール美術財団理事長）が祖父・原邦造の私邸を美術館として改修し、1979年12月に開館させたプライベートミ
Amazonとたたかいます。｜加藤尚徳
はじめまして。加藤尚徳と申します。普段は情報法に関連した研究を行っている身ですが、今回、それとは少し違った活動を行っていきます。 私のお知り合いの方は既に色々とご存じかも知れませんが、なぜ、Amazonとたたかうことを決めたのか、その理由をご説明します。きっかけは非常に個人的ですが、たたかう理由は個人に閉じないものです。是非、多くの方に興味をもってご覧いただければ幸いです。 また、Amazonとたたかう（訴訟する）にあたって生じる訴訟費用について、皆さんのご支援をお待ちしております（個人的クラウドファンディング）ので、こちらもご協力をいただえければ幸いです。ここで、「なぜクラウドファンディングのプラットフォームを使わないの？」と疑問に思われた方もいらっしゃると思います。実は私も、当初はクラウドファンディングのプラットフォームを利用しようと思っていたのですが、理由あって利用を断念しました。こ
Slack ソケットモードの最も簡単な始め方 - Qiita
ソケットモード（Socket Mode）とは？ Slack は、2020 年に開催された年次イベント Frontiers にて「ソケットモード」という Slack アプリの新しい通信方式を発表しました。 これまでの Slack アプリ開発では、イベント API やモーダル送信、ボタンクリック、スラッシュコマンドなどのインタラクティブな操作のハンドリングには、公開された Web エンドポイントを用意して Slack からのリクエストを受信する必要がありました。 ソケットモードは、これを WebSocket での接続に切り替えることができる機能です。昔から Slack アプリやボットに慣れ親しんでいる方であれば Hubot や RTM (Real Time Messaging) API のように接続できる方式という言い方がわかりやすいかもしれません（RTM との違いについては、こちらのコメント
オープンな技術で開発進む通知システム「WebPush」を簡単に使ってみるJavaScriptプログラム
前回の雪かき事故を知らせるアプリの通知先はiPhoneアプリでしたが、AndroidやパソコンのChrome, Firefox, Edgeでは、W3Cでオープンに規格化が進む WebPushこと「Push API」が使用可能とのことで、実験してみました。 コマンドラインから、webから、結構手軽に通知が送れるのでなかなか楽しく、便利です！うまく使えば、気になる情報のチェックや、リマインドに大きく力を発揮してくれそうです。 本ブログにもそのうち追加しようと思いますが、ひとまず、実験できるプログラム一式ができたので、公開します。 WebPushは、各ブラウザベンダーが運用している通知サーバーにデータを送って、そこから各ブラウザへと通信される仕様のようです。 Node.js 用のライブラリを使って、通知用の設定と、コマンドラインで送信するツール、Deno で作ったサンプル通知管理サービスと、クラ
AWS Systems Manager Session Manager を使って、手元のマシンから楽してEC2へ接続する - hekiblo
概要 AWS Systems Manager Session Manager（以下Session Manager）を使用している環境でEC2 に接続する場合、色々と面倒なことがわかりました。 面倒事 Session Manager はマネジメントコンソールから利用する場合「マネジメントコンソールにログイン -> 接続先のEC2 インスタンスを探す -> Session Manager を使用して接続」という流れになります。 毎回この手順を踏むのは面倒ですし、SSH のように手元のマシンから接続できないのは不便なので、AWS CLI を使いたくなります。 ただし、AWS CLI + Session Manager の場合でも、接続先のEC2 インスタンスのインスタンスID を調べるためにマネジメントコンソールから確認する必要がありました。 これは非常に面倒なので、この手順をスキップして接続で
Oracle DatabaseがGraalVMを搭載、DB上でJavaScriptを実行可能。Pythonやほかの言語もサポートしていくと
Oracle DatabaseがGraalVMを搭載、DB上でJavaScriptを実行可能。Pythonやほかの言語もサポートしていくと オラクルは、最新データベース「Oracle Database 21c」を含む「Oracle Autonomous Database」を、Oracle Cloud上で無料で利用できる「Always Free」で提供開始したと発表しました。 「Oracle Database 21cは、世界で最も強力なコンバージド・データベース・エンジンの提供というオラクルの戦略を継続します。」発表資料はこちら https://t.co/DH13zechSx #database #データベース #OracleLive pic.twitter.com/o5huPbw6Hp — Oracle Japan/日本オラクル (@Oracle_Japan) January 14, 20
たった1万円台のRISC-V CPU搭載＆Linuxの動作に対応したお手頃コンピューターボード「BeagleV」
現代のコンピューターのほとんどがx86やARMといったクローズドなアーキテクチャを採用する中で、プロセッサ業界に革新をもたらす鍵として注目されているのが、オープンソースの命令セット・RISC-Vです。そんなRISC-Vを搭載し、Linuxの動作にも対応した119ドル(約1万2400円)のコンピューターボード「BeagleV」が発表されました。 BeagleV https://beagleboard.org/static/beagleV/beagleV.html x86やARMはプロセッサのアーキテクチャとして多くのシェアを勝ち取っていますが、利用するためには高額なライセンス料を支払う必要があり、プロセッサ市場への新規事業者の参入障壁となる点などが問題視されてきました。オープンソースのRISC-Vは誰でも無料で利用できるため、普及すれば他業界や研究機関によるプロセッサ開発の垣根を下げ、安価な
無料の統計学講座が開講、多変量データの解析法を学べる | Ledge.ai
画像は『「統計学Ⅲ:多変量データ解析法」講座PV ～ gacco：無料で学べる大学講座』より オンライン講座サイト「gacco（ガッコ）」では2021年1月14日から、日本統計学会と日本行動計量学会の協力のもとに作成した「統計学Ⅲ:多変量データ解析法」が開講される。受講料は無料。 『「統計学Ⅲ:多変量データ解析法」講座PV ～ gacco：無料で学べる大学講座』より 実際のデータは複数個の測定項目からなる多変量データであることが多く、そのようなデータの統計解析手法の学習は、統計手法の現実問題への応用で極めて重要なものと言える。本講座では、多変量解析法を実際のデータに適用する際の注意点や実際の応用例を中心に学習できる。 『「統計学Ⅲ:多変量データ解析法」講座PV ～ gacco：無料で学べる大学講座』より 講師は、横浜市立大学データサイエンス学部教授の岩崎学氏、大阪大学大学院人間科学研究科
Kubernetes で cgroup がどう利用されているか - VA Linux エンジニアブログ
はじめに 利用した環境 cgroup の階層構造 例：CPU やメモリの制限 例：PID 数の制限 例：CPU コアの排他的割り当て まとめ 執筆者 : 山下雅喜 はじめに cgroup とは、Linux カーネルの機能の1つであり、プロセスやスレッドが利用するリソースの制限や分離を行うための機能です。 cgroup は名前空間の機能と共に、Linux コンテナの根幹を成す技術の1つでもあります。 Kubernetes において、名前空間は PID 名前空間、ネットワーク名前空間、マウント名前空間などで利用者の目に触れやすい存在ではありますが、cgroup は相対的に目に付きにくいもののように感じています。 そこで今回は、Kubernetes のいくつかの機能を例に挙げ、cgroup がどう利用されているか見ていきます。 利用した環境 利用したソフトウェアおよびバージョンは次の通りです。
若手から見たリモートワーク時代のチームビルディング | BLOG - DeNA Engineering
2020 年 4 月にコロナの影響による緊急事態宣言が発令されて久しい今日この頃ですが、多くの会社でリモートワークが余儀なくされ働き方が大きく変わりました。 DeNA がリモートワーク可能な体制へと迅速に切り替えていく中で、私自身リモートワークによる業務が9割以上を占めました。私や私の所属するチームだけでなく日本中でも働くことに対する考え方が大きく変わるタイミングだったのではないでしょうか。（DeNAでは緊急事態宣言が発令される前には全社的にリモートワークがすでに可能なレベルにまで整備され、とてもスピーディーにリモートワークへと移行できました。制度や勤務体制など様々な整備をしてくださったことにとても感謝しています。） その中で、私たちがチームのコミュニケーションや課題を改善するためにどう工夫したのかをお伝えすることで読んでくださる方のチームのチームビルディングの一助にして欲しいと願っていま
TwitterのドーシーCEO、トランプ氏のアカウント凍結について11連投ツイートで語る
米Twitterのジャック・ドーシーCEOは1月13日（現地時間）、同社を含む多数のインターネット上のサービスがドナルド・トランプ米大統領をサービスから排除したことについて、長い連投ツイートで語った。「トランプ氏のTwitterアカウントを永久凍結したことについて、私は称えることも誇らしく思うこともない。Twitterは同氏に警告した後、入手した情報に基づいてアカウントの持続がTwitter内外での安全に対する脅威になると判断した。これは正しかっただろうか？」というのが最初のツイートだ。 「インターネットと世界規模の公共の会話は、人類の共通の理解と地球の平和構築のための最善かつ最適な方法だと信じている。だが、現在はそうなっていないことも認識している。われわれは今回学んだことに基づいて、改善していく必要がある」 「Twitterでアカウントを凍結することには重大な影響が伴う。アカウント凍結は
浄土真宗の僧侶です。初めて書き込みます。 不慣れなため、先ほど書いた..
浄土真宗の僧侶です。初めて書き込みます。 不慣れなため、先ほど書いた文章がすべて消えてしまい心折れかけましたが、やはり大事なことなので、増田さんに伝わればと願って改めて書き直します。 お祖父様のことをお悔やみ申し上げるとともに、今回このような形で、増田さんやお母様が悲しまれる結果になってしまったこと、痛惜に堪えません。 結論から言わせていただくと、リモート葬儀それ自体に否はありません。そんなもので台無しになるのが仏の教えならば、仏法は2500年も受け継がれたりなどしません。 私から言わせれば、死者を軽んじ、葬儀を台無しにしているのは、ご親族の方だと思います。 葬儀とは「弔(とむら)い」であります。弔いとは元来、「訪(とぶら)い」という字を用いました。これは遠近様々な場所から死者の元へと人々が訪れる様子を意味していますが、決してそれだけではありません。 死者に出会うということは、まだ生きてい
OpenAPI SchemaからTypeScript Code Generatorを作ったので紹介します
他言語からTypeScriptに変換する記事を観測したので、JSONSchemaを経由してTypeScriptのコードに吐き出すライブラリを作りました。本記事のコアロジックの部分を抽出した形です。 OpenAPI TypeScript Code Generatorとの違いとして、ルートの名前空間を廃止しているので、割と自由に書ける様になってます。 https://www.npmjs.com/package/@himenon/jsonschema2ts
Next.js + microCMS + VercelでJamstackなブログ付き個人サイトを作る - あなたとあなたの話がしたい
妻の歌人としてのブログ付き個人サイトをリリースしたので、技術的な観点をまとめておきたい。 Jamstack これがサイトの構成図で*1、最近流行りのJamstackというアーキテクチャで作ってみた。 Jamstackは、静的サイトジェネレーターを用いてCMS等で管理するコンテンツをビルド時にすべて取得して、ユーザーアクセス前に用意しておいたHTML、CSS、JavaScriptをCDN経由で配信することで、画面遷移が非常に速い優れたパフォーマンスのサイト構築を可能にする。 CMS更新時のWebhook通知で自動デプロイする仕組みを入れることで、開発者がソースコードを触ることなく、サイト編集者で完結したサイト更新を行うことができるため、ビジネスから趣味の活動まで、静的サイト開発・運用の手段として有力な選択肢になるだろう。 静的サイトジェネレーター Next.js, Nuxt.js, Gats
2021年版、フロントエンドとバックエンドのデベロッパーに必要なスキルやツールをまとめたロードマップ
フロントエンドのデベロッパー、バックエンドのデベロッパー、開発・運用に必要なスキルや知識、ツールやテクノロジーをステップバイステップのフローにまとめたロードマップを紹介します。 2021年、フロントエンドやバックエンドのデベロッパーが次に何を学べばよいか、キャリアアップのための道筋がコンパクトにまとめられています。 Developer Roadmaps Developer Roadmaps -GitHub フロントエンド デベロッパーのためのロードマップ バックエンド デベロッパーのためのロードマップ 開発・運用のためのロードマップ フロントエンド デベロッパーのためのロードマップ 2021年版、フロントエンド デベロッパーになるためのステップバイステップガイドです。PDFもダウンロードできます。 Frontend Roadmap.pdf フロントエンド デベロッパーのためのロードマップ
VSCodeのGitHubリポジトリに対する不正なPushアクセス
はじめにMicrosoftは脆弱性の診断行為をセーフハーバーにより許可しています。 本記事は、そのセーフハーバーを遵守した上で発見/報告した脆弱性を解説したものであり、無許可の脆弱性診断行為を推奨する事を意図したものではありません。 Microsoftが運営/提供するサービスに脆弱性を発見した場合は、Microsoft Bug Bounty Programへ報告してください。 要約VSCodeのIssue管理機能に脆弱性が存在し、不適切な正規表現、認証の欠如、コマンドインジェクションを組み合わせることによりVSCodeのGitHubリポジトリに対する不正な書き込みが可能だった。 発見のきっかけ電車に乗っている際にふと思い立ってmicrosoft/vscodeを眺めていた所、CI用のスクリプトが別のリポジトリ(microsoft/vscode-github-triage-actions)にま
高度に成熟したAIの「睡眠不足」が問題視されている - ナゾロジー
人間に近づいた時、AIに起こる問題 現在の機械に睡眠は必要ありません。 パソコンにはスリープ機能がありますが、これは別に機械に睡眠が必要なわけではなく、単に電気代節約のための機能です。 では、省エネ目的以外に機械が眠る必要とは何なのでしょうか？ その変化は、生体脳を模倣したAIシステムが、私達の生活を1日中支援している機械に組み込まれたとき起きると考えられています。 この可能性はある実験中に発覚しました。 ロスアラモス国立研究所では、人間の学習行動を厳密にシミュレーションした神経ネットワークを開発し、それがどのように動作するか調査していました。 このシミュレーションで確認していたのは、見たものを学習するという行為についてです。 たとえば、子どもに見た目の異なる動物をグループ化させるという作業をさせた場合、知らない動物であってもライオンとペンギンを別のグループに分類します。 こうした見たもの
君にピッタリの自由へ、一緒に。新料金プラン「povo」誕生｜au
＜新規・他社/UQからの変更のお客さま＞ 契約手続きを順次行うため、混雑時には完了まで数日かかる場合があります。 eSIMをご選択された場合の契約手続きは、9時~20時に行います。 完了後、登録いただいたメールアドレスにご連絡いたします 。 ＜auからの変更のお客さま＞ 夜間にお申し込みの場合、翌朝6時以降、 順次povoをご利用いただけるようになります。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
AMD、Zen 3アーキテクチャ採用のモバイル向けCPU
