5. |
A 2019-05-15 03:34:30 Jim Breen <...address hidden...>
|
|
Comments: |
OK, I guess. Hard to be more concise. |
4. |
A* 2019-05-15 02:13:53 Rene Malenfant <...address hidden...>
|
|
Comments: |
i agree. something like this matches both intentions although it is wordy. may 4 is worth recording though, i feel |
|
Diff: |
@@ -14,2 +14,2 @@
-<gloss>National People's Day</gloss>
-<gloss g_type="expl">1985-2006 holiday on May 4, replaced by Greenery Day</gloss>
+<gloss>citizen's holiday</gloss>
+<gloss g_type="expl">by law, any weekday that falls between two other national holidays (e.g. between 1985 and 2006 May 4, now Greenery Day)</gloss> |
3. |
A* 2019-05-11 14:19:44 Marcus Richert <...address hidden...>
|
|
Refs: |
https://ja.wikipedia.org/wiki/国民の休日
"国民の休日(こくみんのきゅうじつ)は、日本において、国民の祝日に関する法律(祝日法)第3条第3項[1]で定められた休日の通称である。
憲法記念日など固有の名称を持つ休日が祝日法の第2条で「国民の祝日」(祝日)という総称のもと羅列的に規定されているのに対し、この「国民の休
日」は第3条第2項による「振替休日」と同様に「国民の祝日」と区別して規定されている。なお祝日法においてはこの「国民の休日」と「振替休日」は
いずれも固有の名称を持たない単なる休日だが、本記事中では便宜上区別して表記する。
...
前後が祝日である平日は、国民の休日となり、休日となる。
元々、5月上旬における飛石連休の解消・改善を望む当時の世論に応える形で1985年12月27日に祝日法が改正され、導入されたものであるが、5月4日に
限らず、祝日と祝日に挟まれた平日を全て休日にする制度であることから、後の祝日移動に伴い、5月以外の月にも国民の休日が現れることとなった。" |
|
Comments: |
I should maybe have been clearer - I think GG5 has it wrong. I think the note "by law, any weekday that falls between two
other national holidays" was correct but I was questioning how suitable "national holiday" itself was as the main gloss. |
2. |
A* 2019-05-02 11:15:54 Jim Breen <...address hidden...>
|
|
Refs: |
GG5,
https://en.wikipedia.org/wiki/Public_holidays_in_Japan |
|
Comments: |
This might be better. |
|
Diff: |
@@ -13 +13,3 @@
-<gloss>national holiday (by law, any weekday that falls between two other national holidays)</gloss>
+<xref type="see" seq="1555310">みどりの日・みどりのひ</xref>
+<gloss>National People's Day</gloss>
+<gloss g_type="expl">1985-2006 holiday on May 4, replaced by Greenery Day</gloss> |
1. |
A* 2019-05-02 10:49:11 Marcus Richert <...address hidden...>
|
|
Refs: |
gg5
こくみんのきゅうじつ【国民の休日】 □(kokuminnoky□jitsu)
〔5 月 4 日〕 National People's Day.
but that's a typo or whatever as it's actually May 2.
https://en.wikipedia.org/wiki/Public_holidays_in_Japan
"Extra Holiday" |
|
Comments: |
I feel that "national holiday" is maybe not the best gloss? |
|
Diff: |
@@ -10,0 +11 @@
+<pos>&exp;</pos> |