初めての人でも１週間で会社を起業する為の手順と流れ | 経営支援ガイド
設立コストがかかる：株式会社を設立する場合、定款認証手数料や登録免許税など24万円程度コストがかかります。 社会保険料の支払いが発生する：社会保険への加入が必要です。従業員が増えるほど会社が負担する社会保険料も増加します。 法人住民税の均等割：赤字であっても年間およそ7万円を納めなければいけません。 報酬：社長の給料は1年間変更できません。所得税と住民税がかかるため、高額な役員報酬を設定すると税負担が大きくなるケースがある。 必要な手続きが多い：源泉徴収の納付や各種保険の手続きなどやるべきことが多いです。 まだ売上げや利益計画に確実な見込みがない場合は個人事業主から始めるのも良い選択肢です。または、株式会社より設立費用の安い合同会社という選択肢もあります。 ※合同会社のメリットは、『急増中！起業を考えているなら知っておきたい合同会社のメリット6つ』をご覧下さい。 一方で、例えば、合同会社や
Coqと少しの圏論が分かる人向けのhomotopy type theory(その1) -
The HoTT Book http://homotopytypetheory.org/book/ が完成したらしいけど、どっちかというと、数学者向けに書かれてて500ページもある。homotopy type theoryで今できてることって、CoqやAgdaで書いたら、せいぜい数千行とか、そんなもんじゃないかと思うので、長すぎる気がする 一応、HoTTに関わる知識は、型理論の他に、ホモトピー論や圏論(モナドとかHaskell関連で出てくる類の知識はあまり知らなくてもいいけど、higher categoryとか教科書に書いてなさそうな話題や、モデル圏とかを知ってるといい)があって、全部真面目に勉強しようと思うと、それぞれのテーマで一冊以上の本が書ける。ただ、実際には、ホモトピー論や圏論はアイデアや視点を提供しているだけで、あくまでCoqやAgdaで書かれてる部分が重要なので、ホモトピー論や
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
