PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介
1 like3,903 views
第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022， https://jssst-ppl.org/workshop/2022/index.html ）にて招待講演として発表させて頂いた際のスライドです． 以下のページでも閲覧可能です： https://gfngfn.github.io/ja/posts/2022-05-11-slides-ppl2022-invited/
![େผͯ͠छྨɿ
จॻ࡞ιϑτΣΞͷܗଶ
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)
![[DL輪読会]Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets](https://cdn.slidesharecdn.com/ss_thumbnails/20220325okimura-220405024717-thumbnail.jpg?width=560&fit=bounds)
More Related Content
What's hot (20)
More from T. Suwa (7)
Recently uploaded (20)
PPL 2022 招待講演： 静的型つき函数型組版処理システムSATySFiの紹介
- 1. gfngfn
- 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.
- 9. XSBQQFS͕ޠݴ༩͑ʹ͔ͬͨ͘ΓΤϥʔใࠂ͕ෆͩͬͨΓ͢Δ ཁҼɼओʹ59ͷͭૢ࡞తҙຯͷෳࡶո͋ʹ͞حΔɿ w ࣈ۟ղੳʹ͍ۙ͜ͱ͢Δ͕ɼநߏจͷ֓೦ͳ͍ w ੍ޚ௲ʢfooʣͷల։ޙଓτʔΫϯྻʹର͢ΔύλʔϯϚονϯά r l{ހׅʜ}͕Γ߹͍ύλʔϯʹ߹க͢Δ࠷ͷτʔΫϯྻ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 TYpesetting System for Functional Implementation ʢ͔ͳΓڧҾͳ͚ͭ͜͡ʣ
- 13. ߏจ͕େผͯ͠ʹ͔Ε͍ͯΔ ಛ +section{SATySFi;ͷ}ྫߘݪ +p{ PPLͰemph{2ճͷൃද}Ͱ͢ɽ ͓ੈʹͳΓ·͢ɽ } let-inline ctx emph it = 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 ·ͱΊ ࣍
- 20. w ։ൃಈػɾతҙࣝ w ಈ࡞σϞ wจࣈ൛ͷఆࣜԽͱͦͷ͚ͭܕ w จॻͷϚʔΫΞοϓํ๏ͷఆࣜԽ w ߦׂॲཧͷΈ w ଟஈ֊ࢉܭϕʔεͷϚΫϩʹߏػΑΔ%4- w ༗ࢤͷํʑʹΑΔपลπʔϧɾύοέʔδ w ·ͱΊ ࣍
- 23. ॲཧܥͷߏͷࣜਤ ֤ϖʔδͷ༰ ϖʔδׂॲཧ ߦͷ࿈ͳΓ ߦׂॲཧ “ശ” ͷਫฏͳ࿈ͳΓ มث PDFग़ྗߏػ OpenType ϑΥϯτ ʢίϚϯυΛؚΉʣ ςΩετ ධՁث ثࠪݕܕ {The quick brown fox ʜ } ʜ ʜ ʜ
- 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ͷ ਐߦ෯
- 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 ·ͱΊ ࣍
- 37. 9.-ʹ͍ۙཁྖͰɼߘݪΛ%5ʢతσʔλܕʣͰѻ͏ʁ ΫϥεϑΝΠϧ͕%5Λఆٛ͢Δ͜ͱͰϚʔΫΞοϓํ๏Λنఆ͢Δͱɼ ΫϥεϑΝΠϧΛ͏ΤϯυϢʔβଆͰϚʔΫΞοϓͷఆٛΛ֦ு͠ʹ͍͘ w ͍ΘΏΔYQSFTTJPOQSPCMFN w 0QFOEBUBUZQFT-ÖI)JO[F͕͋Ε֦ுͰ͖Δ͕ɼ σʔλΛ͏ଆͷവͷෳࡶԽ͕ґવආ͚ʹ͍͘ r 0$BNMͰ͍͏type += of YQSFTTJPOQSPCMFNͱແԑʹͳΔΑ͏ͳఆࣜԽͰ͖ͳ͍͔ʁ ͍ΘΏΔ5BHMFTTpOBMతͳఆࣜԽΛ͢ΔͱΑͦ͞͏ t C τ %5ͰߘݪΛهड़͢Δʹ͋Γ
- 38. ߘݪͷྫʢ࠶ܝʣɿ ݱঢ়ͷهߘݪड़ํ๏ +section{SATySFi;ͷ}ྫߘݪ +p{ PPLͰemph{2ճͷൃද}Ͱ͢ɽ ͓ੈʹͳΓ·͢ɽ } w {ʜ}ɿΠϯϥΠϯςΩετ w ʜɿϒϩοΫςΩετ w fooɿΠϯϥΠϯίϚϯυ r ΠϯϥΠϯςΩετதͷϚʔΫΞοϓ w +fooɿϒϩοΫίϚϯυ r ϒϩοΫςΩετதͷϚʔΫΞοϓ ΠϯϥΠϯςΩετ{ }ͷࣜܗɿ it it ::= [it]* it ::= char | [e]* จࣈʢʹ6OJDPEFίʔυϙΠϯτʣ ίϚϯυద༻ foo
- 39. ·ͣɼίϚϯυద༻͕ͳ͘จࣈྻ͚ͩͷ߹ͷม؆୯ɿ ݱঢ়ͷॲߘݪཧํ๏ͷఆࣜԽ {The quick brown fox 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 quick brown fox jumpsʜ} Ctx ʜ ܕread-inline: context → inlinetext → inlineboxes ΠϯϥΠϯςΩετʹͭ͘جຊܕ
- 42. ίϚϯυΛదʹఆٛ͢ΕҎԼͷཁྖͰม͖ͰΔΑ͏ʹ͍ͨ͠ɿ ίϚϯυద༻ΛؚΉ߹ʹҰൠԽ read-inline {The emph{quick brown} 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{quick brown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ The emph{quick brown} foxʜ Ctx
- 45. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quick brown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx
- 46. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quick brown} 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{quick brown} 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{quick brown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx quick brown Ctx′
- 49. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quick brown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx brown Ctx′
- 50. ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quick brown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ emph{quick brown} foxʜ Ctx Ctx′
- 51. foxʜ ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quick brown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ Ctx Γ͕ίϚϯυద༻ͷ͋ͬͨՕॴʹૠೖ͞ΕΔ
- 52. foxʜ ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quick brown} foxʜ} Ctx ʜ ͱ͍͏ධՁͷ్தܦաΛͯݟΈΔ Ctx
- 53. ʜ ίϚϯυద༻ͷධՁͷΠϝʔδ read-inline {The emph{quick brown} 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 ࠐΈവ 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
- 57. ͜͜·Ͱͷ·ͱΊ ΠϯϥΠϯ ϒϩοΫ Ϙ ỽ Ϋ ε ྻ ς Ω ε τ +p{ The quick 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 b2 Ctx ʜ ʜ ʜ 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 ͱΓΘ͚ύοέʔδͷ࣮ʹͳ͔ͳ͔ҖྗΛൃش w 59- 59ͱ45:4'*྆ํͰ৺ʹύοέʔδΛॻ͔ΕΔํʹ ʢ59ͱൺͯʣ ʮϓϩάϥϛϯάͯ͠ͱޠݴ໌Β͔ʹָʯͱ͍͏ײΛ͑ͨ w ҰํͰɼ͚ͭܕͷ߹্Ͳ͏ͯ͠ߘݪͷهड़͕ࡶʹͳͬͯ͠·͏ ໘͕ग़ͯ͘Δ r ಛʹจॻ࡞ͷ༻్Ͱʢ൚༻ͷޠݴػࢉܭҎ্ʹʣ ෳࡶͳσʔλ؆ܿʹهड़Ͱ͖Δ͜ͱΛ·Ε͕ͪ จॻهड़্ͷߋͳΔҙࣝ
- 70. ޠݴ%4-ͷಋೖ w จࣈྻΛड͚औͬͯߏจղੳ͢ΔΑ͏ʹίϚϯυΛఆٛ͢Δ w ؆୯ͳྫɿ͋Έͩ͘͡ͷهड़ΛΞεΩʔΞʔτͰͰ͖ΔΑ͏ʹ͢Δ هड़ෳࡶԽʹର͢ΔφΠʔϰͳճආࡦ amidakuji(``` |X|-|=|/| | | |-||-|X| |=|X|-||=| |-||-|=|-| |X|=|-|| | ```); amidakuji([ [Cross; Line; ʜ ]; [Empty; Line; ʜ ]; [Double; Cross; ʜ ]; ʜ ]); ௨ ৗ ͷ ࣮ ̙ ̨ ̡ ํ ࣜ
- 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; ʜ ]; ʜ ]); ల։
- 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 – ͍ͣΕεϥΠυ࡞༻ͷΫϥεϑΝΠϧ ଞʹଟ͘ͷπʔϧύοέʔδ͕ެ։͞Ε͍ͯ·͢ ༗ࢤͷํʑʹΑΔπʔϧɾύοέʔδ
- 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. ࢀߟจݙ