いつもご覧いただきありがとうございます。 このブログは２０２２年の社労士試験に向けての記録になります。 国民年金法１回目のテキスト＆チェックテストまで終了しました。 テキストは残り３冊となりました。 といってもまだテキストは届いていません。 過去問題集は次々と発送され、手元に届いていますが、今は過去問の「労働者災害補償保険法」１回目に取り組んでいる所です。 次のテキストが届くまで、しっかりと問題に取り組みたいと思います。 今日も一問を丁寧に解いていきます。 今日の問題 選択肢を読む 論点になる得る所を探す 当てはめるべき知識は 労災保険が適用される事業とは？ それは、どんな事業所か？ 暫定任意適用事業とは？ 探し当てた知識を問題文に当てはめる 適用労働者とは？ 適用されないもの 適用が除外される事業には 答えは 今日のひとこと 今日の問題 選択肢を読む 労災保険法は、市の経営する水道事業の
いつもご覧いただきありがとうございます。 このブログは２０２２年の社労士試験に向けての記録になります。 娘が将来の夢を少し語ってくれました。 それを聞いて私は娘の成長をとても頼もしく感じました。 私も頑張ろう。 今日も一問を丁寧に解いていきます。 今日の問題 論点になり得る所を探す 当てはめるべき知識を頭の中から探す 探し当てた知識を問題文に当てはめる 今日のひとこと 今日の問題 第１号被保険者としての保険料納付済み期間を１５年有し、当該期間以外に保険料納付済期間、保険料免除期間及び合算対象期間を有しない老齢基礎年金を受給中の６６歳の者が死亡した。死亡の当時、その者に生計を維持されていた子がいる場合は、当該子に遺族基礎年金が支給される。 論点になり得る所を探す 遺族基礎年金について 第１号日保険者としての保険料納付済期間１５年と老齢基礎年金を受給中の６６歳の者が死亡した時、この者が本当に死
片山卓也. 法令工学の実践 国民年金法の述語論理による記述と検証. 第5版, JAIST Press, 2023, 146p. Other 国民年金法のような行政サービスに関する法令は，その内容は明確であり，文章上の見かけの複雑さの割には論理的深度は深くない．したがって，論理式などの形式的体系によってその内容を記述することにより，可読性が高く，機械的なテストや分析が可能な法令記述が得られる可能性が高い．このような法令は我々の社会の制度的基盤であり，その実働化IT システムが我々の社会生活を支えていることを考えると，法令に対する形式的技術の確立は非常に重要である. 本書は，このような立場から国民年金法の基本的条文の述語論理による記述と定理自動証明器（SMT ソルバー）Z3Py による検証について述べたものである．近年の定理証明技術の進歩や計算機システムの高性能化により，このような技術は行政サ
4月16日は女子マラソンの日、大志を抱く日、国民年金法公布記念日、チャップリンデー、エスプレッソの日、ヴィラデスト、えのすいの日、SWEET SIXTEEN文化の日、等の日＆話題 - 風に吹かれて旅するブログ (話題・記念日＆ハッピートーク)
4月16日は何の日? その日の出来事は? 2023年(令和5年） 4月16日は女子マラソンの日、大志を抱く日、国民年金法公布記念日、チャップリンデー、エスプレッソの日、ヴィラデスト、えのすいの日、SWEET SIXTEEN文化の日、等の日です。 ●『女子マラソンの日』 ： １９７８（昭和５３）年のこの日、東京・多摩湖畔で日本初の女子フルマラソン大会「第１回女子タートルマラソン全国大会」が開かれました。参加者は４９人でした。 女子マラソン強豪列伝 歴史をつくったヒロインたち (ベストセレクト) 作者:川口素生 ベストブック Amazon ※オリンピック女子マラソン 日本人のメダル受賞者 2004年 アテネ 金メダル 野口みずき 2000年 シドニー 金メダル 高橋尚子 1996年 アトランタ 3位銅メダル 有森裕子 1992年 バルセロナ 2位銀メダル 有森裕子 ●『大志を抱く日・ボーイズ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
テキスト国民年金法１回目まで終了 - アラフィフ主婦、社労士を目指す
今日から過去問：国民年金法 - アラフィフ主婦、社労士を目指す
IRDB - 法令工学の実践 国民年金法の述語論理による記述と検証