サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
igrep
id:igrep
●
25,995
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.NET
(51)
●
2ch
(58)
●
AI(249)
●
API
(53)
●
ARM
(42)
●
AWS Lambda
(18)
●
ActiveRecord
(17)
●
Advent Calendar
(28)
●
Apple
(95)
●
C(85)
●
C#
(37)
●
C++
(81)
●
CI(64)
●
COVID-19
(454)
●
CPU
(62)
●
CSS
(237)
●
CSV
(15)
●
ChatGPT
(89)
●
Chrome
(305)
●
Chrome OS
(20)
●
Chromebook
(18)
●
C言語
(30)
●
DB(80)
●
DNS
(38)
●
Debian
(17)
●
ECMAScript
(26)
●
Edge
(31)
●
Eight
(23)
●
F#
(15)
●
FRP
(23)
●
Fintech
(21)
●
Firefox
(106)
●
Flash
(42)
●
GC(26)
●
GMO
(37)
●
GPU
(29)
●
GTD
(27)
●
GUI
(43)
●
Git
(255)
●
Gmail
(26)
●
Google
(444)
●
Google Apps Script
(17)
●
Google Home
(38)
●
Google+
(23)
●
GraphDB
(15)
●
GraphQL
(51)
●
IDE
(38)
●
Intel
(34)
●
IoT
(95)
●
Java
(255)
●
JavaScript
(1237)
●
Kubernetes
(116)
●
LGBT
(34)
●
LINE
(55)
●
LLM
(89)
●
LLVM
(41)
●
LaTeX
(49)
●
Lua
(38)
●
Mac
(71)
●
Mastodon
(36)
●
Microsoft
(186)
●
Monad
(76)
●
NHK
(38)
●
Neo4j
(15)
●
NoSQL
(22)
●
OCaml
(44)
●
OS(26)
●
Oracle
(47)
●
P2P
(20)
●
PDF
(42)
●
PHP
(38)
●
PostgreSQL
(87)
●
PowerShell
(44)
●
PureScript
(51)
●
Python
(233)
●
Qiita
(27)
●
R(29)
●
RDB
(24)
●
RDBMS
(21)
●
REST
(21)
●
Raspberry Pi
(16)
●
Ruby
(539)
●
SEO
(23)
●
SIer
(15)
●
SQLite
(17)
●
SVG
(37)
●
Safari
(22)
●
Sansan
(50)
●
Selenium
(28)
●
Swift
(47)
●
TCP
(27)
●
TDD
(18)
●
TLS
(19)
●
Twitter
(216)
●
UI(40)
●
UX(16)
●
Unity
(16)
●
V8
(18)
●
VR(37)
●
Visual Studio
(18)
●
Visual Studio Code
(52)
●
WASI
(79)
●
Web API
(36)
●
WebRTC
(21)
●
WebSocket
(18)
●
Webデザイン
(237)
●
Windows
(325)
●
Windows 10
(59)
●
XML
(16)
●
XSS
(27)
●
Yesod
(39)
●
YouTube
(34)
●
accessibility
(42)
●
amazon
(74)
●
android
(436)
●
aws
(168)
●
azure
(38)
●
bash
(50)
●
benchmark
(16)
●
bot
(23)
●
cabal
(65)
●
canvas
(24)
●
chromium
(24)
●
cli
(113)
●
clojure
(80)
●
cloud
(81)
●
conduit
(22)
●
cookie
(20)
●
coq
(17)
●
cui
(17)
●
cybozu
(20)
●
ddd
(20)
●
devops
(20)
●
dhall
(21)
●
docker
(241)
●
dropbox
(25)
●
eclipse
(15)
●
electron
(25)
●
elixir
(21)
●
elm
(252)
●
emacs
(26)
●
emoji
(33)
●
erlang
(25)
●
eta
(15)
●
ethereum
(19)
●
excel
(44)
●
facebook
(118)
●
framework
(37)
●
gem
(27)
●
ghc
(367)
●
github
(290)
●
gitlab
(51)
●
go(90)
●
golang
(100)
●
google cloud platform
(37)
●
hash
(15)
●
haskell
(3701)
●
haskell-jp
(40)
●
heroku
(28)
●
html
(152)
●
html5
(110)
●
http
(58)
●
http2
(28)
●
https
(23)
●
iOS
(137)
●
iPad
(19)
●
iPhone
(74)
●
ie(38)
●
iij
(108)
●
intellij
(21)
●
jQuery
(33)
●
jenkins
(18)
●
json
(117)
●
jvm
(41)
●
kindle
(23)
●
kintone
(18)
●
kotlin
(84)
●
language server protocol
(18)
●
lens
(48)
●
linux
(375)
●
lisp
(29)
●
markdown
(45)
●
microservices
(22)
●
mixi
(15)
●
moongift
(29)
●
mysql
(128)
●
neovim
(102)
●
news
(344)
●
nginx
(16)
●
nix
(24)
●
node
(53)
●
node.js
(186)
●
note
(71)
●
npm
(53)
●
oauth
(17)
●
oss
(250)
●
pandoc
(18)
●
perl
(19)
●
rails
(186)
●
react
(149)
●
redis
(19)
●
rspec
(29)
●
rust
(468)
●
scala
(77)
●
security
(949)
●
servant
(42)
●
serverless
(42)
●
shell
(35)
●
slack
(94)
●
sns
(200)
●
sony
(20)
●
sql
(107)
●
ssh
(55)
●
stack
(95)
●
svelte
(27)
●
systemd
(18)
●
test
(17)
●
tips
(269)
●
tmux
(29)
●
trouble
(68)
●
tutorial
(28)
●
typescript
(199)
●
ubuntu
(109)
●
unicode
(40)
●
unix
(24)
●
vim
(368)
●
vue.js
(26)
●
wasmer
(24)
●
webassembly
(841)
●
webpack
(20)
●
webサービス
(893)
●
いつか
(318)
●
いつか読む
(21)
●
お金
(30)
●
かわいい
(25)
●
けものフレンズ
(29)
●
これはすごい
(59)
●
これはひどい
(88)
●
はてな
(35)
●
まとめ
(254)
●
アジャイル
(33)
●
アニメ
(102)
●
アプリ
(56)
●
アメリカ
(168)
●
アルゴリズム
(117)
●
イギリス
(30)
●
イベント
(152)
●
インターネット
(117)
●
インド
(53)
●
ウクライナ
(40)
●
エディタ
(25)
●
エネルギー
(17)
●
エロ
(42)
●
オブジェクト指向
(28)
●
オリンピック
(28)
●
オープンソース
(38)
●
カルト宗教
(25)
●
キーボード
(18)
●
グラフ
(23)
●
ゲーム
(137)
●
コミュニケーション
(73)
●
コンビニ
(21)
●
コーディングスタイル
(17)
●
コードレビュー
(15)
●
サイボウズ
(26)
●
サーバ
(38)
●
サーバー管理
(31)
●
スポーツ
(51)
●
スマホ
(49)
●
スマートフォン
(59)
●
セキュリティ
(92)
●
セクハラ
(28)
●
チャット
(20)
●
テスト
(265)
●
テレビ
(46)
●
デザイン
(48)
●
デバッグ
(119)
●
デマ
(65)
●
データベース
(65)
●
データ構造
(35)
●
トランプ大統領
(26)
●
ドキュメント
(45)
●
ドメイン
(22)
●
ネタ
(568)
●
ネット
(20)
●
ネットワーク
(45)
●
バグ
(19)
●
バージョン管理
(19)
●
パスワード
(29)
●
パーサー
(24)
●
ビットコイン
(33)
●
ビルドツール
(33)
●
フォント
(28)
●
フリーソフト
(20)
●
ブラウザ
(167)
●
ブラック企業
(21)
●
ブログ
(34)
●
ブロックチェーン
(45)
●
プラグイン
(52)
●
プリキュア
(238)
●
プレゼンテーション
(30)
●
プログラマ
(29)
●
プログラミング
(296)
●
プログラミング言語
(86)
●
プロジェクト管理
(25)
●
プロファイリング
(20)
●
マスコミ
(86)
●
マナー
(20)
●
マネジメント
(31)
●
マンガ
(29)
●
マーケティング
(20)
●
メディア
(17)
●
メルカリ
(17)
●
メール
(41)
●
モナド
(34)
●
ライセンス
(16)
●
ライブラリ
(119)
●
リモートワーク
(27)
●
ログ
(37)
●
ロシア
(72)
●
ローコード
(65)
●
ワクチン
(54)
●
並列処理
(40)
●
並行処理
(35)
●
中国
(178)
●
中国語
(20)
●
乱数
(18)
●
人工知能
(37)
●
人生
(99)
●
仕事
(632)
●
企業
(138)
●
会社
(34)
●
例外
(36)
●
依存型
(21)
●
個人情報
(79)
●
健康
(76)
●
分散処理
(43)
●
労働
(234)
●
勉強会
(21)
●
動画
(51)
●
北朝鮮
(22)
●
医療
(172)
●
原発
(69)
●
図書館
(21)
●
圏論
(42)
●
圧縮
(26)
●
地図
(19)
●
地震
(22)
●
型
(63)
●
型レベルプログラミン
(33)
●
声優
(23)
●
夏時間
(86)
●
大学
(54)
●
婚活
(77)
●
学問
(81)
●
学校
(48)
●
宗教
(32)
●
寄付
(30)
●
就活
(44)
●
差別
(68)
●
広告
(117)
●
形式手法
(16)
●
心理
(54)
●
心理学
(16)
●
思想
(25)
●
性
(50)
●
性犯罪
(16)
●
恋愛
(33)
●
戦争
(39)
●
手前味噌
(188)
●
投資
(53)
●
携帯
(21)
●
政治
(395)
●
教育
(341)
●
数学
(146)
●
文化
(74)
●
文字コード
(27)
●
旅行
(24)
●
日本
(443)
●
日本語
(103)
●
暗号
(51)
●
暗号通貨
(82)
●
最適化
(27)
●
本
(106)
●
東京
(27)
●
東京オリンピック
(37)
●
東日本大震災
(65)
●
検索
(68)
●
機械学習
(144)
●
欲しい
(74)
●
正規表現
(71)
●
歴史
(141)
●
法律
(149)
●
海外
(20)
●
漫画
(43)
●
災害
(65)
●
炎上
(42)
●
無線LAN
(24)
●
犯罪
(153)
●
環境問題
(57)
●
生活
(46)
●
男女
(157)
●
画像
(158)
●
画像作成
(18)
●
画像処理
(50)
●
痴漢
(28)
●
監視
(29)
●
研究
(23)
●
社会
(71)
●
社会学
(26)
●
科学
(79)
●
税金
(42)
●
組織
(60)
●
経営
(42)
●
経済
(104)
●
結婚
(55)
●
統計
(79)
●
考え方
(365)
●
育児
(104)
●
自殺
(18)
●
自民党
(63)
●
自然言語処理
(28)
●
芸能
(23)
●
英語
(162)
●
著作権
(102)
●
行政
(61)
●
表現の自由
(41)
●
言葉
(54)
●
言語
(58)
●
言語処理系
(34)
●
設定
(17)
●
設計
(43)
●
詐欺
(44)
●
語学
(21)
●
調査
(17)
●
論文
(24)
●
警察
(38)
●
起業
(55)
●
車
(18)
●
転職
(27)
●
農業
(19)
●
遅延評価
(31)
●
選挙
(54)
●
金融
(24)
●
銀行
(22)
●
開発
(176)
●
関数型
(19)
●
関数型プログラミング
(29)
●
防災
(25)
●
障害
(68)
●
電力
(52)
●
電子書籍
(71)
●
静的解析
(38)
●
韓国
(49)
●
音声
(44)
●
音楽
(73)
●
食
(46)
●
香港
(19)
●
高速化
(144)
●
haskell
(3701)
●
JavaScript
(1237)
●
security
(949)
●
webサービス
(893)
●
webassembly
(841)
●
仕事
(632)
●
ネタ
(568)
●
Ruby
(539)
●
rust
(468)
●
COVID-19
(454)
関連タグで絞り込む (7)
●
Agda
●
comonad
●
Coq
●
Haskell
●
Idris
●
依存型
●
定理証明
タグの絞り込みを解除
coqとhaskellに関するigrepのブックマーク (5)
●
3 users
●
github.com/sweirich
●テクノロジー
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep
2018/01/06
●haskell
●coq
●依存型
●
6 users
●
qiita.com/junjihashimoto@github
●テクノロジー
目的 定理証明支援とは何かと現状の整理。 定理証明支援とは 定理証明支援とは数学の定理を自動で証明することではなく、ステップバイステップでコンピュータに命令を送り、数学の定理を証明するのを助けるシステムである。 支援だから意味ないということでなく、最近の数学の証明は長くなり証明の検証が難しいのを助ける意味がある。定理証明支援の意義についてはこちらが詳しい。 また、信頼性が求めらる難しいアルゴリズムの検証、たとえばTLS(暗号通信)やRaft(分散合意アルゴリズム)のサーバーに利用されつつある。 ここでいう定理は大げさなものだけでなく、$1+1=2$、$0*何か=0$、$a*b=b*a$といった簡単なものを証明しながらどんどん積み上げていく。通常のプログラムと違うのは証明であるので使用する変数が整数ならそのすべての値について成り立つ定理を証明する。 定理を証明するのに使うツールは下記である。
igrep
2017/11/21
●定理証明
●Coq
●Agda
●Haskell
●
3 users
●
github.com/ekmett
●テクノロジー
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep
2015/10/06
●comonad
●coq
●haskell
●
3 users
●
github.com/ekmett
●テクノロジー
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep
2015/10/06
●comonad
●coq
●haskell
●
54 users
●
www.idris-lang.org
●テクノロジー
Idris: A Language for Type-Driven Development Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give
igrep
2013/12/12
●haskell
●Idris
●coq
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第3週︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
GitHub - sweirich/corespec: A Specification for Dependent Types in Haskell (Core)
定理証明支援の紹介 - Qiita
GitHub - ekmett/comonad-extras: Comonad transformers that require Haskell extensions
GitHub - ekmett/comonad-transformers: Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.
Idris: A Language for Type-Driven Development