Download as PDF, PPTX
![େผͯ͠छྨɿ
จॻ࡞ιϑτΣΞͷܗଶ
8:4*8:(ΤσΟλ
ϚʔΫΞοϓޠݴʴॲཧܥ
troff [Microsoft 1983] [Adobe 1991]
[Quark 1987]
[Lamport 1985]
[Knuth 1978]
[Gruber 2004]
[Osanna 1973]
ɾ
RE:VIEW
[੨ et al. 2002]
લॲཧ༻్](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-5-320.jpg)
![ΠϯϥΠϯϘοΫεྻΛϓϩάϥϜͰૢ࡞͢Δରͱͯ͠Ճɿ
ૢ࡞ରͱͯ͠ͷϘοΫεྻͷఆࣜԽ
v ::= λx . e | ⋯ | ib
ib ::= [ib]*
ib ::=
| | ⋯ | | ⋯
|
⋮
άϦϑ
ۭന
ΠϯϥΠϯ
ϘοΫεྻ
ݸҎ্ͷ
༗ݸݶͷྻ
ΠϯϥΠϯϘοΫεྻʹྻશମͰ ͱ͍͏جຊܕΛ͚ͭΔɿ
ҎԼͷࠐΈവͰ࿈݁Ͱ͖Δɿ
inlineboxes
Γ ⊢ ib : inlineboxes
(++): inlineboxes → inlineboxes → inlineboxes](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-31-320.jpg)
![ϒϩοΫϘοΫεྻૢ࡞ରͱͯ͠Ճɿ
ૢ࡞ରͱͯ͠ͷϘοΫεྻͷఆࣜԽ
v ::= λx . e | ⋯ | bb
bb ::= [bb]*
ϒϩοΫ
ϘοΫεྻ
ݸҎ্ͷ༗ݸݶͷྻɼ
ͯ͠ͱ؍ॎʹ࿈ͳ͍ͬͯΔ
bb ::=
|
|
⋮
ߦͷ༰
ߦؒͷۭന
⋯
ϒϩοΫϘοΫεྻʹྻશମͰ ͱ͍͏جຊܕΛ͚ͭΔɿ
ΓࠐΈവͰ࿈݁Ͱ͖Δɿ
blockboxes
Γ ⊢ bb : blockboxes
(+++): blockboxes → blockboxes → blockboxes](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-32-320.jpg)
![ߘݪͷྫʢ࠶ܝʣɿ
ݱঢ়ͷهߘݪड़ํ๏
+section{SATySFi;ͷ}ྫߘݪ
+p{
PPLͰemph{2ճͷൃද}Ͱ͢ɽ
͓ੈʹͳΓ·͢ɽ
}
w {ʜ}ɿΠϯϥΠϯςΩετ
w ʜɿϒϩοΫςΩετ
w fooɿΠϯϥΠϯίϚϯυ
r ΠϯϥΠϯςΩετதͷϚʔΫΞοϓ
w +fooɿϒϩοΫίϚϯυ
r ϒϩοΫςΩετதͷϚʔΫΞοϓ
ΠϯϥΠϯςΩετ{ }ͷࣜܗɿ
it
it ::= [it]*
it ::= char
| [e]*
จࣈʢʹ6OJDPEFίʔυϙΠϯτʣ
ίϚϯυద༻
foo](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-38-320.jpg)
![emph࣮ࡍͷ45:4'*Ͱ ͚͕ͭܕΒΕΔ
w લड़ͷ௨Γҙຯతʹ ܕͷവ
[inlinetext] inlinecmd
inlinetext → context → inlineboxes
ίϚϯυͷܕ
let-inline ctx emph it =
let ctx = ctx | set-italic-font in
read-inline ctx it
ΑΓҰൠʹɼ ܕͷҾΛͱΔ ҾͷίϚϯυ
͚͕ͭܕΒΕΔ
w ҙຯతʹ ܕͷവ
w ͜ͷʹ͚ͭܕΑΓɼߘݪΛॻ͘ࡍςΩετॲཧจ຺Λҙࣝ͢Δඞཁ͕ͳ͘ͳΔ
τ1, …, τn n
[τ1; …; τn] inlinecmd
τ1 → ⋯ → τn → context → inlineboxes](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-54-320.jpg)
![ϒϩοΫίϚϯυಉ༷ʹ ܕͷ
വͱΈͳͤͯɼ ܕΛ͚ͭͯѻ͏
ஈམΛΉίϚϯυ+pҎԼͷͰܗఆٛͰ͖ɼ ܕ
τ1 → ⋯ → τn → context → blockboxes
[τ1; …; τn] blockcmd
[inlinetext] blockcmd
ϒϩοΫςΩετͷ߹
let-block ctx +p it = ʜ
ʢ+pͷ࣮ํ๏࣍અͰޙड़ʣ
ϒϩοΫςΩετ ͷཁૉίϚϯυద༻ͷΈɿ
bt
bt ::= [bt]* bt ::= [e]*
+foo
read-block: context → blocktext → blockboxes](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-55-320.jpg)
![w ΠϯϥΠϯςΩετɼϒϩοΫςΩετɼςΩετॲཧจ຺ΛՃɿ
w ࠐΈവ
r line-break
r read-inline
r read-block
r ςΩετॲཧจ຺ͷHFUUFSͱTFUUFS
w get-font-size
: τ1 → ⋯ → τn → inlinetext → inlineboxes
: context → inlinetext → inlineboxes
: context → inlinetext → inlineboxes
: context → length
͜͜·Ͱͷ·ͱΊ
τ ::= ⋯ | inlineboxes | blockboxes | |
| | | |
inlinetext blocktext
context [[τ]*] inlinecmd [[τ]*] blockcmd
length
v ::= ⋯ | ib | bb | | |
bt
{ }
it Ctx
it ::= [it]* it ::= char | [e]*
bt ::= [bt]* bt ::= [e]*
foo
+foo](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-56-320.jpg)
![࣮ࡍͷߦׂՄೳՕॴ୯ؒޠͷۭന͚ͩͱݶΒͣɼ
͏গ͠ҰൠԽ͞ΕͨΈʹͳ͍ͬͯΔ
ҰൠԽ͞ΕͨߦׂՄೳՕॴͷࢦఆํ๏
ib ::= [ib]*
{
ib0
ib1 / ib2}
p
l͜͜Ͱߦׂ͢Δ͔͠ͳ͍͔બΔɽ
ߦׂ͠ͳ͍ͳΒ ͱՁͰ͋Γɼ
Ұํ͜͜Ͱߦׂ͢ΔͳΒखલͷߦʹ Λɼ
ํޙͷߦ಄ʹ ΛͦΕͧΕ݁߹͠ɼ͔ͭ
ׂͦͷͷʹΑΓϖφϧςΟ ͕ੜ͡Δz
ib0
ib1
ib2
p
ɿ
{ε / ε}
100
୯ؒޠͷۭനͱද͞ݱΕΔ
ib ::= | ⋯ | | ⋯
|
|
{
ib
ib / ib}
p
άϦϑ
৳ॖ͢Δۭന
EJTDSFUJPOBSZCSFBL
⋮
ɿۭྻ
ε](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-63-320.jpg)
![ߦׂॲཧͷར༻ྫ
ஈམΛΉίϚϯυ+p
ࠐΈവline-breakΛ༻͍࣮ͯɿ
ଞͷࠐΈവɿ
w inline-skip
r ࢦఆͨ͠͞ͷ৳ॖͰ͖ͳ͍ۭനΛฦ͢
r ͜͜Ͱஈམ಄ͷࣈԼ͛ʹ༻
w inline-fil
r ࣗવ͕Ͱɼ͔ͭϖφϧςΟͳ͘Ͳ͜·Ͱ৳ͼΒΕΔಛघͳۭന
r ͜͜Ͱʮஈམ࠷ऴߦߦ·Ͱ౸ୡ͠ͳͯ͘Α͍ʯ͜ͱͷ࣮༻ʹݱ
: [inlinetext] blockcmd
: length → inlineboxes
: inlineboxes
let-block ctx +p it =
let ib = read-inline ctx it in
let indent = inline-skip (get-font-size ctx) in
line-break true true ctx (indent ++ ib ++ inline-fil)
ʜ
indent
inline-fil
ib](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-67-320.jpg)
![ޠݴ%4-ͷಋೖ
w จࣈྻΛड͚औͬͯߏจղੳ͢ΔΑ͏ʹίϚϯυΛఆٛ͢Δ
w ؆୯ͳྫɿ͋Έͩ͘͡ͷهड़ΛΞεΩʔΞʔτͰͰ͖ΔΑ͏ʹ͢Δ
هड़ෳࡶԽʹର͢ΔφΠʔϰͳճආࡦ
amidakuji(```
|X|-|=|/| |
| |-||-|X|
|=|X|-||=|
|-||-|=|-|
|X|=|-|| |
```);
amidakuji([
[Cross; Line; ʜ ];
[Empty; Line; ʜ ];
[Double; Cross; ʜ ];
ʜ
]);
௨
ৗ
ͷ
࣮
̙
̨
̡
ํ
ࣜ](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-70-320.jpg)
![ୈεςʔδͷҾͱͯ͠%4-Λهड़͢Δɿ
w ϚΫϩల։࣌ʹ%4-Λॲཧ͠ɼߏจΤϥʔ͕͋ΕQBOJD͢Δ
r Τϥʔlࣄ্࣮੩తʹzʹग़Δ
r %4-ίʔυதͷͲ͕͜ݪҼͰΤϥʔ͕͔͖ͨىΛϚΫϩ͔Β
Θ͔Γ͘͢ใࠂͰ͖ΔΑ͏ʹɼઌ಄Ґஔ͕ͲͷϑΝΠϧͷԿߦ͔
ࣗಈͰิΘΕΔจࣈྻϦςϥϧ@`ʜ`Λ͏
w ਖ਼ৗʹల։͞Εͨ߹ɼ݁ՌͷςΩετධՁ࣌ʹ௨ৗͲ͓Γॲཧ
ϚΫϩʹߏػΑΔ%4-ॲཧ
amidakuji@~(@```
|X|-|=|/| |
| |-||-|X|
|=|X|-||=|
|-||-|=|-|
|X|=|-|| |
```);
amidakuji([
[Cross; Line; ʜ ];
[Empty; Line; ʜ ];
[Double; Cross; ʜ ];
ʜ
]);
ల։](https://image.slidesharecdn.com/ppl2022-invited-web-220309085509/85/PPL-2022-SATySFi-74-320.jpg)
Uploaded byT. Suwa
PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介
The document appears to consist of a mix of non-standard encoded characters, possibly resulting from a corrupted file or encoding issue. It references multiple systems and tools related to typesetting and content management, but the actual content is highly distorted and lacks coherent meaning. Thus, the document cannot be effectively summarized due to severe data degradation.
PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介
- 1.
- 2. 45:4'*ʢαςΟεϑΝΠʣͱ w ߨԋऀ͕*1ະ౿ࣄۀͷϓϩδΣΫτͱͯ͠։ൃͨ͠ ൺֱత৽͍͠൛ॲཧγεςϜ w ੩త͖ͭܕͷ͍ΘΏΔവܕͷϓϩάϥϛϯάͰޠݴ ύοέʔδจॻຊମ͕ॻ͚Δ rҰൠతͳϓϩάϥϜͱಉ͡ཁྖͰಡΈॻ͖Ͱ͖ΔͷͰ ΧελϚΠζੑ͕ߴ͍ w DG59- 59ɿෳࡶͳҙຯΏ͑ʹύοέʔδ࡞ʹ࿉Λཁ͢Δ্ɼ ख़࿅ऀͰଞਓͷॻ͍࣮ͨಡΜͰվม͢Δͷ͕͍͠ r هͨͬޡड़Λͨ͠ͱ͖ɼʹࠪݕܕΑͬͯਝʢయܕతʹඵ΄Ͳʣ ͔ͭݪҼͷղΓ͍͢ΤϥʔใࠂΛग़ͯ͘͠ΕΔʹ͋Δ w DG59- 59ɿࠣࡉͳϛεͰेඵ͔ͬͯΒղΓʹ͍͘Τϥʔ͕ग़͕ͪ ֓ཁ
- 3. 45:4'*ͷհ w ։ൃಈػɾతҙࣝͷڞ༗ w 11-ʹࢀՃ͞ΕΔํʑͷؔ৺ͱরΒ͠߹Θͤɼ ൛ॲཧɾจॻ࡞ͱ͍ͬͨ༻్ʹཁ͞Εͯ 45:4'*ʹͲΜͳEPNBJOTQFDJpDͳҙຯܕγεςϜ͕ ࡌ͞Ε͍ͯΔ͔Λ֓આ wͦͷଞɼ༗ࢤͷํʑʹΑΔ45:4'*ύοέʔδपลπʔϧͷհ ຊߨԋͷ༰
- 4. w։ൃಈػɾతҙࣝ w ಈ࡞σϞ w จࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ wจॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ w ߦׂॲཧͷΈ w ଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w ༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w ·ͱΊ ࣍
- 5. େผͯ͠छྨɿ จॻ࡞ιϑτΣΞͷܗଶ 8:4*8:(ΤσΟλ ϚʔΫΞοϓޠݴʴॲཧܥ troff [Microsoft 1983][Adobe 1991] [Quark 1987] [Lamport 1985] [Knuth 1978] [Gruber 2004] [Osanna 1973] ɾ RE:VIEW [੨ et al. 2002] લॲཧ༻్
- 6. 8:4*8:(ΤσΟλํࣜͱൺͯɼͱͯ͠ɿ ϚʔΫΞοϓࣜํޠݴͷੑ࣭ 😄 😩 • Ϣʔβ͕ෆద֨ͳίʔυΛ ೖྗͱͯ͠༩͍͑͢ •ࠩཧ͕୯७ • ϢʔβఆٛίϚϯυʹΑΓɿ • ෳࡶͳࣗಈॲཧ͕࣮ݱՄೳ • จॻͷମࡋ͕ ͔ޙΒॊೈʹมߋՄೳ ͜ͷಛΛ͍͔ͨ͠׆ਓ͕ఆϢʔβ ͲͷΑ͏ʹΤϥʔ͕ใࠂ͞ΕΔ͔͕ ࣥචޮʹӨڹ
- 7. ྫɿ59- 59 w Τϥʔใࠂ͕ෆͰ͍ʹ͋Δ r ͜ΕΏ͑ʹɼগ͠ॲͨͬڽཧΛఆٛ͠Α͏ͱ͢Δͱσόοά͕ࠔ rॲཧܥͷ࣮͕ଵଦͳͷͰͳ͘ɼ59ͷͭૢ࡞తҙຯͷ߹্ ෆͳΤϥʔʹͳΒ͟ΔΛಘͳ͍ͱ͍͏ଆ໘͕େ͖͍ खͷࠐΜͩࣗಈॲཧ͕ఆٛͰ͖ͭͭɼl໌Β͔ͳϛεzʹͳΤϥʔ͕ ग़ͤΔΑ͏ͳߏจɾҙຯͷ͍ͨ͠ʹޠݴ طଘγεςϜͷऑ ! Undefined control sequence. ! Missing $ inserted. ! Missing number, treated as zero.
- 8.
- 9. XSBQQFS͕ޠݴ༩͑ʹ͔ͬͨ͘ΓΤϥʔใࠂ͕ෆͩͬͨΓ͢Δ ཁҼɼओʹ59ͷͭૢ࡞తҙຯͷෳࡶո͋ʹ͞حΔɿ w ࣈ۟ղੳʹ͍ۙ͜ͱ͢Δ͕ɼநߏจͷ֓೦ͳ͍ w ੍ޚ௲ʢfooʣͷల։ޙଓτʔΫϯྻʹର͢ΔύλʔϯϚονϯά rl{ހׅʜ}͕Γ߹͍ύλʔϯʹ߹க͢Δ࠷ͷτʔΫϯྻzΛҾͱΈͳ͢ w ഁյతʹมߋՄೳͳมͷ͕ߏػଟ༻͞ΕΔ w ࣈ۟ղੳlMB[ZzͰɼલํͰධՁ૬ͷॲཧ͕ߦͳΘΕ͍ͯͯ ํޙ·ͩτʔΫϯԽ͞Ε͍ͯͳ͍จࣈྻͰ͋Γɼ લํͷධՁ݁Ռ͕ํޙͷࣈ۟ղੳํ๏Λมߋ͠͏Δ w Ҏ্ͷΑ͏ͳෳࡶͳ͕ߏػ൛ॲཧͱີ݁߹Ͱɼආ͚ʹ͍͘ ੩తʹಛఆͷੑ࣭Λอূ͢Δͱ͍͏ࢼΈ͋·ΓΈ͕࣋ͯͳ͍ খ͍͞αϒηοτͰ͋·Γ͍ڧอূͰ͖ͳ͍༷ࢠSEXFH0TUFSNBOO l59ޠݴzͷૢ࡞తҙຯͷ֓આ
- 10. - 59όοΫΤϯυΛXSBQͨ͠ʹͣͤ·ࡁͰޠݴɼ ࣗલͰ൛ॲཧ·Ͱߦͳ͑ΔॲͱޠݴཧܥΛઃܭɾ࣮͍ͨ͠ ओཁͳཁ݅ɿ w ຊ࣭తʹ൛ॲཧʹؔΘΔΑ͏ͳෳࡶͳࣗಈॲཧ͕Ͱ͖Δ͜ͱ r ଞਓͷॻ͍ͨࣗಈॲཧͷ࣮େ͖ͳࢧোͳ͘ಡΜͰվม͍͢͜͠ͱؚΉ w໌Β͔ͳΤϥʔʹ͍ͭͯ੩తʹʢʹ൛ॲཧΛ࢝ΊΔΑΓલʹʣݕ͠ɼ ͦͷݪҼΛͳΔ͘ಛఆ͍͢͠ͰܗใࠂͰ͖Δ͜ͱ తҙࣝ
- 11. (*ͯ͑ઓతʹॻ͘ͳΒɿ w 59- 59ͪΖΜ҃Δ໘ͰૉΒ͍͠ιϑτΣΞ͕ͩɼ ͜Ε͚ͩޠݴઃܭͷ͍ͯͬ·ཷ͕ݟΔͰࡏݱ ѻ͍ʹ͍͘ҙຯΛͭ59ʹͣͬͱґଘ͠ଓ͚Δͷ ֶతʹ݈શͳঢ়ଶͱ͍͘ʹ͍ݴͷͰͳ͍͔ʁ r DG൚༻ͷͰޠݴػࢉܭ༷ʑͳޠݴઃ͕ܭఏҊ͞Ε͍ͯΔ wʑϓϩάϥϜͷੑ࣭Λ੩తʹอূ͢Δ͜ͱΛͻͨ͢Β৺ʹ ߟ͍͑ͯΔͷʹɼ͍͟จΛॻ͘ࡍͷಓ۩Ͱͦͷ݁ՌΛڗडͤͣ ෆͳΤϥʔ͔Γ͍ͯݟΔͷɼࠠͷനͰއͳ͍͔ʁ *) ऄɿͬͱࡶͳҙࣝ
- 12. ৽͍͠൛ॲཧγεςϜ Ռ https://github.com/gfngfn/SATySFi Static Analysis-based TYpesettingSystem for Functional Implementation ʢ͔ͳΓڧҾͳ͚ͭ͜͡ʣ
- 13. ߏจ͕େผͯ͠ʹ͔Ε͍ͯΔ ಛ +section{SATySFi;ͷ}ྫߘݪ +p{ PPLͰemph{2ճͷൃද}Ͱ͢ɽ ͓ੈʹͳΓ·͢ɽ } let-inline ctx emphit = let ctx = ctx | set-font Latin italic-font in read-inline ctx it lϚʔΫΞοϓz lϓϩάϥϜz • -59෩ • ΠϯϥΠϯ{ʜ}ͱ ϒϩοΫʜͷ۠ผ͕͋Δ • 0$BNM෩
- 14. lϓϩάϥϜzͰίϚϯυఆ͕ٛ0$BNM෩ͷ͚ॻͰޠݴΔ w lάϩʔόϧͳঢ়ଶzΛ͋·Γॲʹͣͤʹؾཧ͕ॻ͚Δ r ˞ࢭΉΛಘͣNVUBCMFSFGFSFODFͷػೳ͋Γɼ࠾൪ͳͲʹ༻ wܕγεςϜΛ༻͍ͨ੩తͳʢʹ൛ॲཧʹઌཱͬͨʣΤϥʔใࠂೳྗ r ௨ৗͷMFUଟ૬ʴЋఔ w Ϩίʔυࢉܭ0IPSJ3ÉNZ(BTUFS+POFT w ΦϓγϣϯҾ r ґଘܕᝲܕແ͠ r ൛ॲཧυΩϡϝϯτॲཧʹؔΘΔଟͷجຊͱܕࠐΈവ w ͜Ε͕ࠓճհ͢Δओͳର ಛ
- 15. w ։ൃಈػɾతҙࣝ wಈ࡞σϞ w จࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ wจॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ w ߦׂॲཧͷΈ w ଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w ༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w ·ͱΊ ࣍
- 16.
- 17.
- 18.
- 19.
- 20. w ։ൃಈػɾతҙࣝ w ಈ࡞σϞ wจࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ wจॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ w ߦׂॲཧͷΈ w ଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w ༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w ·ͱΊ ࣍
- 21.
- 22.
- 23.
- 24.
- 25. Ұൠͷ൛ॲཧʹԙ͚Δจࣈͷѻ͍ํ ϕʔεϥΠϯ ࢀর άϦϑgͷ ਐߦ෯ ࣍ͷࢀর ΞτϥΠϯΛͳ͢ ͭͷ#É[JFSۂઢ͕ ͭ͘ΔgͷྖҬ w άϦϑ glyph ɿਤͯ͠ͱܗͷจࣈΛѻ͏୯Ґ w άϦϑϕʔεϥΠϯ baseline Λج४ʹͯ͠ฒͿ w֤άϦϑҎԼͷσʔλΛͭɿ r ΞτϥΠϯɿࢀর reference point ͔Βͷ૬ର࠲ඪͰه͞Εͨดۂઢ r ਐߦ෯ advance width ɿͦͷจࣈͷஔʹΑͬͯࢀরΛͲΕ͚ͩਐΊΔ͔
- 26. Ұൠͷ൛ॲཧʹԙ͚Δจࣈͷѻ͍ํ ϕʔεϥΠϯ ࢀর άϦϑgͷ ਐߦ෯ ߴ͞ ਂ͞ ͞ΒʹҎԼͰߴ͞ͱਂ͞Λఆٛ͠ɼ άϦϑԾతͳlശzΛͭͱΈͳ͢ w ߴ͞ɿNBY ดۂઢͷ࠷ߴ౸ୡ࠲ඪ w ਂ͞ɿNBY — ดۂઢͷ࠷౸ୡ࠲ඪ ˞͜ΕීวతͳఆࣜԽͱ·Ͱ͕͍ͳ͑ݴɼ গͳ͘ͱ59ͷ൛ॲཧ,OVUIͰ ࣮࣭తʹ͜Εʹ૬͢Δํ๏Λ࠾͓ͬͯΓɼ 45:4'*Ͱ౿ऻ wάϦϑ glyph ɿਤͯ͠ͱܗͷจࣈΛѻ͏୯Ґ w άϦϑϕʔεϥΠϯ baseline Λج४ʹͯ͠ฒͿ w ֤άϦϑҎԼͷσʔλΛͭɿ r ΞτϥΠϯɿࢀর reference point ͔Βͷ૬ର࠲ඪͰه͞Εͨดۂઢ r ਐߦ෯ advance width ɿͦͷจࣈͷஔʹΑͬͯࢀরΛͲΕ͚ͩਐΊΔ͔
- 27. w άϦϑ glyph ɿਤͯ͠ͱܗͷจࣈΛѻ͏୯Ґ w άϦϑϕʔεϥΠϯ baseline Λج४ʹͯ͠ฒͿ w֤άϦϑҎԼͷσʔλΛͭɿ r ΞτϥΠϯɿࢀর reference point ͔Βͷ૬ର࠲ඪͰه͞Εͨดۂઢ r ਐߦ෯ advance width ɿͦͷจࣈͷஔʹΑͬͯࢀরΛͲΕ͚ͩਐΊΔ͔ Ұൠͷ൛ॲཧʹԙ͚Δจࣈͷѻ͍ํ ϕʔεϥΠϯ จࣈͷ ࢀর จࣈͷ ࢀর άϦϑgͷ ਐߦ෯
- 28.
- 29.
- 30. άϦϑͷlശzਫฏํʹฒΜͰlߦzΛͳ͢ w ͜ͷlߦzΛΠϯϥΠϯϘοΫεྻͱͿݺ lߦzߦׂॲཧ line breaking ʹΑͬͯΓ͚ΒΕͯlஈམzʹͳΔ wۭനͳͲదʹ৳ॖ͠ɼߦ͕ἧ͏Α͏ʹܗ w lஈམzԣʹࡉ͍lശz͕Ԗํʹ࿈ͳͬͨͷͰɼ ϒϩοΫϘοΫεྻͱͿݺ lശzͷ࿈ͳΓͱͯ͠ͷߦஈམ ʜ ʜ ʜ ΠϯϥΠϯํ ϒ ϩ ỽ Ϋ ํ
- 31. ΠϯϥΠϯϘοΫεྻΛϓϩάϥϜͰૢ࡞͢Δରͱͯ͠Ճɿ ૢ࡞ରͱͯ͠ͷϘοΫεྻͷఆࣜԽ v ::= λx. e | ⋯ | ib ib ::= [ib]* ib ::= | | ⋯ | | ⋯ | ⋮ άϦϑ ۭന ΠϯϥΠϯ ϘοΫεྻ ݸҎ্ͷ ༗ݸݶͷྻ ΠϯϥΠϯϘοΫεྻʹྻશମͰ ͱ͍͏جຊܕΛ͚ͭΔɿ ҎԼͷࠐΈവͰ࿈݁Ͱ͖Δɿ inlineboxes Γ ⊢ ib : inlineboxes (++): inlineboxes → inlineboxes → inlineboxes
- 32. ϒϩοΫϘοΫεྻૢ࡞ରͱͯ͠Ճɿ ૢ࡞ରͱͯ͠ͷϘοΫεྻͷఆࣜԽ v ::= λx. e | ⋯ | bb bb ::= [bb]* ϒϩοΫ ϘοΫεྻ ݸҎ্ͷ༗ݸݶͷྻɼ ͯ͠ͱ؍ॎʹ࿈ͳ͍ͬͯΔ bb ::= | | ⋮ ߦͷ༰ ߦؒͷۭന ⋯ ϒϩοΫϘοΫεྻʹྻશମͰ ͱ͍͏جຊܕΛ͚ͭΔɿ ΓࠐΈവͰ࿈݁Ͱ͖Δɿ blockboxes Γ ⊢ bb : blockboxes (+++): blockboxes → blockboxes → blockboxes
- 33. ҎԼͷΑ͏ͳࠐΈവline-breakͱͯ͠ ߦׂॲཧΛఏͯ͠ڙϢʔβ͕༻Ͱ͖ΔͱΑͦ͞͏ɿ ࠐΈവʹΑΔߦׂॲཧͷఏڙ line-break v1 ⋯vn ʜ ʜ ʜ ⏞ ԿΒ͔ͷઃఆʢߦͳͲʣ line-breakͷܕҎԼͷܗɿ τ1 → ⋯ → τn → inlineboxes → blockboxes
- 34. w άϦϑͷͳ͢lശz͕ਫฏʹฒΜͩͷɿΠϯϥΠϯϘοΫεྻ wࡉ͍lߦͷശz͕ॎʹฒΜͩͷɿϒϩοΫϘοΫεྻ w جຊܕͷՃɿ w ߦׂॲཧҎԼͷࠐΈവͰఏڙɿ ib bb ͜͜·Ͱͷ·ͱΊ τ ::= ⋯ | | inlineboxes blockboxes line-break: τ1 → ⋯ → τn → inlineboxes → blockboxes v ::= ⋯ | | w ͷྫɿ w ͷྫɿ ib bb ʜ ʜ ʜ ib bb
- 35. w ։ൃಈػɾతҙࣝ w ಈ࡞σϞ wจࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ wจॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ wߦׂॲཧͷΈ w ଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w ༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w ·ͱΊ ࣍
- 36.
- 37. 9.-ʹ͍ۙཁྖͰɼߘݪΛ%5ʢతσʔλܕʣͰѻ͏ʁ ΫϥεϑΝΠϧ͕%5Λఆٛ͢Δ͜ͱͰϚʔΫΞοϓํ๏Λنఆ͢Δͱɼ ΫϥεϑΝΠϧΛ͏ΤϯυϢʔβଆͰϚʔΫΞοϓͷఆٛΛ֦ு͠ʹ͍͘ w ͍ΘΏΔYQSFTTJPOQSPCMFN w 0QFOEBUBUZQFT-ÖI)JO[F͕͋Ε֦ுͰ͖Δ͕ɼ σʔλΛ͏ଆͷവͷෳࡶԽ͕ґવආ͚ʹ͍͘ r0$BNMͰ͍͏type += of YQSFTTJPOQSPCMFNͱແԑʹͳΔΑ͏ͳఆࣜԽͰ͖ͳ͍͔ʁ ͍ΘΏΔ5BHMFTTpOBMతͳఆࣜԽΛ͢ΔͱΑͦ͞͏ t C τ %5ͰߘݪΛهड़͢Δʹ͋Γ
- 38. ߘݪͷྫʢ࠶ܝʣɿ ݱঢ়ͷهߘݪड़ํ๏ +section{SATySFi;ͷ}ྫߘݪ +p{ PPLͰemph{2ճͷൃද}Ͱ͢ɽ ͓ੈʹͳΓ·͢ɽ } w {ʜ}ɿΠϯϥΠϯςΩετ w ʜɿϒϩοΫςΩετ wfooɿΠϯϥΠϯίϚϯυ r ΠϯϥΠϯςΩετதͷϚʔΫΞοϓ w +fooɿϒϩοΫίϚϯυ r ϒϩοΫςΩετதͷϚʔΫΞοϓ ΠϯϥΠϯςΩετ{ }ͷࣜܗɿ it it ::= [it]* it ::= char | [e]* จࣈʢʹ6OJDPEFίʔυϙΠϯτʣ ίϚϯυద༻ foo
- 39. ·ͣɼίϚϯυద༻͕ͳ͘จࣈྻ͚ͩͷ߹ͷม؆୯ɿ ݱঢ়ͷॲߘݪཧํ๏ͷఆࣜԽ {The quick brownfox jumps ʜ } ʜ มʹඞཁͳՃใ w ϑΥϯτϑΝϛϦʔ w จࣈαΠζ w จࣈ৭ w ⋮ ՃใͦΕΒΛશ෦ूΊͨϨίʔυͷΑ͏ͳͱͯ͠ ϓϩάϥϜ্Ͱѻ͏͜ͱʹ͠ɼ͜ͷΛςΩετॲཧจ຺ͱͿݺ
- 40. ςΩετॲཧจ຺ͷఆࣜԽ τ ::= ⋯| context Γ ⊢ Ctx : context ҆қʹߋ৽Ͱ͖ͯ΄͘͠ͳ͍༰͋ΔͷͰɼ ϨίʔυͰ͋Δ͜ͱϢʔβ͔Βͣ͑ݟɼ ֤߲ͷlHFUUFSzͱlTFUUFSz͕ࠐΈവͱͯ͠ఆٛ͞Ε͍ͯΔɿ w get-font-size r ֨ೲ͞Ε͍ͯΔจࣈαΠζΛऔΓग़͢ w set-font-size r ( | set-font-size )ͰจࣈαΠζΛ ʹߋ৽ͨ͠ Λฦ͢ : context → length : length → context → context Ctx ℓ ℓ Ctx v ::= ⋯ | Ctx Ctx ::= {fontsize = ℓ, …} ͞ఆʢྫɿ12ptʣ ͞ͷܕ
- 41. ҎԼͷΑ͏ͳࠐΈവread-inlineͱͯ͠ఏڙɿ ϘοΫεྻͷมͷࠐΈവ read-inline {The quickbrown fox jumpsʜ} Ctx ʜ ܕread-inline: context → inlinetext → inlineboxes ΠϯϥΠϯςΩετʹͭ͘جຊܕ
- 42. ίϚϯυΛదʹఆٛ͢ΕҎԼͷཁྖͰม͖ͰΔΑ͏ʹ͍ͨ͠ɿ ίϚϯυద༻ΛؚΉ߹ʹҰൠԽ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ {The emph{quick brown} fox ʜ } ͜ͷద༻ͷ෦ΛʮςΩετॲཧจ຺Λड͚औΔͱ ΠϯϥΠϯϘοΫεྻʹͳΔͷʯͱଊ͑Δ emph{quick brown} ͱΈͳͤΔ : context → inlineboxes emph ͱΈͳͤΔ : inlinetext → context → inlineboxes
- 43. emph ҎԼͷΑ͏ʹఆٛͰ͖ͦ͏ɿ : inlinetext→ context → inlineboxes ίϚϯυఆٛ let emph (it : inline-text) (ctx : context) = let ctx = ctx | set-italic-font in read-inline ctx it ϑΥϯτΛΠλϦοΫମʹߋ৽͢Δɼ ܕͷิॿവ context → context let-inline ctx emph it = let ctx = ctx | set-italic-font in read-inline ctx it ࣮ࡍͷ45:4'*ͰҎԼͰemphΛఆٛ͢Δɿ ςΩετॲཧจ຺Λड͚औΔม͕ ߏจ্Ͱखલʹདྷ͚ͨͩ
- 44. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ The emph{quick brown} foxʜ Ctx
- 45. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx
- 46. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx let-inline ctx emph it = let ctx = ctx | set-italic-font in read-inline ctx it
- 47. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx let-inline ctx emph it = let ctx = ctx | set-italic-font in read-inline ctx it ͷϑΥϯτΛΠλϦοΫʹߋ৽ͨ͠จ຺ ͕ͭ͘ΒΕɼ ೖΕࢠͰread-inline {quick brown}͕ධՁ͞ΕΔ Ctx Ctx′ Ctx′
- 48. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx quick brown Ctx′
- 49. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx brown Ctx′
- 50. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx Ctx′
- 51. foxʜ ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ Ctx Γ͕ίϚϯυద༻ͷ͋ͬͨՕॴʹૠೖ͞ΕΔ
- 52. foxʜ ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ Ctx
- 53. ʜ ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quickbrown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ Ctx
- 54. emph࣮ࡍͷ45:4'*Ͱ ͚͕ͭܕΒΕΔ w લड़ͷ௨Γҙຯతʹܕͷവ [inlinetext] inlinecmd inlinetext → context → inlineboxes ίϚϯυͷܕ let-inline ctx emph it = let ctx = ctx | set-italic-font in read-inline ctx it ΑΓҰൠʹɼ ܕͷҾΛͱΔ ҾͷίϚϯυ ͚͕ͭܕΒΕΔ w ҙຯతʹ ܕͷവ w ͜ͷʹ͚ͭܕΑΓɼߘݪΛॻ͘ࡍςΩετॲཧจ຺Λҙࣝ͢Δඞཁ͕ͳ͘ͳΔ τ1, …, τn n [τ1; …; τn] inlinecmd τ1 → ⋯ → τn → context → inlineboxes
- 55. ϒϩοΫίϚϯυಉ༷ʹ ܕͷ വͱΈͳͤͯɼ ܕΛ͚ͭͯѻ͏ ஈམΛΉίϚϯυ+pҎԼͷͰܗఆٛͰ͖ɼܕ τ1 → ⋯ → τn → context → blockboxes [τ1; …; τn] blockcmd [inlinetext] blockcmd ϒϩοΫςΩετͷ߹ let-block ctx +p it = ʜ ʢ+pͷ࣮ํ๏࣍અͰޙड़ʣ ϒϩοΫςΩετ ͷཁૉίϚϯυద༻ͷΈɿ bt bt ::= [bt]* bt ::= [e]* +foo read-block: context → blocktext → blockboxes
- 56. w ΠϯϥΠϯςΩετɼϒϩοΫςΩετɼςΩετॲཧจ຺ΛՃɿ w ࠐΈവ rline-break r read-inline r read-block r ςΩετॲཧจ຺ͷHFUUFSͱTFUUFS w get-font-size : τ1 → ⋯ → τn → inlinetext → inlineboxes : context → inlinetext → inlineboxes : context → inlinetext → inlineboxes : context → length ͜͜·Ͱͷ·ͱΊ τ ::= ⋯ | inlineboxes | blockboxes | | | | | | inlinetext blocktext context [[τ]*] inlinecmd [[τ]*] blockcmd length v ::= ⋯ | ib | bb | | | bt { } it Ctx it ::= [it]* it ::= char | [e]* bt ::= [bt]* bt ::= [e]* foo +foo
- 57. ͜͜·Ͱͷ·ͱΊ ΠϯϥΠϯ ϒϩοΫ Ϙ ỽ Ϋ ε ྻ ς Ω ε τ +p{ Thequick brown fox ʜ } ʜ ʜ ʜ {The quick brown fox jumps ʜ } read-inline read-block line-break
- 58. w ։ൃಈػɾతҙࣝ w ಈ࡞σϞ wจࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ wจॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ wߦׂॲཧͷΈ wଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w ༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w ·ͱΊ ࣍
- 59. ࣮ࡍͷߦׂॲཧͷࠐΈവ line-break b1 b2Ctx ʜ ʜ ʜ line-break w ɼ ɿͭͷਅِ r ߦׂॲཧࣗମͱؔΘΔઃఆͰͳ͍ͷͰࠓճ৮Εͳ͍ w ɿςΩετॲཧจ຺ r ߦͳͲɼߦׂॲཧʹඞཁͳઃఆ͔͜͜ΒऔΓग़ͯ͠͏ : bool → bool → context → inlineboxes → blockboxes b1 b2 Ctx
- 60. 45:4'*ͷߦׂॲཧͰɼ59ͷͨΊʹఏҊ͞Εͨ ,OVUIr1MBTTΞϧΰϦζϜ,OVUI1MBTTͷఆࣜԽΛ౿ऻ w ଟগͷಠ֦ࣗு͋Γ ߦׂॲཧͷΈ ߦׂॲཧ w ೖྗɿΠϯϥΠϯϘοΫεྻɼॴͷߦ r ଞͷύϥϝʔλᘭͳͷͰࠓճࣺ͢Δ w ग़ྗɿ ΛۭനΛదʹ৳ॖ͢ΔͳͲ֤ͯ͠ߦͷ͕͞ ʹͳΔΑ͏ʹ Γ͚ͯͰ͖ΔϒϩοΫϘοΫεྻͷ͏ͪ࠷ݟө͑ͷྑ͍ͷ r ݟө͑ͷྑ͞ԿΒ͔ͷධՁํ๏Ͱదʹఆٛ͢Δඞཁ͋Γ ib ℓ ib ℓ ˞lલ͔Βॱʹ٧Ί͍͖ͯɼᷓΕͨΒͦ͜Ͱߦׂzͱ͍͏ᩦཉ๏Ͱ Ұൠʹ࠷ྑͷ݁ՌʹͳΒͳ͍
- 61. ߦׂॲཧΛॏΈ͖ͭ༗ඇ८ճάϥϑ্ͷ࠷ܦ࿏ʹؼண͢Δ ༰ ͱߦࢦఆ ͔ΒΛߏ w ू߹ r ࣜਤɿ w ลʢ Ͱ ΑΓखલͷʣ r l Ͱߦׂͯͦ͠ͷ࣍ʹ Ͱߦׂͨ͠ͱ͖ɼ ͱ ͷؒͷ༰Λ ͕͞ ʹͳΔΑ͏ʹߦͱͯ͠Ήͱɼͦͷݟө͑ͷධՁ z w େ͖͍΄Ͳݟө͕͑ѱ͍͜ͱΛද͢ϖφϧςΟʢܾఆํ๏࣍ทͰઆ໌ʣ ͷʮઌ಄ʯ͔ΒʮඌʯࢸΔ࠷ܦ࿏ΛٻΊΔͱɼͦΕ͕௨Δ֤͕ ϖφϧςΟ૯Λ࠷খԽ͢Δʢʹ࠷ݟө͑ͷྑ͘ͳΔʣΓ͚Օॴ ib ℓ G = (V, E; d) V := ( ib தͷߦׂՄೳͳՕॴશମ ) ⊎ {ઌ಄, ඌ} ib v v′ v v′ v v′ ℓ p p G ,OVUIr1MBTTΞϧΰϦζϜ v v′ p ʜ v1 v2 v3 v4 v5 ઌ಄ ඌ ,OVUI 1MBTT
- 62. ߦׂީิՕॴ ͱͦͷ࣍ͷީิՕॴ ΛܾΊͨΒɼۭനΛ৳ॖͯ͠ ͱͷؒͷ༰͕͞ ʹͳΔΑ͏ʹ͠ɼͦͷݟө͑ΛධՁ v v′ v v′ ℓ ߦͷݟө͑ͷධՁํ๏ ℓ v v′ ݟө͑ධՁͷͨΊʹɼۭന ࣗવ ৳ͼΔڐ༰ྔ ॖΉڐ༰ྔ ͱ͍͏ͭͷύϥϝʔλΛ͍࣋ͬͯΔ w όωͷΑ͏ͳΠϝʔδ w ࣗવʹ͍ۙ΄Ͳݟө͕͑ྑ͍ ͜ͱΛද͢ɼԼʹತͳධՁവΛͭ ࣗ વ ࠷ ृѱ ࠷ྑ ϖ φ ϧ ς ỹ ࠷ ࠷ ,OVUI1MBTT
- 63. ࣮ࡍͷߦׂՄೳՕॴ୯ؒޠͷۭന͚ͩͱݶΒͣɼ ͏গ͠ҰൠԽ͞ΕͨΈʹͳ͍ͬͯΔ ҰൠԽ͞ΕͨߦׂՄೳՕॴͷࢦఆํ๏ ib ::= [ib]* { ib0 ib1/ ib2} p l͜͜Ͱߦׂ͢Δ͔͠ͳ͍͔બΔɽ ߦׂ͠ͳ͍ͳΒ ͱՁͰ͋Γɼ Ұํ͜͜Ͱߦׂ͢ΔͳΒखલͷߦʹ Λɼ ํޙͷߦ಄ʹ ΛͦΕͧΕ݁߹͠ɼ͔ͭ ׂͦͷͷʹΑΓϖφϧςΟ ͕ੜ͡Δz ib0 ib1 ib2 p ɿ {ε / ε} 100 ୯ؒޠͷۭനͱද͞ݱΕΔ ib ::= | ⋯ | | ⋯ | | { ib ib / ib} p άϦϑ ৳ॖ͢Δۭന EJTDSFUJPOBSZCSFBL ⋮ ɿۭྻ ε
- 64. EJTDSFUJPOBSZCSFBLͷΈʹΑΓ༷ʑͳߦׂํ๏͕ද͖ͰݱΔɿ w ϋΠϑωʔγϣϯʹΑΔ୯ޠதͰͷߦׂɿ r ୯ޠதͷҰ෦Օॴߦׂͯ͠Α͘ɼׂ࣌खલͷߦʹϋΠϑϯ͕ೖΔ wྫɿlUBCMFzlUBCMFzͱׂͯ͠Α͍ͷͰ্ਤͷΑ͏ʹѻ͏ w ӳͱͩޠׂͯ͠Α͍Օॴ୯͍ͯͬ·ܾʹͱ͝ޠΔ͕ɼ۪ʹදҾ͖ͤͣͱ -JBOHr,OVUIΞϧΰϦζϜ-JBOHͱ͍͏ਪఆํ๏͕͑Δ r ϋΠϑωʔγϣϯ୯ͰؒޠͷׂΑΓ·͘͠ͳ͍ͱ͍͏͜ͱΛө͠ɼ ϖφϧςΟΛߴΊʹઃఆ r ࣮ࡍ୯ޠதͰׂ͢Δ͔͠ͳ͍͔Ͱ߹ࣈʹ͢Δ͔Χʔχϯά͢Δ͔͕ มΘΓ͏ΔͷͰ͏গ͠ෳࡶͳΈ %JTDSFUJPOBSZCSFBLʹΑΔछʑͷߦׂͷදݱ { ε / ε} 1000
- 65. w จ൛ r ҎԼͷΑ͏ͳنଇʹ͓͓Αͦ४ڌ wʰຊޠ൛ॲཧͷཁ݅ʱɼ௨শ+-SFR8$ຊޠ൛λεΫϑΥʔε w 6OJDPEF-JOF#SFBLJOHMHPSJUIN6OJDPEF$POTPSUJVN r େͷจࣈؒߦׂͯ͠Α͍ w ݪଇͱ֤ͯ͠จࣈؒʹࣗવͷۭനΛͭEJTDSFUJPOBSZCSFBL͕ೖΔ r ͨͩ͠ɼߦ಄ߦېଇ͋Δ w ߦ಄ෆՄͷจࣈɿด͡ހׅɼ۟ಡɼʮΌʯɼʮʔʯͳͲ w ߦෆՄͷจࣈɿ։͖Ͳͳހׅ %JTDSFUJPOBSZCSFBLʹΑΔछʑͷߦׂͷදݱ {ε / ε} 100 {ε / ε} 100 {ε / ε} 100 {ε / ε} 100 {ε / ε} 100
- 66. r ߦ಄ͷ։͖ހׅͷલɼߦͷด͡ހׅ۟ಡͷޙɼ ߦதͱҟͳΓೋΞΩʢʹ͍ΘΏΔ֯෯ͷۭനʣΛೖΕͳ͍ w ֘Օॴࣗવ͕ೋΞΩͷۭനΛͭEJTDSFUJPOBSZCSFBLʹͳΔ %JTDSFUJPOBSZCSFBLʹΑΔछʑͷߦׂͷදݱ {ε/ ε} 100 {ε / ε} 100 {ε / ε} 100 {ε / ε} 100 {ε / ε} 100
- 67. ߦׂॲཧͷར༻ྫ ஈམΛΉίϚϯυ+p ࠐΈവline-breakΛ༻͍࣮ͯɿ ଞͷࠐΈവɿ w inline-skip r ࢦఆͨ͠͞ͷ৳ॖͰ͖ͳ͍ۭനΛฦ͢ r ͜͜Ͱஈམ಄ͷࣈԼ͛ʹ༻ w inline-fil r ࣗવ͕Ͱɼ͔ͭϖφϧςΟͳ͘Ͳ͜·Ͱ৳ͼΒΕΔಛघͳۭന r ͜͜Ͱʮஈམ࠷ऴߦߦ·Ͱ౸ୡ͠ͳͯ͘Α͍ʯ͜ͱͷ࣮༻ʹݱ : [inlinetext] blockcmd : length → inlineboxes : inlineboxes let-block ctx +p it = let ib = read-inline ctx it in let indent = inline-skip (get-font-size ctx) in line-break true true ctx (indent ++ ib ++ inline-fil) ʜ indent inline-fil ib
- 68. w ։ൃಈػɾతҙࣝ w ಈ࡞σϞ wจࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ wจॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ wߦׂॲཧͷΈ wଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w ·ͱΊ ࣍
- 69. w ੩తʹͰ͔͓͕͛ͭ͘ܕਝͰଟ͘ͷ߹ͳΤϥʔใࠂ͕ߦͳΘΕɼ ҃Δఔ͍͍͢ͷʹͳͬͨ r ͱΓΘ͚ύοέʔδͷ࣮ʹͳ͔ͳ͔ҖྗΛൃش w59- 59ͱ45:4'*྆ํͰ৺ʹύοέʔδΛॻ͔ΕΔํʹ ʢ59ͱൺͯʣ ʮϓϩάϥϛϯάͯ͠ͱޠݴ໌Β͔ʹָʯͱ͍͏ײΛ͑ͨ w ҰํͰɼ͚ͭܕͷ߹্Ͳ͏ͯ͠ߘݪͷهड़͕ࡶʹͳͬͯ͠·͏ ໘͕ग़ͯ͘Δ r ಛʹจॻ࡞ͷ༻్Ͱʢ൚༻ͷޠݴػࢉܭҎ্ʹʣ ෳࡶͳσʔλ؆ܿʹهड़Ͱ͖Δ͜ͱΛ·Ε͕ͪ จॻهड़্ͷߋͳΔҙࣝ
- 70. ޠݴ%4-ͷಋೖ w จࣈྻΛड͚औͬͯߏจղੳ͢ΔΑ͏ʹίϚϯυΛఆٛ͢Δ w ؆୯ͳྫɿ͋Έͩ͘͡ͷهड़ΛΞεΩʔΞʔτͰͰ͖ΔΑ͏ʹ͢Δ هड़ෳࡶԽʹର͢ΔφΠʔϰͳճආࡦ amidakuji(``` |X|-|=|/|| | |-||-|X| |=|X|-||=| |-||-|=|-| |X|=|-|| | ```); amidakuji([ [Cross; Line; ʜ ]; [Empty; Line; ʜ ]; [Double; Cross; ʜ ]; ʜ ]); ௨ ৗ ͷ ࣮ ̙ ̨ ̡ ํ ࣜ
- 71.
- 72. w ಈతʹίʔυΛੜͯ͠ߋʹͦΕΛ࣮ߦ͢ΔΑ͏ͳߏػΛඋ͑ͨɼ ͕ࢉܭෳͷεςʔδ stage ͔ΒͳΔମܥ ʴͦͷΑ͏ͳૢ࡞Λ҆શʹߦͳ͏ͨΊͷܕγεςϜ w ྫɿ.FUB.-5BIB4IFBSEɼЕ˓%BWJFTɼ .FUB0$BNM,JTFMZPWɼଞଟ wಛʹεςʔδͷ߹ɿ w ৄࡉ໌ʂɿ ଟஈ֊ͱࢉܭ ୈεςʔδʢʹlલॲཧzʣ ୈεςʔδʢʹl௨ৗͷධՁzʣ
- 73. εςʔδͷ.FUB.-5BIB4IFBSEΛϕʔεʹͨ͠ .BDSP.-(BO[ 4BCSZ5BIBʹ͍ۙϚΫϩߏػͷఆࣜԽΛ࠾༻ w ϚΫϩͷ༻ྫɿ r ~(ʜ)ϚΫϩల։தʹΘΕΔୈεςʔδͷͷҾ r~ͳ͠ͷҾల։ޙͷίʔυͷҰ෦ͱͳΔ w ϚΫϩͷఆٛࣗମ͕ల։ΑΓલʹࠪ͞ݕܕΕɼ͚͕ͭܕ ల։݁ՌඞͣXFMMUZQFE w యܕతʹϚΫϩల։ʢʹίʔυੜʣҰॠͰऴΘΔͷͰɼ ϚΫϩల։தʹQBOJD͢Εlࣄ্࣮੩తʹzΤϥʔ͕ใࠂ͞ΕΔ ϚΫϩߏػͷޠݴઃܭ repeat@~(3){foo{A}} % ௨ৗͷධՁ͕࢝·ΔλΠϛϯάͰɼ࠷ॳ͔Β % foo{A}foo{A}foo{A} ͱॻ͍ͯ͋ͬͨͷͱಉ͡ѻ͍ʹͳΔ ࠪݕܕ ϚΫϩల։ ௨ৗͷධՁ
- 74. ୈεςʔδͷҾͱͯ͠%4-Λهड़͢Δɿ w ϚΫϩల։࣌ʹ%4-Λॲཧ͠ɼߏจΤϥʔ͕͋ΕQBOJD͢Δ r Τϥʔlࣄ্࣮੩తʹzʹग़Δ r%4-ίʔυதͷͲ͕͜ݪҼͰΤϥʔ͕͔͖ͨىΛϚΫϩ͔Β Θ͔Γ͘͢ใࠂͰ͖ΔΑ͏ʹɼઌ಄Ґஔ͕ͲͷϑΝΠϧͷԿߦ͔ ࣗಈͰิΘΕΔจࣈྻϦςϥϧ@`ʜ`Λ͏ w ਖ਼ৗʹల։͞Εͨ߹ɼ݁ՌͷςΩετධՁ࣌ʹ௨ৗͲ͓Γॲཧ ϚΫϩʹߏػΑΔ%4-ॲཧ amidakuji@~(@``` |X|-|=|/| | | |-||-|X| |=|X|-||=| |-||-|=|-| |X|=|-|| | ```); amidakuji([ [Cross; Line; ʜ ]; [Empty; Line; ʜ ]; [Double; Cross; ʜ ]; ʜ ]); ల։
- 75.
- 76.
- 77.
- 78. ͋Γ͕͍ͨ͜ͱʹ༗ࢤͷํʑʹΑͬͯ छʑͷपลπʔϧύοέʔδͷ։ൃ͕ਐߦத • 45:4'*༻ύοέʔδϚωʔδϟ4BUZSPHSBQIPT4BLBNPUP – github.com/na4zagin3/satyrographos –0$BNMͷύοέʔδϚωʔδϟͰ͋Δ01.ͱซ༻͢Δઃܭ – ϑΥϯτઃఆϑΝΠϧཧՄೳ • ొ͞Ε͍ͯΔύοέʔδҰཡ͕ݟΒΕΔϖʔδ.BUTVOBHB – satyrographos-packages.netlify.app – ࡏݱ 50 ύοέʔδ • TBUZTGJCBTF/JTIJXBLJ .VSBTF,BOFLP – github.com/nyuichi/satysfi-base – ඪ४ϥΠϒϥϦͷେ෯֦ॆ – ύʔαίϯϏωʔλͳͲ༻ҙ͞Ε͍ͯΔ ༗ࢤͷํʑʹΑΔπʔϧɾύοέʔδ
- 79. • FBTZUBCMFmonaqa github.com/monaqa/satysfi-easytable –දΈΛ؆ܿʹ࣮͢ݱΔͨΊͷύοέʔδ • NBUSJYDECF github.com/abenori/satysfi-matrixcd – - 59ͷUJL[DEͷΑ͏ʹՄਤࣜΛඳͨ͘Ίͷύοέʔδ • NBLFMBUFY,BOFLP github.com/puripuri2100/SATySFi-make-latex – ςΩετग़ྗϞʔυʹΑΓɼ45:4'*ιʔεΛ- 59ιʔεʹมͯ͠ ग़ྗ͢ΔͨΊͷύοέʔδ • ޠݴଆͰѻ͑ͳ͍͜ͱʹΑΓࣜະରԠ • 4UFBNFS*TIJJɼ4-Z%*'Jmonaqa – github.com/konn/satysfi-steamer – github.com/monaqa/slydifi – ͍ͣΕεϥΠυ࡞༻ͷΫϥεϑΝΠϧ ଞʹଟ͘ͷπʔϧύοέʔδ͕ެ։͞Ε͍ͯ·͢ ༗ࢤͷํʑʹΑΔπʔϧɾύοέʔδ
- 80.
- 81. ҎԼͷํʑʹਂ͘ँײਃ্͛͠·͢ɿ w ։ൃΛࢧԉ͍ͨօ༷ r *1ະ౿*5ਓࡐൃ۷ɾҭࣄۀ rࣜגձࣾυϫϯΰʢΞϧόΠτͱͯ͠ʣ r 5IF45:4'*CPPLΛ͝ߪೖ͍ͨօ༷ w ৺ʹ1VMM3FRVFTUॿݴΛԼͬͨ͞։ൃऀͷօ༷ r %BJLJ.BUTVOBHB matsud224 ͞Μɼ%BJDIJ0PIBTIJ leque ͞Μɼ /PSJBLJ4BLBNPUP na4zagin3 ͞Μɼ5BLVNB*TIJLBXB nekketsuuu ͞Μɼ elpinal͞Μɼ.BTBLJ)BSB qnighy ͞Μɼsakas--͞Μɼଞଟ໊ w ύοέʔδɾपลπʔϧ։ൃऀͷօ༷ w 45:4'*4MBDLɾ45:4'*$POGɼίϛϡχςΟΛӡӦͯ͠Լ͞Δօ༷ r /BPLJ,BOFLP puripuri2100 ͞Μɼmonaqa͞Μɼଞଟ໊ ँࣙ
- 82. w ։ൃಈػɾతҙࣝ w ಈ࡞σϞ wจࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ wจॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ wߦׂॲཧͷΈ wଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w·ͱΊ ࣍
- 83. വܕͷޠݴઃܭΛϕʔεͱ͢Δɼ ੩త͖ͭܕͷ൛ॲཧγεςϜ45:4'*ʹ͍ͭͯհ͠·ͨ͠ w ҙຯ্ͷओͳಛɿ r ϘοΫεྻʹΑΔάϦϑͳͲͷऔΓѻ͍ rςΩετͱจ຺ΛϘοΫεྻʹม͢Δവͱͯ͠ͷίϚϯυ r छʑͷࠐΈവͰ੍͖ͰޚΔߦׂॲཧ r ޠݴ%4-Λ༻ͯ͠ΤϥʔใࠂΛਝ͔ͭ໌շʹอͭͨΊͷɼ ଟஈ֊ͮ͘جʹࢉܭϚΫϩߏػ w ͋Γ͕͍ͨ͜ͱʹ༗ࢤͷํʑʹΑΓपลπʔϧύοέʔδ ਫ਼ྗతʹ։ൃ͞Ε͍ͯΔ ·ͱΊ
- 84. • Rowan Davies.A temporal-logic approach to binding-time analysis. In Proc. of LICS’96, pp. 184–195, 1996. • Sebastian Erdweg and Klaus Ostermann. Featherweight TeX and parser correctness. In SLE 2010. LNCS, vol. 6563, pp. 397–416, 2011. • Steve Ganz, Amr Sabry, and Walid Taha. Macros as multi-stage computations: type-safe, generative, binding macros in MacroML. In Proc. of ICFP’01, pages 74–85, 2001. • Benedict Gaster and Mark Jones. A polymorphic type system for extensible records and variants, 1996. • Oleg Kiselyov. The design and implementation of BER MetaOCaml. In Functional and Logic Programming. FLOPS 2014. Lecture Notes in Computer Science, vol 8475, 2014. • Donald Knuth and Michael Plass. Breaking paragraphs into lines. So︎ftware–Practice and Experience, 11, pages 1119–1184, 1981. • Franklin Liang. Word Hy-phen-a-tion by Com-put-er. Ph. D. thesis, Stanford University, 1983. • Andres Löh and Ralf Hinze. Open data types and open functions. In Proc. of PPDP’06, pp. 133–144, 2006. • Atsushi Ohori. A polymorphic record calculus and its compilation. In ACM Transactions on Programming Languages and Systems, 17(6), pages 844–895, 1995. • Didier Rémy. Type inference for records in a natural extension of ML. Theoretical Aspects of Object- Oriented Programming. Types, Semantics and Language Design, pages 67–95, 1993. • Walid Taha and Tim Sheard. Multi-stage programming with explicit annotations. Theoretical Computer Science, 248 (1-2), pp. 211–242, 2000. • Unicode Consortium. Unicode Standard Annex #14: Unicode Line Breaki︎ng Algorithm (Unicode 10.0.0). http://unicode.org/reports/tr14/, 2017. • W3C ຊޠ൛λεΫϑΥʔεʰW3C ٕज़ϊʔτ ຊޠ൛ॲཧͷཁ݅ʱ౦ػిژେֶग़൛ہ, 2012. ࢀߟจݙ