タグ
- すべて
- .NET (51)
- 2ch (58)
- AI (275)
- AMD (15)
- API (54)
- ARM (43)
- AWS Lambda (18)
- ActiveRecord (17)
- Advent Calendar (28)
- Apple (95)
- C (92)
- C# (37)
- C++ (83)
- CI (66)
- COVID-19 (459)
- CPU (68)
- CSS (251)
- CSV (15)
- ChatGPT (92)
- Chrome (313)
- Chrome OS (21)
- Chromebook (21)
- C言語 (30)
- DB (83)
- DNS (41)
- Debian (17)
- ECMAScript (27)
- Edge (31)
- Eight (23)
- F# (15)
- FRP (23)
- Fintech (21)
- Firefox (107)
- Flash (41)
- GC (27)
- GMO (37)
- GPU (30)
- GTD (28)
- GUI (48)
- Git (260)
- Gmail (26)
- Google (454)
- Google Apps Script (18)
- Google Home (38)
- Google+ (23)
- GraphDB (16)
- GraphQL (52)
- IDE (41)
- Intel (34)
- IoT (96)
- JIT (15)
- Java (257)
- JavaScript (1280)
- Kubernetes (117)
- LGBT (34)
- LINE (56)
- LLM (114)
- LLVM (42)
- LaTeX (49)
- Lua (39)
- Mac (73)
- Mastodon (36)
- Microsoft (188)
- Monad (76)
- NHK (38)
- Neo4j (15)
- NoSQL (22)
- OCaml (46)
- OS (27)
- Oracle (46)
- P2P (21)
- PDF (43)
- PHP (38)
- PostgreSQL (96)
- PowerShell (44)
- PureScript (51)
- Qiita (27)
- R (29)
- RDB (26)
- RDBMS (21)
- REST (21)
- Raspberry Pi (16)
- Ruby (540)
- SEO (23)
- SIer (15)
- SQLite (18)
- SVG (37)
- Safari (23)
- Sansan (50)
- Selenium (29)
- Swift (47)
- TCP (28)
- TDD (18)
- TLS (19)
- Twitter (222)
- UI (47)
- UX (16)
- Unity (16)
- V8 (18)
- VR (38)
- Visual Studio (18)
- Visual Studio Code (53)
- WASI (88)
- Web API (37)
- WebRTC (21)
- WebSocket (18)
- Webデザイン (251)
- Windows (330)
- Windows 10 (59)
- XML (16)
- XSS (28)
- Yesod (39)
- YouTube (34)
- accessibility (47)
- amazon (74)
- android (439)
- aws (169)
- azure (38)
- bash (49)
- benchmark (18)
- bot (23)
- cabal (65)
- canvas (24)
- chromium (26)
- cli (114)
- clojure (80)
- cloud (81)
- conduit (22)
- cookie (20)
- coq (18)
- cui (17)
- cybozu (19)
- ddd (20)
- devops (20)
- dhall (21)
- docker (243)
- dropbox (26)
- eclipse (15)
- electron (26)
- elixir (21)
- elm (252)
- emacs (26)
- emoji (33)
- erlang (25)
- eta (15)
- ethereum (19)
- excel (45)
- facebook (120)
- framework (37)
- gem (27)
- ghc (367)
- github (298)
- gitlab (51)
- go (90)
- golang (105)
- google cloud platform (38)
- haskell (3706)
- haskell-jp (40)
- heroku (28)
- html (163)
- html5 (111)
- http (58)
- http2 (28)
- https (23)
- iOS (139)
- iPad (19)
- iPhone (74)
- ie (40)
- iij (109)
- intellij (21)
- jQuery (33)
- jenkins (18)
- json (120)
- jvm (41)
- kindle (23)
- kintone (18)
- kotlin (84)
- language server protocol (19)
- lens (48)
- linux (380)
- lisp (33)
- markdown (49)
- microservices (22)
- moongift (29)
- mysql (133)
- neovim (106)
- news (344)
- nginx (16)
- nix (24)
- node (56)
- node.js (194)
- note (71)
- npm (54)
- oauth (17)
- oss (254)
- pandoc (18)
- perl (19)
- python (239)
- rails (189)
- react (166)
- redis (19)
- rspec (29)
- rust (476)
- scala (78)
- security (970)
- servant (42)
- serverless (43)
- shell (36)
- slack (96)
- sns (212)
- sony (20)
- sql (112)
- ssh (55)
- stack (95)
- svelte (30)
- systemd (18)
- test (17)
- tips (269)
- tmux (30)
- trouble (69)
- tutorial (28)
- typescript (224)
- ubuntu (109)
- unicode (40)
- unix (25)
- vim (372)
- vue.js (26)
- wasmer (26)
- webassembly (881)
- webpack (20)
- webサービス (898)
- いつか (320)
- いつか読む (21)
- お金 (30)
- かわいい (26)
- けものフレンズ (29)
- これはすごい (61)
- これはひどい (88)
- はてな (35)
- まとめ (255)
- アジャイル (33)
- アニメ (104)
- アプリ (56)
- アメリカ (177)
- アルゴリズム (117)
- イギリス (30)
- イベント (154)
- インターネット (123)
- インド (56)
- ウクライナ (42)
- エディタ (25)
- エネルギー (17)
- エロ (42)
- オブジェクト指向 (28)
- オリンピック (29)
- オープンソース (38)
- カルト宗教 (26)
- キーボード (20)
- グラフ (23)
- ゲーム (144)
- コミュニケーション (77)
- コンビニ (21)
- コーディングスタイル (17)
- サイボウズ (27)
- サーバ (39)
- サーバー管理 (31)
- スポーツ (52)
- スマホ (51)
- スマートフォン (59)
- セキュリティ (92)
- セクハラ (29)
- チャット (20)
- テスト (271)
- テレビ (47)
- デザイン (48)
- デバッグ (120)
- デマ (71)
- データベース (64)
- データ構造 (35)
- トランプ大統領 (26)
- ドキュメント (45)
- ドメイン (23)
- ネタ (572)
- ネット (20)
- ネットワーク (45)
- バグ (19)
- バージョン管理 (19)
- パスワード (29)
- パーサー (24)
- ビットコイン (33)
- ビルドツール (33)
- フォント (29)
- フリーソフト (20)
- ブラウザ (181)
- ブラック企業 (21)
- ブログ (36)
- ブロックチェーン (45)
- プラグイン (52)
- プリキュア (238)
- プレゼンテーション (32)
- プログラマ (29)
- プログラミング (299)
- プログラミング言語 (89)
- プロジェクト管理 (25)
- プロファイリング (20)
- マスコミ (88)
- マナー (20)
- マネジメント (32)
- マンガ (29)
- マーケティング (20)
- メディア (17)
- メルカリ (17)
- メール (45)
- モナド (34)
- ライセンス (17)
- ライブラリ (121)
- リモートワーク (27)
- ログ (38)
- ロシア (74)
- ローコード (65)
- ワクチン (57)
- 並列処理 (42)
- 並行処理 (36)
- 中国 (183)
- 中国語 (21)
- 乱数 (18)
- 人工知能 (37)
- 人生 (100)
- 仕事 (642)
- 企業 (144)
- 会社 (34)
- 例外 (36)
- 依存型 (22)
- 個人情報 (81)
- 健康 (77)
- 分散処理 (44)
- 労働 (240)
- 勉強会 (21)
- 動画 (51)
- 北朝鮮 (22)
- 医療 (176)
- 原発 (72)
- 図書館 (22)
- 圏論 (42)
- 圧縮 (28)
- 地図 (19)
- 地震 (25)
- 型 (68)
- 型レベルプログラミン (34)
- 声優 (25)
- 夏時間 (87)
- 大学 (55)
- 婚活 (78)
- 学問 (81)
- 学校 (48)
- 宗教 (33)
- 寄付 (31)
- 就活 (44)
- 差別 (70)
- 広告 (119)
- 形式手法 (16)
- 心理 (56)
- 心理学 (16)
- 思想 (25)
- 性 (50)
- 性犯罪 (16)
- 恋愛 (33)
- 戦争 (40)
- 手前味噌 (197)
- 投資 (54)
- 携帯 (21)
- 政治 (414)
- 教育 (346)
- 数学 (148)
- 文化 (74)
- 文字コード (28)
- 旅行 (24)
- 日本 (450)
- 日本語 (107)
- 映画 (16)
- 暗号 (51)
- 暗号通貨 (82)
- 最適化 (27)
- 本 (107)
- 東京 (27)
- 東京オリンピック (37)
- 東日本大震災 (65)
- 検索 (71)
- 機械学習 (148)
- 欲しい (74)
- 正規表現 (71)
- 歴史 (148)
- 法律 (157)
- 海外 (20)
- 漫画 (43)
- 災害 (67)
- 炎上 (42)
- 無線LAN (24)
- 犯罪 (158)
- 環境問題 (59)
- 生活 (47)
- 男女 (158)
- 画像 (159)
- 画像作成 (20)
- 画像処理 (53)
- 痴漢 (28)
- 監視 (29)
- 研究 (23)
- 社会 (71)
- 社会学 (26)
- 科学 (81)
- 税金 (45)
- 組織 (61)
- 経営 (42)
- 経済 (105)
- 結婚 (56)
- 統計 (81)
- 考え方 (369)
- 育児 (107)
- 自殺 (18)
- 自民党 (63)
- 自然言語処理 (28)
- 芸能 (23)
- 英語 (163)
- 著作権 (104)
- 行政 (61)
- 表現の自由 (42)
- 言葉 (54)
- 言語 (58)
- 言語処理系 (35)
- 設定 (17)
- 設計 (44)
- 詐欺 (47)
- 語学 (21)
- 調査 (17)
- 論文 (24)
- 警察 (38)
- 起業 (55)
- 車 (18)
- 転職 (27)
- 農業 (19)
- 遅延評価 (32)
- 選挙 (56)
- 金融 (25)
- 銀行 (22)
- 開発 (175)
- 関数型 (19)
- 関数型プログラミング (29)
- 防災 (30)
- 障害 (72)
- 電力 (52)
- 電子書籍 (71)
- 静的解析 (38)
- 韓国 (49)
- 音声 (46)
- 音楽 (74)
- 食 (46)
- 香港 (19)
- 高速化 (152)
- haskell (3706)
- JavaScript (1280)
- security (970)
- webサービス (898)
- webassembly (881)
- 仕事 (642)
- ネタ (572)
- Ruby (540)
- rust (476)
- COVID-19 (459)
egisonに関するigrepのブックマーク (6)
-
igrep 2022/11/26
- Haskell
- egison
- 定理証明器
リンク -
-
Haskellライクな構文をEgisonに実装している話 - momologue
これは言語実装Advent Calendar 2019の2日目の記事です。 私は少し前から、楽天技術研究所でEgisonの開発アルバイトをしています。入社してから初めての大きなプロジェクトとしてEgisonの構文を新しくするというのを担当しているので、その紹介と、設計/実装で悩んだ(でいる)ことなどを書こうと思います。 Egisonとは Egisonについて聞いたことがないという人はとりあえず公式サイトを見てほしいのですが、概要としては 表現力豊かなパターンマッチ(非線形パターン*1など) (上のパターンマッチを利用して実装された)数式処理システム を強みとし、プログラムや数式を簡潔に記述できることに重きを置いているプログラミング言語です。 これまでEgisonはS式(Lispのようなカッコが多い文法)の構文を持っていましたが、Lispに習熟している人を除く大抵の人にとってはS式はあまり読
-
プログラミング言語Egison
プログラミング言語 Egison - 直感をそのまま表現するパターンマッチング - Egison は1つの定まった標準形を持たないデータに対しても柔軟なパターンマッチが表現可能なプログラミング言語です。 リストや多重集合、集合、ツリー、グラフなどといった幅広いデータ型に対して、パターンマッチが記述できます。 それにより、Egison プログラマは非常にシンプルにプログラムを記述できるようになります。 -- 素数の無限リストから全ての双子素数をパターンマッチにより抽出 def twinPrimes := matchAll primes as list integer with | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2) -- 最初の10個の双子素数を列挙 take 10 twinPrimes -- => [(3, 5), (5, 7), (11, 13)
-
シェルの弱点を補おう！"まさに"なCLIツール、egzact - Qiita
egzactというコマンドの詰め合わせセットを作ってみました。 → Github きっかけ zipで多重圧縮するのに、$ zip ファイル | zip | tee zip1 | zip | tee zip2 | zip | tee zip3 。。みたいなの出来ない？ #シェル芸 #usptomo — ぱぴろん (@papiron) 2016年3月25日 これはあるシェル芸界隈1の方の発言です。アンチウイルスソフトの動作確認で、多重ZIPされたテストウイルスファイルが必要だったとのことです。何人かの方からアドバイスを頂いていたようですが、残念ながらシェルでサクッっとは結局できなかったご様子でした2。 この事例は、シェル上でのワンライナー（a.k.a シェル芸3）の弱点の一つを如実に表しています。文字列を切り出したり、変換したりというフィルタリングの処理は得意ですが、パターン生成が比較的苦手で
-
dfltweb1.onamae.com – このドメインはお名前.comで取得されています。
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年10月時点の調査。
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
