気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
3 usersがブックマーク
1
1
GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.
3 users
github.com/subsetpark
github.com/subsetpark
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.
This document consists of two chapters. Every Pantagruel chapter has a head and a body, separated... This document consists of two chapters. Every Pantagruel chapter has a head and a body, separated by a horizontal line. In the first chapter head we introduce some vocabulary. Vocabulary is of two basic kinds: domains, which represents sets or types of things; and procedures, which represent behaviours with, or relationships between, things of a certain type. In the first chapter body we make some
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
comic-days.com
blog.tinect.jp
www.oricon.co.jp
comic-action.com
togetter.com
gigazine.net
togetter.com
k-tai.watch.impress.co.jp
developer.medley.jp
www.itmedia.co.jp
gigazine.net
www3.nhk.or.jp
prtimes.jp
urata-tree.jp
2022/03/21 リンク