Community-Powered Clojure Documentation and Examples | ClojureDocs
Clojure is a concise, powerful, and performant general-purpose programming language that runs on the JVM, CLR, Node.js, and modern mobile and desktop web browsers. New to Clojure and not sure where to start? Here are a few good resources to get you off on the right foot: Rich Hickey's Greatest Hits (videos)Clojure for the Brave and TrueClojure from the Ground Up4Clojure (learn Clojure interactivel
Compojure - Wikibooks, open books for an open world
Compojure is an open source web framework for the Clojure programming language. It emphasizes a thin I/O layer and a functional approach to web development.
C++ Reference Project
C Library The elements of the C language library are also included as a subset of the C++ Standard library. These cover many aspects, from general utility functions and macros to input/output functions and dynamic memory management functions: <cassert> (assert.h)C Diagnostics Library (header)<cctype> (ctype.h)Character handling functions (header)<cerrno> (errno.h)C Errors (header)<cfenv> (fenv.h)F
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
わかりやすい技術文章の書き方
誰が読むのか。 読み手にどんな感想を持ってもらいたいか。 読み手はどれくらいの予備知識を持っているか。 読み手はどんな目的で、何を期待して読むのか。 読み手が真っ先に知りたいことは何か。 レポート・論文とは何か 問いが与えられ、または自分が問いを提起し、 その問題に対して明確な答えを与え、 その主張を論理的に裏付けるための事実・理論的な根拠を提示して、主張を論証する。 標準的な構成要素とは何か レポート・論文の構成は、 概要 序論 本論 論議 という要素が標準的である。次にそれぞれの要素について簡単に見てみる。 概要 論文全体を結論も含めて、すべて要約する。 序論 本論で取り上げる内容は何か。 その問題をどんな動機で取り上げたのか。 その問題の背景は何か。 その問題についてどんなアプローチを取ったのか。 本論 調査・研究の方法・結論 論議 自己の議論・結論を客観的・第三者的に評価する。 そ
ブログやメールの文章力をアップ！ 執筆に役立つページ3つ - はてなブックマークニュース
ブログやメールなどで文章を書く機会が増えている昨今、「もっと上手な文章を書きたい！」と願う人が多くいるようです。そこで、はてなブックマークで話題になった文章術に関する記事を「執筆」「推敲」「校正」に分けてご紹介します。 1.執筆 How to write Japanese precisely この記事では、「伝えたいこと」があることを「文章を書くための最低条件」とし、文章にとって最も大切なことは「正確さ」であると書かれています。そして、「1.伝えたいこと／あふれる思い」「2.正確さ／曖昧さの排除」「3.豊かさ／軽やかさ」「4.バランス感覚／素直さ」「5.内容の構成」「6.思いきり／吟味する」が順に解説されます。技術者の方によって書かれているためか、非常に論理的に解説されていて、分かりやすくまとまっています。 2.推敲 あなたの文章を（ほんの少し）綺麗に見せる九つのテクニック。 - Some
Clojure Programming - Wikibooks, open books for an open world
People come to Clojure from a variety of backgrounds. The purpose of this book is to help everyone get the most out of the Clojure language. It is not meant as a replacement for the documentation, found at the Clojure site. Please do not copy material from there to here! Feel free to post your own code, written in the Clojure language, here. However, please do not post excerpts, patches or other m
Object Computing, Inc. - Java News Brief - March 2009
Introduction The goal of this article is to provide a fairly comprehensive introduction to the Clojure programming language. A large number of features are covered, each in a fairly brief manner. Feel free to skip around to the sections of most interest. Please send feedback on errors and ways to improve explanations to mark@objectcomputing.com, or fork the repository and send a pull-request. I'm
Top (CFFI User Manual)
cffi Copyright © 2005 James Bielman <jamesjb at jamesjb.com> Copyright © 2005-2015 Luís Oliveira <loliveira at common-lisp.net> Copyright © 2005-2006 Dan Knapp <danka at accela.net> Copyright © 2005-2006 Emily Backes <lucca at accela.net> Copyright © 2006 Stephen Compall <s11 at member.fsf.org> Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associ
#feature
JavaScript is disabled on your browser. Please enable JavaScript to use correctly mesosadmin frontend Please login Login Password Forgot your personal password ? We can remind you
Unix Toolbox
This document is a collection of Unix/Linux/BSD commands and tasks which are useful for IT work or for advanced users. This is a practical guide with concise explanations, however the reader is supposed to know what s/he is doing. Whether you're interested in setting up a secure VPN connection, managing your own Hosting environment, working with Graphics tools, or implementing robust Security meas
Arc: Table of Contents
Table of Contents Basics The foundation: a guide to the core axioms of the language. Assignment and places: how places (generalized variables) are used in Arc. Boolean operations Iteration: Looping and iteration Conditionals Evaluation List operations Macros Math Predicates String operations Table operations Type operations Variable operations OS functions Networking Atomic operations: performing
DPANS94
American National Standard for Information Systems Programming Languages Forth Secretariat Computer and Business Equipment Manufacturers Association Approved: March 24, 1994 American National Standards Institute, Inc. Copyright (c) 1994 by Technical Committee X3J14. All rights reserved. This is a working document of Technical Committee X3J14 which represents the last draft of ANS Forth submitted t
XSS (Cross Site Scripting) Cheat Sheet
XSS (Cross Site Scripting) Cheat Sheet Esp: for filter evasion By RSnake Note from the author: XSS is Cross Site Scripting. If you don't know how XSS (Cross Site Scripting) works, this page probably won't help you. This page is for people who already understand the basics of XSS attacks but want a deep understanding of the nuances regarding filter evasion. This page will also not show you how to
Regular Expressions Cheat Sheet (V2) - Cheat Sheets - Added Bytes
Overview The Regular Expressions cheat sheet is a one-page reference sheet. It is a guide to patterns in regular expressions, and is not specific to any single language. This is the second version of the Regular Expressions cheat sheet. The previous version can be found at http://www.addedbytes.com/cheat-sheets/regular-expressions-cheat-sheet-version-1/. If you like the cheat sheets, and want t
Studying HTTP
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネット(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2024年5月時点の調査。
The Scheme Programming Language, 3rd Edition
The Scheme Programming Language Third Edition R. Kent Dybvig Illustrations by Jean-Pierre Hébert Table of Contents Preface Chapter 1. Introduction Section 1.1. Scheme Syntax Section 1.2. Scheme Naming Conventions Section 1.3. Typographical and Notational Conventions Chapter 2. Getting Started Section 2.1. Interacting with Scheme Section 2.2. Simple Expressions Section 2.3. Evaluating Scheme Expres
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Vim Commands Cheat Sheet
Intel iQ Japan -