はじめまして、小林寛展（こばやし ひろのぶ）と申します。弊社のブログに初めて投稿させていただきます。 今後は定期的に投稿を行っていく予定ですので、どうぞよろしくお願い申し上げます。

まずは簡単に自己紹介をさせていただきます。現在、社外取締役として活動していますが、本席は株式会社北海道総合技術研究所（HIT技研）名古屋支社（札幌）に所属しています。 平成5年（1993年）に入社し、一貫してシステム開発・保守業務に従事しており、現在に至ります。今年の4月で入社から33年目を迎え、年齢は53歳（札幌市生誕）です。入社後の特性としては、道外勤務が多かったことが挙げられます。 入社10年目には、上長の勧めもあって東京に赴き、電気メーカーの資材調達管理システムの開発・運用・保守を約10年間担当しました。その後、現在も利用されているシステムの構築プロジェクトに関われたことに、少し誇らしさを感じています。その後、横浜で自治体系のシステム開発プロジェクトの管理者として約2年間従事し、令和3年（2021年）には福岡でRPA（ロボティック・プロセス・オートメーション）システムを用いた業務移行支援に2年ほど関わっていました。リモートワークとは無縁で、ほぼ100％現地オフィスでの業務でした（笑）。こうした経験を通じて、私のポリシーは「現場主義」となっていますが、すべてが順調に進んだわけではありません。その過程で予期しない問題に直面することも多々ありました。直球勝負（力技）で乗り越えようとすることが、私自身のウィークポイントであると認識しています。今後は、HITグループ全体の戦略や長期的な視野を持ち、適切に判断していくことが重要だと考えています。

　早いものですでに７月になり、今年も半年がすぎてしまいました。今年の６月は、30度を超える日が多々あり、これまで７月にならないとエアコンを使用したことのない旭川でも何回かエアコンを使用してしまいました。それでも時々雨が降るので、菜園に水やりをする必要性は余りありませんでした。

 　前回、推論を証明するには条件文を論理積に書き直し、条件の記述を論理計算として行うときトートロジーが成立していれば推論が正しいことを示しました。今回は、この計算を用いて三段論法が正しいことを証明したいと思います。

 　三段論法には、論理数学では三段論法（肯定法）、三段論法（否定法）、離接三段論法、仮言三段論法、などがあります。この中で仮言三段論法は世間で言われる三段論法に匹敵します。ここではトートロジーの計算に慣れるために三段論法（肯定法）を証明し、次に仮言三段論法を証明したいと思います。

 　三段論法（肯定法）は、推論式でA、A→B=>Bが成立することです。これはAが真であり、A→B（AならばB）が真である時、Bは真であるというものです。これを論理式で表すと

　　　[A^ (A→B)] →B

となります。論理計算の条件文の計算

 

　　　｜ A ｜ B ｜A→B｜

　　　 ―――――――――

　　　｜ T ｜ T ｜   T    ｜

　　　｜ T ｜ F ｜   F    ｜

　　　｜ F ｜ T ｜   T    ｜

　　　｜ F ｜ F ｜   T    ｜

       　―――――――――

 

を参照しながら[A^ (A→B)]→Bを計算すると以下のようになります。

 

　　　｜ A ｜ B ｜A→B｜A^ (A→B) | [A^ (A→B)]→B |

　　　 ――――――――――――――――――――――――

　　　｜ T ｜ T ｜   T   ｜       T       |           T           |

　　　｜ T ｜ F ｜   F   ｜       F       |           T           |

　　　｜ F ｜ T ｜   T   ｜       T       |           T           |

　　　｜ F ｜ F ｜   T   ｜       T       |           T           |

　      ――――――――――――――――――――――――

 

計算結果は[A^ (A→B)]→BがすべてT（真）となりトートロジーが成立しています。従って、この推論は正しいことになります。

 

　いよいよ世間で言われる三段論法すなわち仮言三段論法を証明します。仮言三段論法はA→Bが真、B→Cが真であればA→Cが真であるというものです。これを推論式で書くと

　　　A→B、B→C=> A→C

となります。これを論理式で書き直すと

　　　[(A→B)^ (B→C)]→(A→C)

となります。この計算はA、B、Cの（T、F）の組み合わせが８通りになりますので。計算の表が大きくなりますが、条件文の計算表を参照しながら頑張って行なってみます。

 

　　　｜ A ｜ B ｜ C ｜A→B | B→C | (A→B)^ (B→C) | A→C |[(A→B)^ (B→C)]→(A→C) |

　　　 ―――――――――――――――――――――――――――――――――――――――――

　　　｜ T ｜ T ｜ T ｜   T    |    T    |           T           |    T   |                 T                 |

　　　｜ T ｜ T ｜ F ｜   T    |    F    |           F           |    F   |                 T                 |

　　　｜ T ｜ F ｜ T ｜   F    |    T    |           F           |    T   |                 T                 |

　　　｜ T ｜ F ｜ F ｜   F    |    T    |           F           |    F   |                 T                 |

　　　｜ F ｜ T ｜ T ｜   T    |    T    |           T           |    T   |                 T                 |

　　　｜ F ｜ T ｜ F ｜   T    |    F    |           F           |    T   |                 T                 |

　　　｜ F ｜ F ｜ T ｜   T    |    T    |           T           |    T   |                 T                 |

