๐Ÿš€ go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.comp.theory
Article #107

Re: What the meaning of `proper initial segment'?

#107
From: SHIDORI Tomoki
Date: Sat, 24 Oct 1998 00:00
21 lines
1509 bytes
In article <yft1zo0mcnh.fsf@toya.lp.nm.fujitsu.co.jp>, KANEMATU Sin'ya
<kane@lp.nm.fujitsu.co.jp> wrote:

>   ๅ•้กŒใฎ็ทด็ฟ’ๅ•้กŒๆ–‡ใฎไธ€้ƒจ(hintใ‚’้™คใ„ใŸใ ใ‘)ใฏไปฅไธ‹ใงใ™ใ€‚
>   ใ€ŒShow that every proper initial segment of a restricted formula has
> more left than right parentheses.ใ€
> 

ใ“ใฎๅ•้กŒๆ–‡ใ‹ใ‚‰ใ™ใ‚‹ใจใ€proper subset ใฎ Proper ใงใ‚ˆใ„ใฎใงใฏใชใ„ใงใ—ใ‚‡ใ†ใ‹ใ€‚


> #   TeXใฏ็Ÿฅใ‚‰ใชใ„ใฎใงใ€ใ“ใฎ่จ˜ไบ‹ใซfollowใ™ใ‚‹ใชใ‚‰ใ€TeXใฎ่จ˜ๆณ•ใ‚’ไฝฟใ‚ใชใ„ใ‚ˆ
> # ใ†ๅธŒๆœ›ใ—ใพใ™ใ€‚

ใใ†ใ„ใ‚ใšใซใ€LaTeXใ‚’่ฆšใˆใŸใ‚‰ใฉใ†ใงใ—ใ‚‡ใ†๏ผŸใ‹ใชใ‚Šในใ‚“ใ‚Šใงใ™ใ‹ใ‚‰ใ€‚
ใใ‚Œใซใ€ใ‚ณใƒžใƒณใƒ‰ใ‚‚ใใ‚“ใชใซ่ค‡้›‘ใ˜ใ‚ƒใชใ„ใ—ใ€‚

-- 
ใ—ใฉใ‚Šใ€€ใจใ‚‚ใ
LINUX@TP-755c & IIsi@27MHz
tshidori@waragai-lab.hss.titech.ac.jp
Technical Details
Message-ID: <tshidori-2410980022410001@p84ee9b.ykh2.ap.so-net.ne.jp>
Path: arc1-ca.pugleaf.net!unknown!not-for-mail
References: <yftr9wjyb3d.fsf@toya.lp.nm.fujitsu.co.jp> <yftiuhvy55a.fsf@toya.lp.nm.fujitsu.co.jp> <hgqhfwzhd5g.fsf@n00-xs00.hongo.ecc.u-tokyo.ac.jp> <yft1zo0mcnh.fsf@toya.lp.nm.fujitsu.co.jp>

Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,b520a97c4123bbf7
X-Google-Attributes: gidf4956,public
X-Google-Thread: 10a0b6,b520a97c4123bbf7
X-Google-Attributes: gid10a0b6,public
From: tshidori@waragai-lab.hss.titech.ac.jp (SHIDORI Tomoki)
Subject: Re: What the meaning of `proper initial segment'?
Date: 1998/10/24
Message-ID: <tshidori-2410980022410001@p84ee9b.ykh2.ap.so-net.ne.jp>
X-Deja-AN: 404321792
References: <yftr9wjyb3d.fsf@toya.lp.nm.fujitsu.co.jp> <yftiuhvy55a.fsf@toya.lp.nm.fujitsu.co.jp> <hgqhfwzhd5g.fsf@n00-xs00.hongo.ecc.u-tokyo.ac.jp> <yft1zo0mcnh.fsf@toya.lp.nm.fujitsu.co.jp>
Content-Type: text/plain; charset=iso-2022-jp
Organization: T.I.Tech
Mime-Version: 1.0
Newsgroups: fj.comp.theory,fj.sci.math