ZetZ、形式的検証機能を備えたCのダイアレクト
原文(投稿日：2020/02/27)へのリンク ZetZ、略してZZは、RustにインスパイアされたCのダイアレクト(diarect, 方言)だ。コンパイル時に仮想マシン内でシンボリック実行することによって、コードの形式的検証を行う。 ZZはハードウェアに近い部分で動作するソフトウェアをターゲットにしているが、クロスプラットフォームなANSI-C準拠のライブラリ構築にも使用することができる。実際には、ZZはCコードのトランスパイラとして、処理結果を任意の標準的Cコンパイラに入力することで動作する。多くの言語が行っている安全性へのアプローチとは対照的に、ZZは、例えば生のポインタアクセスのように"安全でない(unsafe)"と見なした機能の除外や制限は行わない。その代わりに静的単一代入(static single assignment, SSA)を使用して、yices2やz3といったSMTプ
誹謗中傷かどうかよりも、批判の量のほうが問題じゃないかなという話｜けんすう
悲しい事件がおきて、インターネット上での誹謗中傷が問題になっています。 「自分も誹謗中傷されて困っている」「誹謗中傷をやめて」などと、有名な人たちが発言したり、テレビで「SNSが問題だ」と特集組まれたりしています。 で、それに対する解決策がいろいろなところで書かれていますが・・・。 20年くらい、インターネットコミュニティ界隈にいて、自分でも運営をたくさんしてた経験からすると、割と的外れなものも多いんじゃないかと思ったので、筆をとります。 本当はこういう話題を取り上げるのも好きじゃなく、書いても自分にはメリットがまったくない上に、批判を浴びそうなので気がのらないんですが、、、なんとなく書いたほうが社会が前に進む可能性があるなと思ったので書いてみます。 誹謗中傷と批判を分ける意味があまりない結論からいうと、「誹謗中傷と批判をわけてちゃんと考えよう。」みたいな言論を最近良く見ますが、これはあま
開発者コラム 第３話 牌の偏り 後編～初期プログラムの失敗 | オンライン麻雀 Maru-Jan 公式サイト
前回は、確率の偏りのお話の中で、順位や牌の並びが偏るという事を書かせて頂きました。 しかし、このように思われた方もいらっしゃるかもしれません。「、、、と言っても、他の麻雀ゲームに比べて、Maru-Janは特に牌が偏る気がするんだよなぁ。Maru-Janは配牌とか牌山が混ざってないという事はない？」 その答えは、、、、Yesです。 理由について、ご説明したいと思います。 話は１３年以上前、２００２年に私が起業した頃に遡ります。コラムの第1話で書かせて頂いたように、リアルな麻雀に嫉妬？していた私は、本格的な麻雀ゲームを作る会社を立ち上げ、資金集めに奔走していました。 一緒に起業したプログラマーは毎日徹夜のような状況で、プログラムを日々制作してくれていました。 一方であまりの資金の無さに、二人とも無給で働いている状態でした。支援して頂いている方にトウモロコシの差し入れを頂いたり、安売りのサツマイ
すべてのエディタでSQLの自動補完をするためにSQL Language Server(sqls)を作った - Qiita
sqlsとは sqlsとは、いま私が開発中のSQL用Language Serverです。SQLをエディタで編集するときの支援機能を実装したサーバとなっており、主な特徴は以下です。 Language ServerなのでLSクライアントが存在するエディタであればどんなエディタでも利用可能 SQL編集支援機能 自動補完(テーブル名、カラム名など) 定義参照 SQL実行 複数のRDSMSに対応 MySQL PostgreSQL SQLite3 Language Serverとは Language Server(あるいはLanguage Server Protocol)とは、プログラム言語の開発支援機能をエディタに提供するサーバ、およびその通信内容を規定したプロトコルです。ただしサーバといってもほとんどの場合ローカル内にホスティングしてローカルのエディタと通信をします。 ここでは主題ではないので詳し
AWSの膨大で複雑なサービス群をすべて「たった1行」で説明していくとこうなる
AmazonのクラウドサービスであるAWSは、コンピューティングやデータベース、ストレージなど、膨大で複雑なサービスで構成されています。こうした豊富なサービス群をうまく組み合わせて利用する「ビルディングブロック」がAWSのメリットでもありますが、サービス数が多すぎてなかなか全体像を把握できないのも事実。フリーランスのエンジニアでありコンサルタントでもあるジョシュア・テイセン氏が自身のブログで、AWSのすべてのサービスを「たった1行」で説明しています。 Amazon Web Services https://adayinthelifeof.nl/2020/05/20/aws.html テイセン氏によると、Amazon Dashboardから利用可能なAWSのサービスは記事作成時点で163あるとのこと。そのすべてを正確に理解する必要はありませんが、基本を押さえておくことはいいことであり、問題の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
戎崎の科学は一つ
config/bin/sorah-debuild-codebuild at master · sorah/config