ラリササフィナ— イノポリス大学上級講師、現在はユズナヤ大学で博士号取得を目指している
Haskell、Kotlinなどのプログラミング言語を学びます。
ハスリスト、関数型プログラミング、そして人気のある言語
- University Innopolisのソフトウェアの治安について、正確に何をしましたか？
- 大学から購入したプログラムです。カーネギーメロン。それは時間とともに整形されてきました、それはソフトウェア分析、建築と方法に関するコースを含みます。最も重要で興味深い部分は2学期から始まります - 学生はチームに分けられ、彼らは実際のプロジェクトに取り組んでいます。最後に、私たちの有効性は、私たちがこのプロジェクトにどのように対処したかによって評価されました。
—どのようなプロジェクトでしたか？
— 私たちは Rusnano で働いていました、そして私たちのプロジェクトは一部の都市では照明の遠隔制御 - スケジュールに従って照明を点灯します。彼らは古いソリューションを持っていましたが、新しいソリューションに切り替えたいと考えていました。
このプロジェクトでは、みんながすべてをやってくれました。誰もが何らかの役割を試みました。もちろん、ある人はある傾向を持ち、他の人は別の傾向があります。しかし、私たちのプロジェクトでは、私たち全員がコードを盗み出し、要件、テスト、そしてアーキテクチャーさえも解決しました。これがそのようなプロジェクトの主な目的です。
- どの言語を使っているのかが面白くなりました。
— 勉強中も仕事中も、複数の言語で作業します。たとえば、現時点では Kotlin で書いています。私は彼が一番好きです。しかし、私たちは Rusnano を使用してプロジェクトを主に C# で作成しました。私はテスターなので、Java を扱う必要があることがよくあり、Python、Java、C# でテストを書きました。私自身の趣味として、Haskell などの関数型プログラミング言語や、定理を証明するための形式言語 (Coq) をよく勉強します。
関数型プログラミングプロセスが次のようなプログラミング パラダイムです。計算は、(手続き型プログラミングにおけるサブルーチンとしての関数とは対照的に) 数学的な意味での関数の値を計算するものとして解釈されます。
ハスケル- 標準化された純粋関数型言語汎用プログラミング。これは、遅延コンピューティングをサポートする最も一般的なプログラミング言語の 1 つです。関数型言語なので、主な制御構造は関数です。
Coq- インタラクティブなソフトウェアツール依存型を含む独自の関数型プログラミング言語 (Gallina) を使用した定理の証明。数学の定理とその証明を書き留め、それらを簡単に変更し、その正しさをチェックすることができます。 Coq はプログラムの検証に使用されます。
形式言語— 数理論理学とコンピュータサイエンスにおいて —有限のアルファベット上の有限の単語 (文字列、チェーン) のセット。言語の概念は、オートマトン理論、計算可能性理論、アルゴリズム理論で最もよく使用されます。このオブジェクトを扱う科学理論は形式言語理論と呼ばれます。
— これはすべて素晴らしいことのように聞こえますが、これらの言語は現在実際のプロジェクトでは使用されていません。たとえば、Haskell を使用しているプロジェクトは 1 つも思い出せませんが、Haskell はほとんど使用されていません。
-私はおそらくあなたの意見には同意しません。たとえば、本番環境では Haskell が使用されます。はい、頻繁ではありませんが、それが悪い言語だからではなく、むしろハスケリストのチームを編成するのが非常に難しいためです。ただし、私は実稼働環境で Haskell を使用している人を知っています。ただ自分の楽しみのためにやっているだけです。本番環境で他の関数型言語を見たことがありませんが、一般的な開発のためにそれらを理解することは良いことです。定理を証明するための言語に関しては、学術界では、この特定のテーマに携わる場合、非常に頻繁に使用されます。
- ただし、これらは特に数学的な用途に使用されます。定理のモデル化と証明 - 言い換えれば、科学的な目的のためです。求人を見ると、ハスケリストは実際にはどこにも必要とされておらず、誰もがそれぞれ C+、Java、Python、Ruby、Go を望んでおり、さらにはフロントエンド (JavaScript) を望んでいます。しかし、ハスケリストとの出会いは本当に素晴らしい物語です。
— 形式化に役立つとだけ言っておきましょう。現実に見られるいくつかのこと。定理証明言語から Haskell までは原理的には遠くなく、Haskell から産業までは目と鼻の先にあります。つまり、すべてがそれほど悪くて役に立たないわけではありません。
これはおそらく私がいる環境に関係していると思います。そして、これは私にとってそれほど珍しいことではありません。
デンマーク、博士号およびマイクロサービス
— では、なぜそのような言語は世界の他の地域では普及していないのでしょうか?そして、なぜそれらがあなたにとって興味深いのでしょうか？
・基本的に急ぎの必要がないためそれらを使用してください。より簡単な方法で問題を解決できる場合、それが超重大なものではなく、ボーイング社のシステムのようなものではなく、より小型の武器で対処できる場合は、他の言語が選択されます。なぜ私は彼らが好きなのでしょうか？わかりません。花、本、猫など何か好きですか?なぜ猫が好きなのですか？
- シールはすべて好きです。私はあなたがデンマーク博士で得たものが好きです。 Innopolisの後はどうでしたか？
- 主を除いて、私が治安判事で勉強したとき私たちはelektivyを取らなければならなかったコース。そして私が選んだ選択科目の1つは、マイクロサービスのテーマ、より正確に言えばマイクロサービスプログラミング言語 - Jolieに関連していました。その作者は現在デンマークで働いています。私の仕事はそれに変更を加えること - 可能な演算子の1つを実行すること - を洗練することでした。
サイドバー
イノポリス大学に就職したとき、私はすでに仕事をするときに上司が私に何をしたいかを尋ねたので、私の答えは博士号を取得することでした。このとき、ジョリー語の発明者であるデンマーク出身の教授から学位取得候補者となる機会が訪れました。そこで、私たちはイノポリス大学とデンマークの大学である南デンマーク大学との共同博士課程を組織しました。
- あなたはデンマークで何を研究していますか？
- デンマークでは、私たちは1つのプロジェクトに取り組んでいます、彼マイクロサービスとわずかに関連しており、原則として、分散システム内の要素間の相互作用もあります。私の科学的指導者たちは形式化を提案しました - マイクロサービスのための世界的な仕様です。彼らはあなたが各項目の仕様を表示できることを示しました。
持っていれば使えます相互作用する要素からなるある種のシステム。オーケストレーターなしで、つまり他のすべてを制御するノードなしで、すべての要素の動作の一般的な仕様を導き出すことができれば、そこから各ノードの仕様を導き出すことができ、その逆も同様です。このようにして、各ノードの仕様を個別に作成すると、後でそれらの相互作用で問題が発生する可能性があるため、エラーから身を守ります。
南デンマーク大学。写真: ricochet64/Shutterstock
シナリオを想像してみてください。ある銀行に送金したい場合、その銀行は別の銀行に送金する必要があります。そして、ある銀行に対して 2 番目の銀行に転送するという仕様を書きましたが、2 番目の銀行では何かを受信する必要があると言うのを忘れていました。したがって、送金が受信者に届くことはありません。このシステムの全体的な説明を取得し、各参加者が実行する必要があるすべての役割とアクションを指定すると、各参加者の動作の仕様を導き出すことができ、そのような問題から身を守ることができます。
私の上司はこれを正式に定めました、2 つの理論言語を記述して、ノードのグローバル モデルと特定のノードの動作を記述します。私の仕事は、彼らが提案したモデルが他のモデルと比較してどれほど効果的かを示すために実装してテストすることです。
なぜ女性のための助成金 - それは残念です
— 私がITと女性について話したいと書いたとき、あなたはそれについて話すのは簡単ではないと言いましたが、声を上げる準備ができていました。なぜこのような意見をお持ちですか?
――これはかなりセンシティブなテーマだと思います。そして、このことについて話してスズメバチの巣をかき乱す価値があるだろうかと思いました。だって、本当に地雷原を歩いているようなものだから。あなたが何を言っても、誰かが気分を害するでしょうし、ある種のとんでもない異端について話していると考える人もいるでしょう。
- どうしてそう思うの？
— 基本的に、これらの質問に対する人々の反応はさまざまです。このような話題はよく議論されます。そして、さまざまな意見があると思います。
— カザン大学に男子専門を学ぶために行かれたとき、それはもう男子専門とはみなされなかったのですか？
- はい、私は意見がどこから来たのか理解していません、これは男性の専門です。私たちはVIC（Kazan大学 - “ハイテク”）で約50％の女の子を迎えました。
- そしてあなたが去ったとき、あなたがデンマークとロシアでしていることに対する態度に違いがありましたか？
- 私は一度も経験したことがありません性別に基づいて何らかの形で軽視されます。もし、ここデンマークにいる誰かが、私が男性の専門医であると私に言ったかというと、そうではありません。しかし、違うのは、ここではIT界と学術界の両方に女性がもっと増えることを本気で望んでいることだ。そして、彼らはただ望んでいるだけではなく、何らかの手段を講じており、私の観点からすると、必要以上の価値のあることを行うこともあります。
- そしてどのような措置が取られますか？
- ええと、何から、例えば、これらは女性専用のプログラミング。ある同僚は、これは異端であり、これは単に男性と女性のプログラマの間の分離を生み出すと述べました。私はこのアプローチに同意しましたが、コースオーガナイザーは多少驚きました。そしてしばらくして、私はこれらのコースがどうなったか尋ねました。そして、多くの女の子たちがやってきて、多くの女の子たちにとって違いがありました - 女性の会社だけで、あるいは混在している会社に行くこと。多くは純粋に女性に行きたがっていました、違いは視覚的に明白でした - それは偶然ではありませんでした。そして私の象牙の塔にいるこの問題を見なければ、女の子が当惑するかもしれない、あるいは何らかの理由でまだ若い人たちと関わりたくないということに気づいていないことに気づいた。
サイドバー
そして、その他の異なる点については、ヨーロッパやロシアでは、女性を熱心に集めるという意味で、ノルマというものがあります。助成金などの場所が女性専用に確保されている場合があります。そして、私の観点からすると、これはあまり良い傾向ではありません。なぜなら、これらの場所を手に入れた女性は、自分がクールだからその場所を手に入れたのか、何かとてもクールなことをしたからその場所を手に入れたのか、それとも誰かがその場所を手に入れたからなのか、必ずしもわかっていないことが多いからです。この地域には十分な女性がいないと判断した。これはコインの裏側です。助成金を受け取ったというプラスの効果と、助成金を受け取った理由というマイナスの効果があります。
— 女性なので、いつか助成金を受け取りたいと思いますか？
「一般的に、それは非常に攻撃的だと思います。」 (笑)
— かっこいい専門家だからではなく、女性だからという理由で助成金を受け取るのは残念なことですか？
- はい、これは私の仕事が評価されたのではなく、私の性別が評価されたことを示唆しているからです。
— ロシアやデンマークなどで、女性であるからこそ作品が評価されたことや、女性であることで周囲の作品に対する評価が変わったことはありますか？
- あなたが知っている、私が思い出すように、私はどういうわけか、これに対処する必要はなかった。たぶん私は素朴で、これが起こっていることを知らないだけですが、誰も私に言っていませんでした：
正の差別、男性のための令および殺害のないステレオタイプ
— あなたのキャリアの選択に対して、ご両親はどのような反応を示しましたか?それとも、彼らはあなたが何をすべきかについて、何か異なる見解を持っていましたか？
――実は、学生時代、その後、卒業後は語学を勉強したいと思っていましたが、両親は言語は後から学べるツール、数学やプログラミングはもっと基礎的なものとして考えていたため、数学とプログラミングを勧めてくれました。科学者が数学をツールとして扱っているのは面白いことです。
正直に言うと、私はいつもなぜだろうと思っていました技術的な専門分野には、ある種の不健全な複雑さのオーラがあります。これは不誠実で、女の子たちを怖がらせるだけだと思います。たとえば、言語学を勉強したい女の子が「ああ、歴史文法があるんだ、とても難しいね！」と言われているのを聞いたことがありません。あるいは、建築家になりたいと思っていた女の子たちは、「ああ、そこでは材料強度に関する仕事もたくさんやらなければならないよ」と言われました。今では、むしろ女子エンジニアを混同したり、医師を解剖学にしたりすることができます。しかし、どういうわけか、まさに技術科学にこれがあるのです。
- 私はサンクトペテルブルク出身で、よく聞かれます。 私が勉強した人、私が働いた人、または私が興味を持ったのは、女性ではありません。そして、突然数学やプログラミングや科学に興味を持ったのであれば、私の友達は同じことを言った。
—それどころか、私たちの地域では次のように思われます。あなたよりも家父長制が強いので、もちろん驚いています。それは特定の環境に関係があると思います。おそらく私の若い頃は、大学で当然のように扱われていたので、幸運だったとは言えません。でも、例えば車の運転。運転中にこれほどジェンダーに基づく侮辱を受けたことはありません。全く根拠のない話であるにも関わらず。したがって、私は、殺せない固定観念が存在し、多くの女性がそれらに直面していることを知っています。なぜ私は仕事の面で彼らに会わなかったのでしょうか？おそらく、これが普通の環境ではない人々に囲まれていたからでしょう。
— デンマーク人の同僚の意見はどうですか？女性向けのコースなどの取り組みに参加している場合、この問題に直面していることがわかりました。
- はい、間違いなく。コースなどでそのような話題について話し合うこともあります。あるいは、例えば、女性が育児休暇中に一定の時間を失うことが多いというのは、完全に公平ではないと思います。ざっくり言えば、彼女は1年間の経験を失うことになる。デンマークでは、希望すれば男性も女性と同じ6か月の産休を取得できるという解決策がある。彼がそれらを受け取らない場合、女性はそれらを受け取ることができません。そして彼らはただ燃え尽きてしまいます。
— 産休は1年しかなく、そのうち半年を過ごすのは男性の責任でしょうか、女性の６ヶ月は責任なのでしょうか？そして、男性がそれらを使いたくない場合、それに応じて、女性は6か月間産休をとり、その後仕事に戻ります、私の理解は正しかったでしょうか？
- 私の記憶する限りでは、そうです。 ポイントは、男性が子供のために休暇を取ることを強制されていないということですが、今回は女性が使用することはできません。つまり、女性だけが産休に入るような状況を防ぎます。ここでは、同じ半年を過ごすかしないかのどちらかです。これはとても良い考えだと思います。
サイドバー
—そして、女性コースを創設するというアイデアを持った人々と、積極的な差別について話し合いました。この人たちは男性だということを正しく理解していますか?
— 私の同僚、これらのコースの主催者です女性はそこで教えませんでした。なぜなら、これらのコースで快適な環境を作り出すために、男性教師が存在すべきではなかったからです。もちろん、一般的には男性です。
— ロシアで女性差別を懸念しているのが女性だとすれば、特にデンマークの大学の例では、女性だけでなく男性も懸念しています。
- まあ、すぐではありませんが、また。そしてそれはごく普通のことだと思います。
-ロシアにとって、これは絶対に異常です。この点で私たちは奇妙な態度をとっています。
――ジェンダーというテーマの問題点は、私たちはいくつかの特殊なケースを知っていますが、全体像は把握していません。この点に関しては、ロシアではすべてがそれほどうまくいっていないような気がします。女性向けのコースを主催する同僚は、ロシアや旧ソ連諸国ではこれがはるかに優れていると信じていますが。なぜなら、彼が知っている女性プログラマーのほとんどは旧ソ連出身だからです。彼の意見では、ここではプログラマーになるために勉強するのが普通だと考えられていますが、ここでは女の子を引き付けるために努力する必要があるからです。
――CIS諸国の女性プログラマーがCIS諸国から逃亡していることが問題なのでしょうか？
- まあ、それにもかかわらず、それらは存在します。そして、逃げるのは女性だけではありません。この青年の極みについては、書き忘れていました。私は、女性がこの職業で競争し続ける必要があるため、1年間の経験を失い、その後同じレベルの仕事をしなければならないのは不公平だと思うと言いました。同時に、私は家族のためではなく、自分自身のために博士号を選びました。私の同僚はこう答えました。「少なくともあなたには選択肢があります。」つまり、望むなら仕事を選ぶことができ、望むなら家族を選ぶことができるのです。しかし、多くの場合、この選択肢は利用できません。女性の主な目標は、家庭を築く、子供を産む、養うなどであると考えられています。
-そのようなコースは「女性のための囲い」だと感じていますか？
「正直に言うと、今でも少しそう思うことがあります。」より正確に言えば、それが誰かにとって効果があるなら、それは素晴らしいことであり、良いことなのです。しかし、私自身はあまり快適ではありません。これが超クールなアイデアだとは思いませんが、それでもある種の孤立感に変わりはありません。
- 正しく理解しました:もともと科学的な環境にいたということもあり、科学者の態度の問題には気づきませんか？なぜなら、知的文化的環境自体が、重要なのはその人が誰であるかではなく、その人が何をしたかであると想定しているからです。
— もしかしたら、この環境では口を閉ざす必要があるのかもしれません口を閉ざし、他人に嫌なことを言わないでください。おそらく彼女は本当に賢いのです。わかりにくい。しかし、そうです、私が象牙の塔の中にいると言うとき、私が言いたいのは、私は日常の現実からいくらか切り離されているということです。
「みんなに唾をかけて征服しよう」
—今後も勉強や研究を続けていきたいですか？
「それはプランAのようなものです。」それは、私がアカデミーで常に興味のある立場を得ることができるという事実ではなく、計画「B」として、業界に戻ることです。
-イノポリス大学とデンマーク大学の教育の質に違いがありますか？どれが時代遅れであるかではなく、教育へのアプローチの違いです。
-デンマークでは、システムにあまり詳しくありません教えます。私がデンマークで教えたコースはロシアの大学にとっては非常に珍しいものでしたが、私には思えますが、どこにでもあるべきだと言うことはできません。
サイドバー
このコースについて簡単に話すために、彼は「研究の最初の年のプロジェクト」と呼ばれ、メンターは興味深いタスクを与えます。グループ内の生徒は、自分が自分で作業したいものを選択できます。メンターは、問題を解決する上で正しい方向を見つけるのに役立ちます。このコースの目標は、1年生に学習、問題の解決、チームとしての共同作業、優れたプレゼンテーションを行うことを教えることです。イノポリス大学では、2年生でも似たようなことがありますが、教えませんでした。 KSUでは、より古典的な学校がありましたが、楽しい若者の選択科目を選択することができました。
— 数学やプログラミングは女性の仕事ではないと言われているが、理系に進みたいという、これまでとは異なる状況の女の子たちに何か言えますか？
— したい女の子について話すときプログラミングや技術的な専門分野に進むと、おそらく十代の若者について話します。彼はまだ非常に若い人であり、影響を受ける可能性があります。もちろん、女の子たちが固定観念に基づいてそのようなナンセンスを聞かなければならないのはあまり健全ではありません。能力がある人なら、他人の意見を聞かずに数学やプログラミングに進むことをお勧めします。
しかし、時々それが起こる状況があります実際にはあなたのものではないかもしれません。これは技術科学だけに当てはまりません。たとえば、ある人は美術学校に行きたいと思っていますが、絵があまり上手ではありません。彼にとって勉強するのは難しいだろうが、おそらく追いつくだろう。しかし、場合によっては、それは自分の趣味ではない、苦しんでいないで別のことをしたほうが良い、と言った方が正直な場合もあります。いずれにせよ、これらのフレーズは技術科学の「神秘の雰囲気」を乱用することが多く、適切に評価する価値があります。したがって、全員に唾を吐きかけて征服してください。