Arai

こんにちは

Arai

こんにちは

    • 土浦一高の電子通信部

      • 土浦一高の電子通信部

    ソフトウェア・ライセンスの命題論理

    ソフトウェア・ライセンスのプランを変更する際に命題論理を用いて，形式的に機能制限の設計を行うことができる． たとえば，次のようにプランが再設計されたものとする． $$ \begin{align} p &\implies v \\ q &\implies v \lor w \end{align} $$ ここに，$${p}$$や$${v}$$などはプランの種名辞である．上の式は，プラン$${p}$$が$${v}$$に変更され，またプラン$${q}$$が$${v}$$と$${

    Arai

      • 土浦一高３年生のためのVintage小テストカレンダー（後編差分）

        上の記事で配信した Vintage 小テストカレンダーの後編の差分を配信します。 カレンダーへの追加の方法は上の記事をお読みください。

        1
        Arai

        • 文化祭のデザイン物について

          備忘録として。 ソーシャルメディアのアカウント管理は、Hootsuiteなどのソーシャルメディア管理ツールを使うことを推奨する。 理由は、文化祭で管理するアカウントが複数個あるとそれぞれに投稿の時間設定をかけることが大変になるからだ。Hootsuiteなら同時投稿もできる。そして有料版であれば、投稿権限を付与するときにパスコードなどの認証情報を渡す必要がない。これはコンプライアンス上重要である。 また、ソーシャルメディアの投稿に付属する画像等のメディアに関しては、Adob

          1
          Arai

          • 機能は後から有料化してはいけない

            Nanaという音楽系ソーシャルネットワークサービスを知っているだろうか。 https://nana-music.com/ 歌ってみたをアプリで作れるという主に若者向けのサービスだ。 このアプリのレビュー欄を見ていると、その酷さに驚いた。 「シークレット機能を有料化するのは金儲け」だの、「課金を親に言うのは学生にとって嫌なもの」だの醜い言葉が目立つ。伊武雅刀「子供達を責めないで」の歌詞に出てくるような子どもたちである。 そこで、次のような疑問が浮かんだ。 既存の機能を有料化

            1
            Arai

          マガジン

          マガジンをすべて見る すべて見る
          • 土浦一高の電子通信部
            Arai

          記事

          記事をすべて見る すべて見る

            記事を部活動のソーシャルメディアに投稿するショートカットを作成しました

            みなさん、iOSのショートカットアプリは使っていますか？毎日行うルーティーンを自動化してくれるAppleのアプリです。 今回は、部活動のコミュニケーションツールアプリBANDと部活動の公式Twitterアカウントに記事を一度で投稿できるショートカットを作りました。BAND APIを利用している所がミソです。 詳しくは下の記事に書いてありますので、お読みください。 下の記事ではTwitterへの投稿の節を割愛していますが、「ツイート」にツイート文を代入するだけです。

            2
            Arai

            文化祭公式Twitterアカウントの自動リツイート等について

            こんにちは。@yudukikun5120です。今回は、文化祭公式Twitterアカウントの運用に関して述べたいと思います。 一高祭（茨城県立土浦第一高等学校文化祭）の特徴本文化祭の組織の単位は、基本的に委員会です。その他、クラス企画の組や、部活動の部がありますが、それらも一の委員会の下に置かれる形となっています。 代表の役割を果たしているのが「運営委員会」であり、その下に数々の委員会が存在します。 組織の特徴として言われるのが、官僚型組織であるということです。縦の繋がり

            2
            Arai

            Micro:bitをLINE Beaconとして利用する

            こんにちは。今回は、BBC Micro:bitとLINE Beaconについて学んでいきたいと思います。 動機昨年度の文化祭より、Google Formでアンケートフォームの運用を開始したのですが、流入点を文化祭ウェブサイトに限っていたこともあり、芳しい結果を得ることができませんでした。 そのため、LINE Beaconを校門に設置し、入場時にはパンフレットなどのメッセージを、退場時にはフォームリンクを配信するようにすれば、タッチポイントを増やすことができ、当課題を解決で

            8
            Arai

            ［解説］小テストの予定をカレンダーに追加する

            公開した「土浦一高２年生のためのVintage小テストカレンダー」という記事の背後について書きます。 制作動機iCalenderについて学びたかったことと、小テストの予定を確認するために紙を取り出すのが億劫極まりなかったことです。 Google Calendar か iCalender か 自分以外の人に使ってもらいたかったので、Google Calenderで新しいカレンダーを作成し、公開用リンクを発行することで解決しても良かったのですが、新規照会カレンダーの設定などが

            1
            Arai

            土浦一高２年生のためのVintage小テストカレンダー

            本記事の対象は、令和元年度茨城県立土浦第一高等学校第二学年の生徒です。 本記事では、英語科小テスト「英文法・語法 Vintage 小テスト」の予定をスマートフォンのカレンダーアプリで確認できるようにします。 現在（令和2年1月19日）時点では、来年度（4月）以降の予定が未定です。 追加する方法LINEのブラウザではなく、SafariやChromeなどのブラウザをお使いください。 1. 以下のファイルをダウンロードします。 2. 「このWebサイトはカレンダーの参加依

            1
            Arai

            note始めます

            こんにちは。私は茨城県立土浦第一高等学校の電子通信部の荒井（@yudukikun5120）と申します。 この度、本部活動を皆様にお伝えするために、noteを始めることにしました。 そもそもどのような活動を行っているのか？「電子通信部」という名前は少しわかりづらいですが、情報技術や電子工学が好きな人が集まっている部です。ゲームを作っている人もいます。 昨年の文化祭（第72回 一高祭）では、文化祭公式ウェブサイトを制作しました。既存のホームページ作成ツールを利用せず、バック

            2
            Arai