ロジバンでPrologプログラミングしてみた！ - Qiita
ロジバンの紹介 今回発表する言語はロジバンという言語です。 聞いたことがないかもしれないので、まずはその紹介からです。 ロジバンというのは、元々、基本的に人間が話すために作られた人工の言語です。 最初はサピア＝ウォーフの仮説という言語学上の問題を検証するために作られた言語ですが、元々言語学者が作った下敷きからスタートしているので、色々と面白い性質があります。 例えば下の様な感じです。 音中心で設計されていて、同音異義語が原理上存在しない 文法が厳格に決められていて、構造に曖昧さが表れない 一階述語論理をベースに組み立てられている 文化非依存 この様な性質を持っていることから、ロジバンで話しかけたり、書かれたりした文は、命題としてプログラムが実行可能という性質を持っています。 特に日本語や英語では根本に持っている構造的な曖昧さが発生しないというのが大きくて、日本語では解析不可能な長文でもプロ
Memory Safe ‘curl’ for a More Secure Internet
Memory safety vulnerabilities represent one of the biggest threats to Internet security. As such, we at ISRG are interested in finding ways to make the most heavily relied-upon software on the Internet memory safe. Today we’re excited to announce that we’re working with Daniel Stenberg, author of ubiquitous curl software, and WolfSSL, to make critical parts of the curl codebase memory safe. ISRG i
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