　　　｜ F ｜ F ｜ F ｜   T    |    T    |           T           |    T   |                 T                 |

       ―――――――――――――――――――――――――――――――――――――――――

 

　最後の列（最も右側の列）の計算結果がすべてT（真）となり、トートロジーが成立しました。従って、論理数学的にも世間の三段論法は正しいと証明されました。これはA→BがTでB→CがTであるときはすべてA→CがTになっていることからも確かめられます。

 

　コンピューターの最も基本的な計算は、論理計算であることはコンピュータを勉強し始めるときに最初に教わると思います。この論理計算が推論の計算を行えることはコンピューターが推論を行えることを示しています。１９８０年台にAIのエキスパートシステムが興隆したのは推論エンジンとして論理計算が推論計算を行えるからだったのです。

 

　このブログはホームページの鮮度を維持するために、役員で順番にテーマは何でもいいから書き続けようと
ということで始まりまして、いまだに続いているものです。私自身は社長退任した時に自分自身のそれこそ鮮度に疑問を感じまして、このブログメンバーから足を洗わせてもらいました。ところが今回相談役になりまして
周囲のどうせ相談役は暇なんだからなんかやってよ、という視線に耐え切れず思わず再開してもいいよ、なんていう言葉を発してしまいましてまた参加することになりました・・のでよろしくお願いします。

　ところで今回はドイツのサッカーの帝王ことベッケンバウアーの言葉・・・強いものが勝つのではない、勝ったものが強いのだ・・・について一言申し上げたいと思います。私はサッカーはあまりファンとは言えない人間なんですが、これは1974年の西ドイツでのワールドカップの優勝時の言葉です。その頃の私は会社に1970年に入って営業マンのまだ下っ端でコンピュータの販売で苦労していたころでした。販売競争では他のコンピュータ会社とのし烈な競争、社内では同期入社とのいわゆる出世競争の日々で、要領の悪い東北出身の
サラリーマンにとっては、敗者にとっては言い訳無用よ、勝負事は結果がすべてよ、というこの言葉に何度救われたことか、のちに自分で会社を経営する立場に立ってもこの潔さは貴重な戒めとなりました。

　これからこの変化激しいIT業界に生きていくわが社の社員にもこの潔さを大事にしてもらって、あと数十年後にしかわからない自分の勝敗のために日々をくよくよしないで生きていき、勝てば儲けもの、負けても運がなかった、ぐらいの気持ちで成長していただきたいと願っております。

　先月の弊社株主総会を持ちまして、成田が社長に就任いたしました。
私は会長として務めさせていただきますが、新役員体制の元、皆様のお役にたてる様に尽力して参りますので、引き続きご指導の程宜しくお願いします。
　また私はグループ会社、北海道総合技術研究所の今月の株主総会を持ちまして、ＨＩＴ技研の取締役を退任（定年）いたしました。
あらためまして長い間、ご指導、お付き合い下さいました皆様に感謝申し上げます。
ありがとうございました。
　完全にＨＩＴ技研グループから離脱する訳ではありませんので、特に気にしていませんでしたが、いざＨＩＴ技研の取締役を退任して直接的な経営に関わらない事を考えると、少々寂しさを感じていると言うのが本音です。
私のこれからのスローガンはスリーT（Together）としました。
「共に楽しみ、共に成長し、共に未来を創る」です。
　今後も弊社の経営者として、特に社員育成に重きを置きＨＩＴ技研グループの発展に向けて、より一層精進して参りますので引き続きご指導下さいますよう、そして「共に」宜しくお願いします。

IT企業の技術の進化は目覚ましく、私達は常にその最前線で変化を感じています。
かつて未来の技術と言われた技術が現実となり、数年前の常識が今日には通用しないといったことが日常です。

ITという業態に囚われず、企業の在り方を考えた場合、この「変化」という概念の捉え方が重要になると思います。

そう考えると将来に向けた判断と過去の意思決定（言動）との矛盾は時間の経過とともに変わるのは必然と言えるでしょう。
数年前の最善の選択が、現在の状況においては必ずしも最適ではない、というケースは多々あります。

それを矛盾と捉えるかどうかで、企業としての柔軟性が問われるのではないでしょうか？

私たちが大切にすべきなのは、この変化への適応力です。過去の自分たちの判断や言動に固執し、「矛盾」を恐れて新しい一歩を踏み出せない企業は、時代の流れに取り残されてしまいます。

もちろん、やみくもに方針を変えることはリスクを伴います。しかし、過去の成功体験や失敗体験が、時に未来への足かせとなることも事実です。市場の変化、顧客ニーズの多様化、競合の動向など、常に多角的な視点から状況を分析し、過去のしがらみに囚われずに最適な判断を下す勇気が、現代の企業には求められています。

では、何が「変わらぬもの」なのでしょうか。それは、企業の根幹をなす理念であり、ビジョンであり、そして顧客への価値提供という揺るぎない使命であり、それらが変わらぬ「企業の軸」となります。

技術や市場がどんなに変化しようとも、私たちが社会にどのような価値を提供したいのか、どんな未来を創造したいのか、という軸は決してブレてはいけません。この変わらぬ軸が無ければ、私たちは変化の波を乗りこなし、柔軟な意思決定することができません。

変化を恐れず、しかし軸はぶらさない。
この二つのバランスを保ちながら、これからも未来を創造していきたいと考えています。

皆さんの会社では、「変わるもの」と「変わらぬもの」について、どのような哲学をお持ちでしょうか？