yingtai

This is a regular paragraph.

Piyo

Foo	Bar
Hoge

yingtai

自然数の定義

---

ペアノの公理:

以下を満たすような集合 N の要素を自然数とする.

1. O ∈ N

>2. 任意の x ∈ N について s(x) ∈ N このとき s(x) を x の後者と呼ぶ.

yingtai

2.1 意味と像

• 語の意味 ≠ 心的イメージ (mental image). "赤" の意味 ≠ 赤の心的イメージ.

ex. "5" や (一般的な) "三角形" に相当する心的イメージはない.

フレーゲの見解: 例えば "赤" の名前が指すものは主観的な印象ではなく、客観的な性質である. "純粋に直観的なものは伝達不可能."

現代哲学では "私的意味" と公共的な領域の区別の存在は疑わしい.

yingtai

6259685222800322711619182247142210069562580937690422560416664375511245182019089988816218893943603970959537419863161454321217501389662821807565207694995485141934757010120588290244030146628626779307470903730598390908513207033632964646798378979610823087762485593933830520941519016270064432225836381485794785166483739877753992501627867996661288088204435971478737944044252898624005304508882808228745821486143285220272358145415344908085031308944252046807646858645264596453349460413869984542663299628799062678195810382952743058000019827561764640480043836127288823265157803877787439594040486826581333156598472721871965296835382696425125520570526239033941508557341104992686837257013446689083189951175335992118743492265047420640095719339313257107311658055174903162130411277374371315318470530235108790735807848200147230229643252552389342881903953928210142105146485470339590162259275289400465528127601376247061620241390700941024354396322908546015630164665254314415080452440212350073734959906322079759195800358766141047909238996760772468

yingtai

刊行中の邦訳など.

村上春樹 - いろいろ.
ウンベルト・エーコ - 『薔薇の名前』『フーコーの振り子』etc. 
フィリップ・ロス - 『ダイング・アニマル』『父の遺産』etc.
コーマック・マッカーシー - 『すべての美しい馬』『ザ・ロード』etc.
トマス・ピンチョン - 『V.』『重力の虹』etc.
エドゥアルド・メンドサ - 『奇蹟の都市』
ドン・デリーロ - 『ボディ・アーティスト』『コスモポリス』etc.
イスマイル・カダレ - 『夢宮殿』『死者の軍隊の将軍』

yingtai

editAreaLoader.load_syntax["haskell"] = {
    'DISPLAY_NAME' : 'Haskell'
    ,'COMMENT_SINGLE' : {1 : '--'}
    ,'COMMENT_MULTI' : {'{-' : '-}'}
    ,'QUOTEMARKS' : {1: '"', 2: "'"}
    ,'KEYWORD_CASE_SENSITIVE' : true
    ,'KEYWORDS' : {
        'keywords' : [
                'as', 'case', 'of', 'class', 'data', 'default',
                'deriving', 'do', 'forall', 'hiding',

yingtai

204. English people tend to speak in a reserved way. For example, they say "Not bad" instead of saying "very good".

205. One of the most important problems in the world is how to provide food for the increasing population.

206. The best way for developing countries not to make the same mistakes as developed countries have made is to learn from the past.

207. It is not easy to really communicate with Europeans and Americans whose languages, customs, cultures, traditions are different from ours.

208. When put in different culture all alone, some people stick to their standards, and the other people try follow the local ways. I belong to the later group.

yingtai

import Control.Applicative ((<$>))
import Control.Monad       (liftM2)
import Data.Char           (chr, ord)
import Data.List           (group)
import System.Environment  (getArgs)
import Text.Parsec
import Text.Parsec.String

data Inst = Inc | Dec | R | L | In | Out
    deriving Show

yingtai

Theorem and_assoc: forall P Q R:Prop, ((P /\ Q) /\ R) -> (P /\ (Q /\ R)).
Proof.
intros.
destruct H.
split.
destruct H.
exact H.
destruct H. 
split.
exact H1.

yingtai

import Control.Applicative

f n xs = (/ n) $ foldr1 (+) $ map g xs where
    g ch | ch == 'A' = 4
         | ch == 'B' = 3
         | ch == 'C' = 2
         | ch == 'D' = 1
         | ch == 'F' = 0

main = do