タグ

2016年12月28日のブックマーク (3件)

  • 「非正規公務員にも賞与を」提言 総務省、法改正検討へ:朝日新聞デジタル

    地方自治体で働く非正規公務員の採用や処遇のあり方を検討してきた総務省の有識者研究会(座長・高橋滋法政大教授)は27日、非正規公務員にも賞与(期末手当)などの手当を出せるよう法改正を求める報告書をまとめた。総務省は今後、必要な法改正の検討に入る。 非正規の国家公務員に手当を支払う規定はあるが、現行の地方自治法によると、自治体で働く非正規公務員には賞与などを支給できない。非正規で働く臨時職員や非常勤職員はもともと、臨時的な仕事や専門性が高い仕事に就くことが想定されていて、支払うのは仕事に対する「報酬」とされているためだ。自治体が独自の判断に基づいて賞与などを支給するケースはあるが、法的根拠のない支給だとして、その是非を巡って訴訟になった例もある。 報告書は、自治体の非正規公務員の給与体系を見直し、通勤手当の支給や、6カ月以上働く人を対象に期末手当の支払いなどを検討するよう求めた。これを受け、総

    「非正規公務員にも賞与を」提言 総務省、法改正検討へ:朝日新聞デジタル
    daybeforeyesterday
    daybeforeyesterday 2016/12/28
    賞与を、出しましょうよー
  • 阪急・阪神・能勢・北急で使える磁気カード、2017年4月発売

    「スルッとKANSAI」対応カードの発売終了にともない、阪急電鉄、阪神電鉄、能勢電鉄、北大阪急行が、4社で使える磁気カード「阪急 阪神 能勢 北急レールウェイカード」を2017年4月1日に発売します。 「スルッとKANSAI」の後継として 阪急電鉄、阪神電鉄、能勢電鉄、北大阪急行は2016年12月27日(火)、4社の路線で利用できる新しい共通磁気カードを2017年4月1日(土)から発売すると発表しました。 名前は「阪急 阪神 能勢 北急 レールウェイカード(Railway CARD)」です。2017年3月31日(金)に発売が終了する「スルッとKANSAI」対応カードに代わり登場します。 阪急電鉄、能勢電鉄、北大阪急行で発売される「阪急 阪神 能勢 北急レールウェイカード」のデザインイメージ(画像出典:阪神電鉄)。 発売箇所は4社および神戸高速線の各駅(一部駅を除く)券売機です。大人用は10

    阪急・阪神・能勢・北急で使える磁気カード、2017年4月発売
    daybeforeyesterday
    daybeforeyesterday 2016/12/28
    うーむ
  • ロビンソン算術 - Wikipedia

    数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、Robinson (1950)において最初に導入された。Qは質的にはPAから帰納法の公理図式を取り除いたものである。それゆえQはPAよりも弱いが同一の言語を持つ不完全な理論である。Qは重要かつ興味深い対象である。というのもQは質的決定不能かつ有限公理化可能なPAの部分理論だからである。 公理[編集] Qの基盤となる理論は等号付き一階述語論理である。言語は次の構成要素からなる: 定項記号: 0 単項関数記号: 後者 二項関数記号: 加法 と乗法 次に示すQ'の公理(Q1)–(Q7)はBurgess (2005)による。束縛されていない変数記号は暗黙的に全称量化されているものと考える。すなわちQは以下に示す論理式の全称閉包を公理とする: 0 はい

    daybeforeyesterday
    daybeforeyesterday 2016/12/28
    わぁいロビンソン算術、あかりロビンソン算術大好き